### Statements and Truth Values

# Statements and Truth Values

A __statement__ is a sentence that is either true, or false, but not both. In a logical form statement, p stands for the first variable, and q stands for the second variable. The __truth value__ is whether the statement is true, or false.

The negation of p, denoted ∼p, is the statement "it is not the case that p." ∼p is read as "not p." The conjunction of p and q, denoted p∧q, is read as "p and q." p∧q is only true if both p and q are true. In logical form, "p but q" means the same as "p and q." The dis-junction of p and q, denoted p∨q, is read as "p or q." p∨q is true if either p is true, q is true, or both are true. p∨q is only false if both p, and q are false. To use the symbol ≡ is to say something is logically equivalent to something else.

An example of ∼ p ∧ q in plain English would be "Bob does not have a watch, and he missed the bus." If there is a negation in the statement, always use the word "not" for the negation.

The symbols and their meanings:

≡ means "logically equivalent"

∧ means "and"

∨ means "or"

∼ means "not"

The following is an example of a __truth table__. Use truth tables to help you figure out the truth values of statements.

p | q | p ∧ q | p ∨ q | ∼ p | ∼ q |

T | T | T | T | F | F |

T | F | F | T | F | T |

F | T | F | T | T | F |

F | F | F | F | T |
T |

Sometimes there is more than two variables. Such as ∼ p ∧ (q ∨ r). This would be read as "not p, and q or r." Use parenthesis the same way as you would a normal mathematical equation. Use parenthesis to separate the variables into groups.

To write a statement, start with the first variable. Then write the relation to the second variable, or variables. Finally, write the last variable.

### Test Yourself

- T
- F

Choose the correct truth value for the missing value.

p | q | ∼ p | p ∧ q | ∼ p ∧ q |

T | T | F | T | |

T | F | F | F | F |

F | T | T | F | T |

F | F | T | F | F |

### Conditional Statements

# Conditional Statements

A __conditional statement__ is either an "if-then," or an "if and only if statement." The first element is the hypothesis and the second element is the conclusion.

⇒ ≡ if-then

⇔ ≡ if and only if

To write a conditional statement, simply write the first element, then the matching arrow, then the second element.

In an if-then statement, if the first element is false, then it doesn't matter what the truth value of the second element is. If the truth value of the first statement is false, then the truth value of a if-then statement will always be true by fallacy. In an if and only if statement, both elements must be true for a true truth value.

## Examples:

Tom takes a walk if and only if it is not raining. This can be written as: Tom takes a walk ⇔ it is not raining. So Tom will only take a walk if it is not raining.

Tom does not take a walk if it is raining. This can be written as: Tom does not take a walk ⇒ it is raining. So Tom may not take a walk even if it is not raining, but Tom will not take a walk if it is raining.

p | q | p ⇒ q | p⇔q |

T | T | T | T |

T | F | F | F |

F | T | T | F |

F | F | T |
F |

### Original Statement

p ⇒ q

### Converse Statement

q ⇒ p

Simply reverse the order of the two elements to write a converse statement. A converse statement will not have the same truth value of the original statement.

### Contrapositive Statement

∼ q ⇒ ∼ p

Take the negation of both elements, and reverse the order to write a contrapositive statement. A contrapositive statement always has the same truth value as the original statement. Therefore, they are logically equivalent.

Original Statement ≡ Contrapositive Statement

### Inverse Statement

∼ p⇒ ∼ q

Take the negation of both elements to write an inverse statement. An inverse statement will not have the same truth value of the original statement. Since the inverse of the original statement is the contrapositive of the converse of the original statement, the inverse and converse will always have the same truth value. The inverse and converse are logically equivalent.

Converse Statement ≡ Inverse Statement

p | q | ∼p | ∼q | p ⇒ q | q ⇒ p | ∼q⇒∼p | ∼p⇒∼q |

T | T | F | F | T | T | T | T |

T | F | F | T | F | T | F | T |

F | T | T | F | T | F | T | F |

F | F | T | T | T | T | T | T |

### Test Yourself

- If Sally cannot buy milk, then she cannot go to the store.
- If Sally cannot go to the store, then she cannot buy milk.
- If Sally can buy milk, then she can go to the store.

Choose the contrapositve of the statement:

If Sally can go to the store, then she can buy milk.

### Universal and Existential Statements

# Universal and Existential Statements

For both universal and existential statements, the first set you use in the statement always affects the second set. Use ∈, and the symbol for whatever set is being used, to denote that the variable is part of a given set.

∈ ≡ is an element of

A __universal statement__ is a statement that says that something is true for everything in the set.

To write a universal statement, you must start out with the symbol ∀, (which looks like an upside-down A). Put a comma after the set, then write the rest of the statement as normal.

∀ ≡ for all

An __existential statement__ is a statement that says that there is at least one thing that exists for which the property is true.

To write an existential statement, you must start out with the symbol ∃, (which looks like a backward E). You then must write "such that," "so that," or use an abbreviation such as "s.t." Then you write the rest of the statement as normal.

∃ ≡ there exists, there is at least one, there is a

## Universal Statement:

∀ r ∈ P, ∃ q ∈ P such that r loves q

**In plain English:**

Everyone loves someone.

## Existential Statement:

∃ x ∈ P such that ∀ y ∈ P, x loves y

**In plain English:**

There is someone who loves everyone.

### Test Yourself

- ∀ p ∈ Q, ∃ r ∈ Q such that p⇒r
- ∃ p ∈ Q, ∀ r ∈ Q, p ∧ r
- ∃ p ∈ Q such that ∃ r ∈ Q such that p ∧ r
- ∃ p ∈ Q such that ∃ r ∈ Q, p ⇔ r