Implications
Math Implications
\(p \to q\) \(q \to v\) , portanto: \(p \to v\)
| \(p\) | \(q\) | \(p \to q\) |
|---|---|---|
| F | F | T |
| F | T | T |
| T | F | F |
| T | T | T |
\(p \to q \equiv \neg p \lor q\) \(\neg q \to \neg p \equiv \neg p \lor q\) \(p \to q \equiv \neg q \to \neg p\)
This post is licensed under CC BY 4.0 by the author.