Block, SkipCaptcha, Upload, Automoderated users, edit, move, protect
30,891
edits
Changes
Jump to navigation
Jump to search
Line 16:
Line 16: − +
correction
# Take anything that you want to prove, “P”
# Take anything that you want to prove, “P”
# Now because “A and Not A” is true, “A” is true, by virtue of the simplification rule.
# Now because “A and Not A” is true, “A” is true, by virtue of the simplification rule.
# “A or P” is true just so long as not both A and P are false.
# “A or P” is true just so long as both Not A and P are false.
# So, As “A” is true, “A or P” must be true.
# So, As “A” is true, “A or P” must be true.
# If “A or P” is true, then one of “A” or “P” must be true.
# If “A or P” is true, then one of “A” or “P” must be true.