tezy rachunku zdań

 0    17 schede    jezkatpl
Scarica mp3 Stampa Gioca Testa il tuo livello
 
Domanda język polski Risposta język polski
zasada sprzeczności
inizia ad imparare
~(p ⋀ ~p)
zasada podwójngo przeczenia
inizia ad imparare
p=~~p
zasada wyłączonego środka
inizia ad imparare
p ∨ ~p
prawo addycji
inizia ad imparare
p ⇒ (p v q)
modus ponendo ponens
inizia ad imparare
[(p → q) ∧ p] → q
modus tollendo tollens
inizia ad imparare
[(p → q) ∧ ∼q] → ∼p
modus tollendo ponens
inizia ad imparare
[(p ∨ q) ∧ ∼p] → q
modus ponendo tollens
inizia ad imparare
[(p / q) ∧ p] → ∼q
I prawo de Morgana
inizia ad imparare
∼ (p ∧ q) ≡ (∼p ∨ ∼q)
II prawo de Morgana
inizia ad imparare
∼(p ∨ q) ≡ (∼p ∧ ∼q)
prawo negacji implikacji
inizia ad imparare
∼(p →q) → (p → ∼q)
prawo transpozycji
inizia ad imparare
(p → q) ≡ (∼q → ∼p)
prawo sylogizmu hipotetycznego
inizia ad imparare
[(p → q) ∧ (q → r)] → (p → r)
prawo eksportacji
inizia ad imparare
[(p^q)⇒r] ⇒ [p⇒(q⇒r)]
prawo importacji
inizia ad imparare
[p⇒(q⇒r)]⇒[(p^q)⇒r]
prawo dylematu konstrukcyjnego
inizia ad imparare
[(p → r) ∧(q → r) ∧ (p ∨ q)] → r
prawo dylematu konstr. złożonego
inizia ad imparare
[(p → q) ∧ (r → s) ∧ (p ∨ r)] → (q ∨ s)

Devi essere accedere per pubblicare un commento.