is a set of sentences including the logically false sentence P.
contradiction) that \ is consistent.
by the definition of consistency, it is possible that all members of \
be true together.
P, a member of \, is
possibly true. But that means that P is not logically false. However,
we are supposing from the beginning that it is logically false!
assumption (in red) leads to a contradiction. That assumption is wrong, so \
is inconsistent after all.
it follows that __________
More Informal Proofs
Matching. Drag sentences from the right to the correct
location in the proof box. Don't print until you've come to
the final page of this exercise.
First show that...
1. If some member of a set of sentences is logically false,
then that set is inconsistent.
Prove this by our indirect means of "reductio ad
absurdum". (That is, you will show an assumption wrong by showing
it leads to contradiction.)