a grammatically correct symbolic expression
Give this one a try later!
Well Formed Formula (WFF)
When each atomic statement is assigned a distinct capital letter (Ex. C and L)
, Give this one a try later!
Scheme of Abbreviation
is the one that governs the largest component of a compound statement
Give this one a try later!
main logical operator
Always true except when both of the disjuncts are false
Give this one a try later!
Disjunction
Always true except when the antecedent is true and the consequent is false
Give this one a try later!
Material Conditional
on that has at least ONE atomic statement as a component
Give this one a try later!