Many examples and exercises on this page are sourced from forall x: Calgary Remix An Introduction to Formal Logic by P. D. Magnus and Tim Button with additions by J. Robert Loftis and remixed and revised by Aaron Thomas-Bolduc and Richard Zach under a Creative Commons Attribution-ShareAlike 4.0 license.
Logic is in the business of evaluating arguments. We study logic to discover (or build) methods for precisely sorting good from bad arguments. There are a number of other related concepts that will be useful to discuss as well. We will take these in turn.
An argument is a line of reasoning that takes us from some assumptions to a conclusion. Take for instance the following argument:
It is raining heavily.
If you do not take an umbrella, you will get soaked.
So, you should take an umbrella
More precisely, an argument is a set of sentences of which one is called the conclusion and the others are called the premises. The conclusion is often indicated by the words therefore, so, hence, and thus while premises are sometimes indicated by since and because
Often arguments in natural language omit some premises which are obvious or implied by context. The argument above omits the premise that you don't want to get soaked. We call these enthymematic arguments.
As an addition to our vocabulary of propositional logic, we use the symbol to mean therefore.
Identify the conclusion of these arguments.
- It is sunny. So I should take my sunglasses.
- It must have been sunny. I did wear my sunglasses, after all.
- No one but you has had their hands in the cookie-jar. And the scene of the crime is littered with cookie-crumbs. You’re the culprit!
- Miss Scarlett and Professor Plum were in the study at the time of the murder. Reverend Green had the candlestick in the ballroom, and we know that there is no blood on his hands. Hence Colonel Mustard did it in the kitchen with the lead-piping. Recall, after all, that the gun had not been fired.
We define validity to be a property of an argument.
An argument is valid if and only if it is impossible for the premises to be true while the conclusion false.
We can put this another way: An argument is valid if and only if the truth of the premises guarantees the truth of the conclusion.
And a third way: An argument is valid if and only if whenever the premises are true, the conclusion is also true.
These three definitions say the same thing.
Can you figure out which of the following arguments are valid? Which are invalid?
A.
- Socrates is a man.
- All men are carrots.
Socrates is a carrot.
B.
- Abe Lincoln was either born in Illinois or he was once president.
- Abe Lincoln was never president.
Abe Lincoln was born in Illinois.
C.
- If I pull the trigger, Abe Lincoln will die.
- I do not pull the trigger.
Abe Lincoln will not die.
D.
- Abe Lincoln was either from France or from Luxemborg.
- Abe Lincoln was not from Luxemborg.
Abe Lincoln was from France.
E.
- If the world were to end today, then I would not need to get up tomorrow morning.
- I will need to get up tomorrow morning.
The world will not end today.
F.
- Joe is now 19 years old.
- Joe is now 87 years old.
Bob is now 20 years old.
We are often interested in more than whether an argument is valid. We also want to know whether we should believe the conclusion is true. If an argument is valid and the premises are true, then we say that the argument is sound
An argument is sound if and only if it is valid and the premises are true.
It follows from the definition that the conclusion of a sound argument is true.
In each case: if so, give an example; if not, explain why not.
- A valid argument that has one false premise and one true
premise?
- A valid argument that has only false premises?
- A valid argument with only false premises and a false conclusion?
- A sound argument with a false conclusion?
- An invalid argument that can be made valid by the addition of a new premise?
- A valid argument that can be made invalid by the addition of a new premise?
Recall that one main reason to study logic is to be more precise. So can we be more precise than reading English arguments and trying to decide whether they are valid or not?
Yes, formal logic attempts to provide precise methods for determining whether an argument is valid or not. In this section, we will look at two methods for determining validity. These methods can also be used to determine some other properties we are interested in.
The two methods fall into the categories of truth tables and natural deduction. There are other methods (axiomatic logic) but these two are easier to use and understand.
Every non-atomic sentence of PL is composed of atomic sentences with logical connectives. We call these compound sentences. The truth value of compound sentences depends only on the truth value of the atomic sentences that comprise it along with the semantics of the logical connectives.
For example, in order to know the truth value of , we need only to know the truth values of and as well as the meaning of the connective .
As we saw last week, we can use truth tables to show a mapping of the truth values.
For instance the truth value of the compound sentence is summarized by the following truth table:
p | p |
---|---|
T | F |
F | T |
We can use this same truth table method to decide whether an argument is valid or invalid. To show that an argument is valid, we must show that it is impossible for the premises to be true while the conclusion false. Or, in other words, whenever the premises are true, the conclusion is also true.
To use this truth table method for showing validity of an argument, we need to draw the truth table, with columns including each premise and the conclusion. Then we look to see if there are any rows where the premises are true and the conclusion is false. If so, the argument is invalid; if not, the argument is valid.
Example:
A | B | Premise 1 | Premise 2 | Conclusion |
---|---|---|---|---|
A | B | A B | A | B |
T | T | T | T | T |
T | F | F | T | F |
F | T | T | F | T |
F | F | T | F | F |
As we can see, there is only 1 row where the premises are true (row 1), and the conclusion at row 1 is also true. So, there does not exist any row where the premises are true and the conclusion is false. We can conclude that the argument is valid.
Truth tables can be used to decide any of the problems in this section, i.e. they can be used to decide whether an argument is valid or invalid; they can be used to decide whether a set of sentences is consistent or inconsistent; they can be used to decide whether a sentence is a tautology, contradiction, or contingency; and they can be used to decide whether two sentences are logically equivalent or inequivalent.
Another example:
H | I | (H I) H |
---|---|---|
T | T | T T T T T |
T | F | T F F T T |
F | T | F F T T F |
F | F | F F F T F |
This sentence, (H I) H, is a tautology. We know this because the column for the sentence is true at every row. In other words, this sentence cannot be false.
The drawback of the truth table method is that as our sentences contain more atomic propositions, the number of rows in a truth table grows exponentially. A complete truth table has a line for every possible assignment of true and false to the relevant atomic sentences.
How many rows does our table need if there are 3 atomic proposition letters? What about for atomic proposition letters?
The goal of a natural deduction system is to show that arguments are valid in a way that allows us to understand and display the underlying reasoning. A natural deduction system for PL is a set of inference rules that allow us to deduce the conclusion from the premises of any valid argument in PL.
There are many different sets of inference rules that can accomplish this. One set can be found in Appendix C of the textbook.
These rules allow us to construct proofs. The style of proofs we will discuss are called Fitch style proofs. They are also called 3 column natural deduction proofs. We can use proofs to show a number of properties: validity, tautology, contradiction, equivalence, and inconsistency.
There are a number of sentence forms that we are interested in. These are tautologies, contradictions, and contingencies.
A tautology is a sentence that is always true.
Back to the Top
A contradiction is a sentence that is always false.
Back to the Top
A contingency is a sentence that is neither a tautology nor a contradiction.
Back to the Top
Two sentences are logically equivalent when they always have the same truth value. That is, on a truth table, they have the same truth value at each row.
Back to the Top
Two sentences are inequivalent if and only if they are not equivalent. In other words, their truth values differ at at least one row of a truth table.
Back to the Top
We are also interested in properties of sets of sentences in the propositional logic.
Back to the Top
A set of sentences is consistent if and only if they can all be true at the same time. That is, a set of sentences is consistent if there is a row of the truth table where they are all true.
Back to the Top
A set of sentences is inconsistent if and only if they cannot all be true at the same time. That is, a set of sentences is inconsistent if there is no row of the truth table where they are all true.
Back to the Top
Practice exercises
Show that is a tautology.
Show that is not a tautology
Show that the sentence is not a contradiction.
Show that the sentence is a contradiction.
Show that the sentence is contingent
Show that the sentence is not contingent
Show that the sentence is equivalent to the sentence
Show that the sentence is not equivalent to the
sentence
Show that the sentences , , are jointly inconsistent.
Show that the sentences , , are jointly consistent
Show that is valid.
Show that is invalid.