Moja lekcja

 0    25 Datenblatt    guest2867245
mp3 downloaden Drucken spielen überprüfen
 
Frage język polski Antworten język polski
zasada tozsamosci
Lernen beginnen
p=p
zasada podwojnego przeczenia
Lernen beginnen
p=~~p
zasada sprzecznosci
Lernen beginnen
~(p ^ ~p)
zasada wyłączonego środka
Lernen beginnen
pv~p
prawo redukcji do absurdu
Lernen beginnen
(p—>~p)—>~p
prawo symplikacji
Lernen beginnen
(p^~q)-->p
prawo przemiennosci koniunkcji
Lernen beginnen
(p^q)=(q^p)
prawo addycji
Lernen beginnen
p—>(pvq)
prawo przemiennosci alternatywy
Lernen beginnen
(pvq)=(qvp)
pierwsze prawo de Morgana
Lernen beginnen
~(p^q)=(~pv~q)
drugie prawo de morgana
Lernen beginnen
~(pvq)=(~p^~q)
modus ponendo ponens
Lernen beginnen
[(p—>q)^p]—>q
modus tollendo tollens
Lernen beginnen
[(p—>q)^~q]—>~p
prawo dunsa szkota
Lernen beginnen
~p -> (p -> q)
prawo transpozycji
Lernen beginnen
(p->q) -> (~q->~p)
prawo przeminnosci rownowaznosci
Lernen beginnen
(p=q) = (q=p)
prawo łącznosci koniunkcji
Lernen beginnen
[p^(q^r)] =[(p^q) ^r]
prawo łącznoscu alternatywy
Lernen beginnen
[pv(qvr)] =[(pvq)vr]
prawo rozdzielnosci koniunkcji wzgledem alternatywy
Lernen beginnen
[p^(qvr)] = (p^q) v(p^r)]
prawo rozdzielnosci alternatywy wzgledem koniunkcji
Lernen beginnen
[pv(q^r)] = (pvq) ^(pvr)
prawo komutacji
Lernen beginnen
[p—>(q—>r)]=[q—>(p—>r)]
prawo eksportacji
Lernen beginnen
[(p∧q)→r]→[p→(q→r)]
prawo importacji
Lernen beginnen
[p—>(q—>r)]—>[(p^q)—>r]
prawo sylogizmu hipotetycznego
Lernen beginnen
[(p—>q) ^(q—>r)] —>(p—>r)
prawo dylematu konstrukcyjnego
Lernen beginnen
[(p—>r)^(q—>r)^(pvq)]—> r

Sie müssen eingeloggt sein, um einen Kommentar zu schreiben.