Truth Tables Babey! Flashcards
Atomic statement
One that does not have any other statement as a component
Compound statement
One that has at least one atomic statement as a component
Scheme of abbreviation
What results from assigning each atomic statement a distinct capital letter
~
Tilde, means “not”
Negation symbol
~
•
Dot, means “and”
Conjunction symbol
•
V
Vee, means “or”
Disjunction symbol
V
->
Arrow, means “if-then”
Conditional symbol
->
Its the…. Double arrow….
Double arrow, means “if and only if”
Biconditional symbol
Double arrow again lol WHY
What are the logical operators
~, •, v, ->, double arrow
Main logical operator
Compound statement is the one that governs the largest component/s of a compound statement
Minor logical operator
Governs smaller components
•
• •
Triple dot, means “conclusion”
WFF
WELL FORMED FORMULA BITCH
Well Formed Formula
Grammatically correct symbolic expression
Wffs
Capital letters, ~p, (p•q), (pvq), (p->q),
p double arrow q
True/false rule for •
Only true if both conjuncts are true, otherwise it is false
True/false rule for V
Only false if both disjuncts are false, otherwise it is true
True/false rule for ->
False only when its antecedent is true & its consequent is false, otherwise it is true