User:Philogo/Sandbox

User talk:Philogo WikiProject Logic/Standards for notation WikiProject: Logic/Standards for notation LOOK

WikiProject Logic

... WikiProject Logic

WikiProject Logic/Standards for notation ...

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

$$ \forall x \exists y $$

$$ \forall x $$

$$ \exists y $$

x
 * x
 * x

&imp; &not;

&and;

&not;x &and; y


 * f2 || f0010 || 0 0 1 0 || (x) y || y and not x || &not;x &and; y

START

&rArr; &rarr; &sup;

END

~Át̪

start


 * rowspan=3 bgcolor=#d0f0d0 align=center| &rArr; &rarr; &sup;
 * material implication

END

ââ a b c 1 2 3 Hello there Block quote blah blah block quote

⊃⊃⊃⊃
 * rowspan=3 bgcolor=#d0f0d0 align=center| &rArr; &rarr; &sup;
 * material implication
 * rowspan=3|A &rArr; B means if A is true then B is also true; if A is false then nothing is said about B. &rarr; may mean the same as &rArr; (the symbol may also indicate the domain and codomain of a function; see table of mathematical symbols).&sup; may mean the same as &rArr; (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	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
 * T	|T	|T	|T	|T	|T	|T	|T	|T	|T	|F	|F	F	F	F	F	F	F

refs
Deductive reasoning, according to many dictionaries, 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. Such references are particularly useful when citing sources where different statements come from the same source. A concise way to make multiple references is to use empty ref tags, which have a slash at the end.

custard 1 custard 2 custard 3 custard 4 custard 5 custard 5 custard 6 Wolfram 1989 custard 7 Wolfram 1989 custard 8 Wolfram 1989