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]}

${\displaystyle A=\{\forall x\exists y:x=y\}}$ and ${\displaystyle B=\{\exists x:x=x\}}$.
${\displaystyle \forall x\exists y}$
${\displaystyle \forall x}$
${\displaystyle \exists y}$
${\displaystyle \forall }$ x | ${\displaystyle \exists }$x |${\displaystyle \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