| Nazwa tautologii |
Tautologia |
| zasada sprzeczności |
\( \sim (p \land \sim p) \) |
| zasada wyłącznego środka |
\( p \lor \sim p \) |
| prawo podwójnego przeczenia: |
\( p \iff \sim ( \sim p) \) |
| I prawo de Morgana |
\( \sim(p \land q) \iff \sim p \lor \sim q \) |
| II prawo de Morgana |
\( \sim (p \lor q) \iff \sim p \land \sim q \) |
| zaprzeczenie implikacji |
\( \sim (p \Rightarrow q) \iff p \land \sim q \) |
| reguła odrywania |
\( (p \Rightarrow q) \land p \iff q \) |
| prawo przechodzenia implikacji |
\( (p \Rightarrow q) \land (q \Rightarrow r) \Rightarrow (p \Rightarrow r) \) |
Zobacz Komentarze ( 0 )