Tautology/Examples
Jump to navigation
Jump to search
Examples of Tautologies
Example: $\paren {\paren {\paren {\lnot p} \implies q} \implies \paren {\paren {\paren {\lnot p} \implies \paren {\lnot q} } \implies p} }$
The WFF of propositional logic:
- $\paren {\paren {\paren {\lnot p} \implies q} \implies \paren {\paren {\paren {\lnot p} \implies \paren {\lnot q} } \implies p} }$
is a tautology.
Example: $\paren {\paren {\lnot p} \implies \paren {q \lor r} } \iff \paren {\paren {\lnot q} \implies \paren {\paren {\lnot r} \implies p} }$
The WFF of propositional logic:
- $\paren {\paren {\lnot p} \implies \paren {q \lor r} } \iff \paren {\paren {\lnot q} \implies \paren {\paren {\lnot r} \implies p} }$
is a tautology.