Moja lekcja

 0    25 tarjetas    guest2867245
descargar mp3 imprimir jugar test de práctica
 
término język polski definición język polski
zasada tozsamosci
empezar lección
p=p
zasada podwojnego przeczenia
empezar lección
p=~~p
zasada sprzecznosci
empezar lección
~(p ^ ~p)
zasada wyłączonego środka
empezar lección
pv~p
prawo redukcji do absurdu
empezar lección
(p—>~p)—>~p
prawo symplikacji
empezar lección
(p^~q)-->p
prawo przemiennosci koniunkcji
empezar lección
(p^q)=(q^p)
prawo addycji
empezar lección
p—>(pvq)
prawo przemiennosci alternatywy
empezar lección
(pvq)=(qvp)
pierwsze prawo de Morgana
empezar lección
~(p^q)=(~pv~q)
drugie prawo de morgana
empezar lección
~(pvq)=(~p^~q)
modus ponendo ponens
empezar lección
[(p—>q)^p]—>q
modus tollendo tollens
empezar lección
[(p—>q)^~q]—>~p
prawo dunsa szkota
empezar lección
~p -> (p -> q)
prawo transpozycji
empezar lección
(p->q) -> (~q->~p)
prawo przeminnosci rownowaznosci
empezar lección
(p=q) = (q=p)
prawo łącznosci koniunkcji
empezar lección
[p^(q^r)] =[(p^q) ^r]
prawo łącznoscu alternatywy
empezar lección
[pv(qvr)] =[(pvq)vr]
prawo rozdzielnosci koniunkcji wzgledem alternatywy
empezar lección
[p^(qvr)] = (p^q) v(p^r)]
prawo rozdzielnosci alternatywy wzgledem koniunkcji
empezar lección
[pv(q^r)] = (pvq) ^(pvr)
prawo komutacji
empezar lección
[p—>(q—>r)]=[q—>(p—>r)]
prawo eksportacji
empezar lección
[(p∧q)→r]→[p→(q→r)]
prawo importacji
empezar lección
[p—>(q—>r)]—>[(p^q)—>r]
prawo sylogizmu hipotetycznego
empezar lección
[(p—>q) ^(q—>r)] —>(p—>r)
prawo dylematu konstrukcyjnego
empezar lección
[(p—>r)^(q—>r)^(pvq)]—> r

Debes iniciar sesión para poder comentar.