Moja lekcja

 0    25 flashcards    guest2867245
download mp3 print play test yourself
 
Question język polski Answer język polski
zasada tozsamosci
start learning
p=p
zasada podwojnego przeczenia
start learning
p=~~p
zasada sprzecznosci
start learning
~(p ^ ~p)
zasada wyłączonego środka
start learning
pv~p
prawo redukcji do absurdu
start learning
(p—>~p)—>~p
prawo symplikacji
start learning
(p^~q)-->p
prawo przemiennosci koniunkcji
start learning
(p^q)=(q^p)
prawo addycji
start learning
p—>(pvq)
prawo przemiennosci alternatywy
start learning
(pvq)=(qvp)
pierwsze prawo de Morgana
start learning
~(p^q)=(~pv~q)
drugie prawo de morgana
start learning
~(pvq)=(~p^~q)
modus ponendo ponens
start learning
[(p—>q)^p]—>q
modus tollendo tollens
start learning
[(p—>q)^~q]—>~p
prawo dunsa szkota
start learning
~p -> (p -> q)
prawo transpozycji
start learning
(p->q) -> (~q->~p)
prawo przeminnosci rownowaznosci
start learning
(p=q) = (q=p)
prawo łącznosci koniunkcji
start learning
[p^(q^r)] =[(p^q) ^r]
prawo łącznoscu alternatywy
start learning
[pv(qvr)] =[(pvq)vr]
prawo rozdzielnosci koniunkcji wzgledem alternatywy
start learning
[p^(qvr)] = (p^q) v(p^r)]
prawo rozdzielnosci alternatywy wzgledem koniunkcji
start learning
[pv(q^r)] = (pvq) ^(pvr)
prawo komutacji
start learning
[p—>(q—>r)]=[q—>(p—>r)]
prawo eksportacji
start learning
[(p∧q)→r]→[p→(q→r)]
prawo importacji
start learning
[p—>(q—>r)]—>[(p^q)—>r]
prawo sylogizmu hipotetycznego
start learning
[(p—>q) ^(q—>r)] —>(p—>r)
prawo dylematu konstrukcyjnego
start learning
[(p—>r)^(q—>r)^(pvq)]—> r

You must sign in to write a comment