Shrnutí
| Výrok | Negace výroku |
|---|---|
| \(\mathbf{A}\) | \(\neg\mathbf{A}\) |
| \(\mathbf{A} \wedge \mathbf{B}\) | \(\mathrm{\neg\mathbf{A}}\vee \mathrm{\neg\mathbf{B}}\) |
| \(\mathrm{\mathbf{A}}\vee \mathrm{\mathbf{B}}\) | \(\neg\mathbf{A} \wedge \neg\mathbf{B}\) |
| \(\mathrm{\mathbf{A}}\Rightarrow \mathrm{\mathbf{B}}\) | \(\mathbf{A} \wedge \neg\mathbf{B}\) |
