Logic Flashcards
A proposition is….
A statement that can be true, false, or indeterminate
Indeterminate
Can be true or false (undecided)
A proposition is not….
A question
Lower case letters
Represent propositions
Negation
The opposite of a proposition
Symbol for a negation
Rotated “L” shape
Conjunction
When two propositions are joined with AND
Symbol for conjunction
“A” shape
Disjunction
When two propositions are joined with OR
Two possible disjunctions
Inclusive or exclusive
Inclusive disjunction
Meaning either or both (When it’s possible to have both)
Exclusive disjunction
Meaning either but not both (When you can’t have both)
Truth tables
Evaluate all possible truth values
If values of two tables are the same
The statements are logically equivalent
Symbol for logically equivalent
Double arrow
Tautology
All values are true
Contradiction
If all values are false
Equivalents are represented by
A double arrow
Implication
Single arrow pointing right (IF… THEN)
Antecedent
(If)
Consequent
(Then)
3 dots
Therefore