Conditional Statements

MATH1061

Notes

Conditional Statements

Not in formula sheet but needed

$p\to q\equiv \sim p\vee q\equiv \sim q\to \sim p$

Conditional Statements

Logically Equivalent Pairs:

Conditional: $p\to q$

Contrapositive: $\sim q\to \sim p$

---

Converse: $q\to p$

Inverse: $\sim p\to \sim q$

---

Bi-Conditional Statement: $p\leftrightarrow q\equiv (p\to q)\wedge (q\to p)$

1. $p\to q$
2. $\sim q\to \sim p$ $\equiv q\to p$
3. $q\to p\not\equiv$
4. $p\wedge \sim q$
5. $\sim q\to \sim p\equiv p\to q$
6. $q\vee \sim p\equiv \sim p\vee q\equiv p\to q$