→ Tezy Rachunku Zdań → Bắt đầu học / Tải xuống MP3 Flashcards

câu hỏi		câu trả lời
p≡p bắt đầu học		zasada tożsamości
p≡~~p bắt đầu học		zasada podwójnego przeczenia
~(p∧~p) bắt đầu học		zasada sprzeczności
p v ~p bắt đầu học		zasada wyłączonego środka
(p→~p)→~p bắt đầu học		prawo redukcji do absurdu
(p∧q)→p bắt đầu học		prawo symplifikacji
(p∧q)≡(q∧p) bắt đầu học		prawo przemienności koniunkcji
p→(p v q) bắt đầu học		prawo addycji
(p v q)≡(q v p) bắt đầu học		prawo przemienności alternatywy
~(p∧q)≡(~p v ~q) bắt đầu học		pierwsze prawo de Morgana
~(p v q)≡(~p∧~q) bắt đầu học		drugie prawo de Morgana
[(p→q)∧p]→q bắt đầu học		modus ponendo ponens
[(p→q)∧~q]→~p bắt đầu học		modus tollendo tollens
~p→(p→q) bắt đầu học		prawo Dunsa Szkota
(p→q)→(~q→~p) bắt đầu học		prawo transpozycji
(p≡q)≡(q≡p) bắt đầu học		prawo przemienności równoważności
[p∧(q∧r)]≡[(p∧q)∧r] bắt đầu học		prawo łączności koniunkcji
[p v (q v r)]≡[(p v q) v r] bắt đầu học		prawo łączności alternatywy
[p∧(q v r)]≡[(p∧q) v (p∧r)] bắt đầu học		prawo rozdzielności koniunkcji względem alternatywy
[p v (q∧r)]≡[(p v q)∧(p v r)] bắt đầu học		prawo rozdzielności alternatywy względem koniunkcji
[p→(q→r)]≡[q→(p→r)] bắt đầu học		prawo komutacji
[(p∧q)→r]→[p→(q→r)] bắt đầu học		prawo eksportacji
[p→(q→r)]→[(p∧q)→r] bắt đầu học		prawo importacji
[(p→q)∧(q→r)]→(p→r) bắt đầu học		prawo sylogizmu hipotetycznego
[(p→r)∧(q→r)∧(p v q)]→r bắt đầu học		prawo dylematu konstrukcyjnego

tezy rachunku zdań

Bạn phải đăng nhập để đăng bình luận.

Nhiều hơn