Let's have a look at some of the ways to represent statements with symbols. This short-hand will allow us to study the validity of our logical arguments in the future.
Recall that for every proposition $p$p there exists another proposition $\sim p$~p meaning the negation of $p$p.
As an example we might write:
|$p$p||$:$:||The plate is dirty|
|$\sim p$~p||$:$:||The plate is not dirty|
Note that the negation of a negation becomes the original proposition. In symbols we could write that $\sim\left(\sim p\right)$~(~p) is the same as (or more formally, is equivalent to) $p$p.
The symbol $\sim$~ is an example of an operator and there are many operators defined in the study of logic.
Two or more propositions can be joined with a connective (a connective is another type of operator) to become a compound proposition.
An example of a connective is what logicians call a conjunction, often symbolized as $\wedge$∧. Its meaning is the same as the English word "and" when used to indicate the conjoining of two ideas, such as "It's raining and I'm cold".
We have to be a little bit careful with the word "and" when used in other circumstances. For example the word "and" used in the phrase "I tripped and fell" is not a conjunction because we need $p\wedge q$p∧q to have the same sense as $q\wedge p$q∧p and the phrase "I fell and tripped" doesn't really make any sense.
In addition, a phrase like "Paul left the party and Ed arrived at the party", if taken as a compound proposition, can imply no causality, so that we cannot assume that the reason Ed arrived is because Paul left.
Another important connective is the disjunction connective, symbolized by $\vee$∨. It is equivalent to the English word "or" in the inclusive sense. By inclusive we mean that the compound proposition $p\vee q$p∨q will be true if either $p$p or $q$q or both are true. In fact, the only way $p\vee q$p∨q will not be true if $p$p and $q$q are both false.
For example, the compound proposition "the number is prime or the number is odd" means that either the number is prime, or else the number is odd, or else the number is both prime and odd.
The English language use of the word or can be ambiguous. For example, the word "or" in the sentence "I'll go to school or I'll get a low paying job" is used in an exclusive sense. What is really implied is contained in the sentence "I'll go to school or else I'll get a low paying job" - it's either one or the other but not both. In this case, the disjunction connective $\vee$∨ doesn't apply (Incidentally there is another special connective for the "exclusive or" ).
In mathematics speak, both the conjunction and disjunction connectives exhibit the commutative property - namely that $p\wedge q$p∧q is equivalent to $q\wedge p$q∧p and $p\vee q$p∨q is equivalent to $q\vee p$q∨p. Swapping the order of the individual propositions should make no difference to the sense of the compound proposition.
In addition, we can create compound propositions that use both connectives. As an example, consider the following propositions:
|$p$p||$:$:||John is having roast beef for dinner|
|$q$q||$:$:||John is having Yorkshire pudding for dinner|
|$r$r||$:$:||John is having dessert for dinner|
From these, we could form a number of compound propositions that involve all three simple propositions.
For example consider the compound proposition $\left(p\vee q\right)\wedge r$(p∨q)∧r.
It would read:
John is having roast beef or Yorkshire pudding, and having dessert for dinner.
Note that the main connective is a conjunction. The expression is a conjunction of two propositions, the first of which is a compound proposition (formed by a disjunction). Remember that the disjunction is inclusive in that John could end up eating the roast beef, the Yorkshire pudding and the dessert.
We could also write a proposition with $p$p,$q$q and $r$r in the same order, the disjunction and conjunction connectives in the same order, but the bracketing grouped around the last two propositions, so that our compound proposition becomes $p\vee\left(q\wedge r\right)$p∨(q∧r).
It now reads differently:
John is having roast beef, or he is having Yorkshire pudding and dessert.
What has happened is that the main connective is now a disjunction. The expression is a disjunction of two propositions with the second proposition a compound proposition formed by a conjunction.
This example illustrates how parenthesis may have a profound effect on the meaning of the statement.
The symbol used for the conditional connective is a right arrow $\Rightarrow$⇒.
As an example, suppose a doctor tells you that if you eat an apple you will feel better. We could think about this statement logically. We could define two propositions:
|$p$p||$:$:||I will eat an apple|
|$q$q||$:$:||I will feel better|
We could then define a compound proposition, based on the doctor's advice, that says:
If $p$p then $q$q
In symbolic logic we would write a compound proposition:
$p$p $\Rightarrow$⇒ $q$q
The connective, as a right arrow, tells us that the statement can only be read one way.
Recall that sometimes (but certainly not always) the conditional connective works both ways. That is, sometimes when we say "If $p$p then $q$q", then we can also say "If $q$q then $p$p".
As an example, the statement:
If the triangle is equilateral then the triangle has three equal angles.
is precisely the same as the statement :
If the triangle has three equal angles, then the triangle is equilateral.
When this happens we can replace the two statements with the "if and only if" clause, so that we can say:
The triangle is equilateral if and only if it has three equal angles.
Suppose we call $p$p the proposition "The triangle is equilateral" and $q$q is the proposition "The triangle has three equal angles".
In symbolic language, we would say $p$p$\Leftrightarrow q$⇔q to denote the biconditional.
Answer the following.
Which of the following is true for a negation?
Which of the following is true for a conjunction?
Which of the following is true for a disjunction?
|$p$p:||The lemonade is sour.|
|$q$q:||The rice is hot.|
What are the following statements in symbolic form?
"The rice is not hot if and only if the lemonade is sour."
"If the lemonade is sour, then the rice is not hot."
"The lemonade is not sour, but the rice is hot."
"Neither is the lemonade sour nor is the rice hot."
"It is false that the lemonade is sour or the rice is hot."
"It is false that if the rice is not hot, then the lemonade is sour."
"It is false that if you eat healthy foods, then you will not gain fat."
What is the statement in symbolic form?
|$p$p:||You eat healthy foods.|
|$q$q:||You gain fat.|
What type of statement is this?