Logic Flashcards
What is p?
P in logic is topically the hypothesis
What is q?
Q is topically the conclusion
What are common letters used in logic?
p,q,r,s
What is a conditional statement?
An if-then statement
i.e.=p->q
What is an inverse statement?
It is the negation of a conditional statement.
i.e.=~p->~q
What is a converse statement?
It is the opposite of a conditional.
i.e.=q->p
What is contrapostive?
It is the opposite negation of a conditional.
i.e.=~q->~p
What are the truth values of the types of statements?
Conditional-always true
Inverse-sometimes true
Converse-sometimes true
Contrapositive-always true
What is a truth table?
It is a table that show the truth values of both p and q (sometimes r and s)
What does the ^ symbol represent?
And
What does the \/ symbol represent?
Or
How is an or statement (q\/p) true?
One of the two statements must be true.
How is an and statement (p^q) true?
Both parts must be true.
How is a conditional statement
(p->q) true?
P must be true and q must be true. If p is false it is true by default (vT)
What does the symbol .•. mean?
Therefore/ moreover
