Prawa logiczne

: Prawo przemienności koniunkcji, Prawo przemienności alternatywy, Prawa zastępowania implikacji (2 prawa), Prawo zastępowania równoważności, Prawo transpozycji złożonej, Prawo rozdzielności koniunkcji względem alternatywy.
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                               

(…)

…)) zaprzeczania równoważności
3) Prawo podwójnej negacji
~~p→p (p ^ q) ≡ (q ^ p) przemienności koniunkcji
(p ^ q) ≡ ~ ( ~ p v ~ q) zastępowania koniunkcji
4) Prawo przemienności koniunkcji (p ^ q) ≡ ~ ( p → ~ q) zastępowania koniunkcji
((p ^ q) → r) ≡ (( p ^ ~ r) → ~ q) transpozycji złożonej
(p ^ q) ≡ (q ^ p) ((p ^ q) → r) ≡ (p → (q → r)) eksportacji i importacji
5) Prawo przemienności alternatywy (p ^ (q v r…
… → q) ^ ~ q) → ~ p Modus tollendo tollens
10) Prawa zastępowania implikacji (2 prawa) (p → (q →r)) ≡ (q → (p → r)) Prawo komutacji
a) (p → q) ≡ ~ ( p ^ ~ q) ((p → q) ^ (p → r)) ≡ (p → (q ^ r)) Prawo mnożenia następników
((p → r) ^ (q → r)) ≡ ((p v q) → r) Prawo dodawania poprzedników
b) (p → q) ≡ (~ p v q) ((p → q) ^ (q → r)) → (p → r) Koniunkcyjny sylogizm hipotetyczny
11) Prawa zastępowania…
... zobacz całą notatkę