| | | |
|---|
|
|
Prawa rachunku zdań
Prawa rachunku zdań
| Prawo podwójnego przeczenia |
~ (~ p) Ű p |
| Prawo łączności koniunkcji |
( p Ů q ) Ů r Ű p Ů ( q Ů r ) |
| Prawo łączności alternatywy |
( p Ú q ) Ú r Ű p Ú ( q Ú r ) |
| Prawo zaprzeczenia implikacji |
~ ( p Ţ q ) Ű [ p Ů ( ~ q)] |
| Prawo zaprzeczenia koniunkcji |
~ ( p Ů q ) ) Ű [ ~ p Ú ( ~ q)] |
| Prawo zaprzeczenia alternatywy |
~ ( p Ú q ) Ű [ ~ p Ů ( ~ q)] |
| Prawo przechodniości implikacji |
[( p Ţ q ) Ů ( q Ţ r )] Ţ ( p Ţ r ) |
|
