Semantics > chapter 4 pt2 > Flashcards
-P
negates p
p^q
p and q
conjoined statements
p v q
p or q disjunctive
p ve q
p or q exclusive
p -> q
p is sufficient but not necessarily a condition for q
if then
p=q
p and q have the same truth values