Examples
|
|||
1
|
2
|
3
|
4
|
~A∨B
|
~(A∨B)
|
~(A∨∨D)
|
~[F∨(G∨H)]∨I
|
This example is a wff. The wedge has a statement
to its left (~A) and a statement to its right (B), AND the tilde
encompasses a complete statement (A).
|
This example is a wff. The wedge has a statement to its left (A) and a statement to its right (B), AND the tilde encompasses a complete statement (A ∨ B). |
This example is not a wff. The first
wedge has a statement to its left (A) but to its right is (∨D), which
is not a complete statement.
|
This example is a wff. The tilde encompasses
everything in the brackets, which is a complete statement. Every
wedge has a complete statement to its left and its right (check it for
yourself!)
|
wff's |
non-wff's |
~A • B |
~(A ∨ B ∨ C) |
G ⊃ (H ∨ J) |
~(A ⊃∨ B) |
~~~M • M |
Q ~∨ R |
~(~A ⊃ ~B) ∨ ~(G ∨ ~F) |
~A≡∨ B |
Q∨~R |
B~ |