tezy rachunku zdań

 0    25 Fiche    mikolajkrzysztofnowakowski
скачать mp3 басу ойын өзіңді тексер
 
сұрақ język polski жауап język polski
p≡p
оқуды бастаңыз
zasada tożsamości
p≡~~p
оқуды бастаңыз
zasada podwójnego przeczenia
~(p∧~p)
оқуды бастаңыз
zasada sprzeczności
p v ~p
оқуды бастаңыз
zasada wyłączonego środka
(p→~p)→~p
оқуды бастаңыз
prawo redukcji do absurdu
(p∧q)→p
оқуды бастаңыз
prawo symplifikacji
(p∧q)≡(q∧p)
оқуды бастаңыз
prawo przemienności koniunkcji
p→(p v q)
оқуды бастаңыз
prawo addycji
(p v q)≡(q v p)
оқуды бастаңыз
prawo przemienności alternatywy
~(p∧q)≡(~p v ~q)
оқуды бастаңыз
pierwsze prawo de Morgana
~(p v q)≡(~p∧~q)
оқуды бастаңыз
drugie prawo de Morgana
[(p→q)∧p]→q
оқуды бастаңыз
modus ponendo ponens
[(p→q)∧~q]→~p
оқуды бастаңыз
modus tollendo tollens
~p→(p→q)
оқуды бастаңыз
prawo Dunsa Szkota
(p→q)→(~q→~p)
оқуды бастаңыз
prawo transpozycji
(p≡q)≡(q≡p)
оқуды бастаңыз
prawo przemienności równoważności
[p∧(q∧r)]≡[(p∧q)∧r]
оқуды бастаңыз
prawo łączności koniunkcji
[p v (q v r)]≡[(p v q) v r]
оқуды бастаңыз
prawo łączności alternatywy
[p∧(q v r)]≡[(p∧q) v (p∧r)]
оқуды бастаңыз
prawo rozdzielności koniunkcji względem alternatywy
[p v (q∧r)]≡[(p v q)∧(p v r)]
оқуды бастаңыз
prawo rozdzielności alternatywy względem koniunkcji
[p→(q→r)]≡[q→(p→r)]
оқуды бастаңыз
prawo komutacji
[(p∧q)→r]→[p→(q→r)]
оқуды бастаңыз
prawo eksportacji
[p→(q→r)]→[(p∧q)→r]
оқуды бастаңыз
prawo importacji
[(p→q)∧(q→r)]→(p→r)
оқуды бастаңыз
prawo sylogizmu hipotetycznego
[(p→r)∧(q→r)∧(p v q)]→r
оқуды бастаңыз
prawo dylematu konstrukcyjnego

Пікір қалдыру үшін жүйеге кіру керек.