User:Philogo/Sandbox

User talk:Philogo WikiProject Logic/Standards for notation WikiProject: Logic/Standards for notation LOOK
^[1] ^[2] WikiProject Logic
... WikiProject Logic

Wikipedia:WikiProject Logic/Standards for notation ... ^{[citation needed]} ^{[citation needed]}

$A=\{\forall x\exists y:x=y\}$ and $B=\{\exists x:x=x\}$ .
$\forall x\exists y$
$\forall x$
$\exists y$
$\forall$ x | $\exists$ x | $\exists$ x

&imp; ¬
∧
¬x ∧ y

| f₂ || f₀₀₁₀ || 0 0 1 0 || (x) y || y and not x || ¬x ∧ y |-

START

⇒

→

⊃

END

~Át̪

start

| rowspan=3 bgcolor=#d0f0d0 align=center|

⇒

→

⊃

||material implication
END

ââ

a b c 1 2 3

Hello there

Block quote

blah blah block quote | rowspan=3 bgcolor=#d0f0d0 align=center|

⇒

→

⊃

||material implication | rowspan=3|A ⇒ B means if A is true then B is also true; if A is false then nothing is said about B.

→ may mean the same as ⇒ (the symbol may also indicate the domain and codomain of a function; see table of mathematical symbols).

⊃ may mean the same as ⇒ (the symbol may also mean superset). ⊃⊃⊃⊃

P Q OR IMP AND NAND NIMP NOR T T T T T T T T T T F F F F F F F F T F T T T T F F F F T T T T F F F F F T T T F F T T F F T T F F T T F F F F T F T F T F T F T F T F T F T F

P Q OR IMP AND NAND NIMP NOR T T T T T T T T T T F F F F F F F F T F T T T T F F F F T T T T F F F F F T T T F F T T F F T T F F T T F F F F T F T F T F T F T F T F T F T F

!P !Q ! OR IMP AND NAND NIMP NOR |T |T |T |T |T |T |T |T |T |T |F |F F F F F F F T F T T T T F F F F T T T T F F F F F T T T F F T T F F T T F F T T F F F F T F T F T F T F T F T F T F T F

header 1	header 2	header 3
row 1, cell 1	row 1, cell 2	row 1, cell 3
row 2, cell 1	row 2, cell 2	row 2, cell 3

refs

Deductive reasoning, according to many dictionaries,^[3] is the type of reasoning that proceeds from general principles or premises to derive particular information.

This is an example of multiple references to the same footnote.^[4] Such references are particularly useful when citing sources where different statements come from the same source.^[4] A concise way to make multiple references is to use empty ref tags, which have a slash at the end.^[4]

custard 1^[5] custard 2^[5] custard 3^[5] custard 4^[5] custard 5^[5] custard 5^[5] custard 6 Wolfram 1989^[6] custard 7 Wolfram 1989^[6] custard 8 Wolfram 1989^[6]

Notes

^ Plato. Protagoras.
^ Footnote
^ AskOxford, Bartleby, Cambridge Dictionary of American English, Merriam-Webster.
^ ^a ^b ^c Author, A. (2007). "How to cite references", New York: McGraw-Hill. Cite error: The named reference "multiple" was defined multiple times with different content (see the help page).
^ ^a ^b ^c ^d ^e ^f Stebbing, John (1970). Untor. Cite error: The named reference "my ref name" was defined multiple times with different content (see the help page).
^ ^a ^b ^c Wolfram, Sybil (1989). Routledge. {{cite book}}: Missing or empty |title= (help)

[1] Plato. Protagoras.

[2] Footnote

[3] AskOxford, Bartleby, Cambridge Dictionary of American English, Merriam-Webster.

[multiple-4] Author, A. (2007). "How to cite references", New York: McGraw-Hill. Cite error: The named reference "multiple" was defined multiple times with different content (see the help page).

[my_ref_name-5] ^ ^a ^b ^c ^d ^e ^f Stebbing, John (1970). Untor. Cite error: The named reference "my ref name" was defined multiple times with different content (see the help page).

[Wolfram_1989-6] Wolfram, Sybil (1989). Routledge. {{cite book}}: Missing or empty |title= (help)

[1]

[2]

[3]

[4]

[5]

[6]