→ Prawa KRZ → Rozpocznij Naukę / Ściągnij Fiszki MP3

Pytanie		Odpowiedź
Prawo wyłączonego środka rozpocznij naukę		p ∨∼p
sprzeczności rozpocznij naukę		∼(p ∧∼p)
przepełnienia rozpocznij naukę		p → (∼p → q)
Dunsa Szkota rozpocznij naukę		∼p → (p → q)
Mocne prawo redukcji do absurdu (prawo Claviusa) rozpocznij naukę		(∼ p → p) → p
Słabe prawo redukcji do absurdu rozpocznij naukę		(p → ∼p) → ∼p
redukcji do absurdu rozpocznij naukę		(p → q) ∧ (p → ∼q) → ∼p
eksportacji i importacji rozpocznij naukę		p → (q → r) ≡ p ∧ q → r
Modus ponendo ponens rozpocznij naukę		p ∧ (p → q) → q
Modus tollendo ponens rozpocznij naukę		∼p ∧ (p ∨ q) → q
Modus ponendo tollens rozpocznij naukę		p ∧ ∼(p ∧ q) → ∼q
Modus tollendo tollens rozpocznij naukę		∼ p ∧ (q → p) → ∼ q
Prawo składania i rozkładania dla koniunkcji rozpocznij naukę		(p → q) ∧ (p → r) ≡ p → q ∧ r
Prawo idempotencji koniunkcji rozpocznij naukę		p ∧ p ≡ p
Prawo łączności koniunkcji rozpocznij naukę		(p ∧ q) ∧ r ≡ p ∧ (q ∧ r)
Prawo przemienności koniunkcji rozpocznij naukę		p ∧ q ≡ q ∧ p
Prawa symplifikacji (pochłaniania) koniunkcji rozpocznij naukę		• p ∧ q → p i • p ∧ q → q
Prawa symplifikacji (pochłaniania) alternatywy rozpocznij naukę		• p → p ∨ q oraz • p → q ∨ p
Prawo przemienności alternatywy rozpocznij naukę		p ∨ q ≡ q ∨ p
Prawo łączności alternatywy rozpocznij naukę		(p ∨ q) ∨ r ≡ p ∨ (q ∨ r)
Prawo idempotencji alternatywy rozpocznij naukę		p ∨ p ≡ p
Prawo składania i rozkładania dla alternatywy rozpocznij naukę		(p → r) ∧ (q → r) ≡ p ∨ q → r
Rozdzielność koniunkcji względem alternatywy rozpocznij naukę		p ∧ (q ∨ r) ≡ p ∧ q ∨ p ∧ r
Rozdzielność alternatywy względem koniunkcji rozpocznij naukę		p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
Prawo podwójnego przeczenia rozpocznij naukę		∼∼p ≡ p
Negacja koniunkcji (I prawo De Morgana) rozpocznij naukę		∼(p ∧ q) ≡ ∼ p ∨ ∼ q
Negacja alternatywy (II prawo De Morgana) rozpocznij naukę		∼(p ∨ q) ≡ ∼ p ∧ ∼ q
Negacja implikacji rozpocznij naukę		∼(p → q) ≡ p ∧ ∼ q
Negacja równoważności rozpocznij naukę		∼(p ≡ q) ≡ p ∧∼q ∨∼p ∧ q
Zastąpienie koniunkcji alternatywą i negacją rozpocznij naukę		p ∧ q ≡ ∼(∼ p ∨ ∼ q)
Zastąpienie koniunkcji implikacją i negacją rozpocznij naukę		• p ∧ q ≡ ∼(p → ∼ q) oraz • p ∧ q ≡ ∼(q → ∼ p)
Zastąpienie alternatywy koniunkcją i negacją rozpocznij naukę		p ∨ q ≡ ∼ (∼ p ∧ ∼ q)
Zastąpienie alternatywy implikacją i negacją rozpocznij naukę		• p ∨ q ≡ ∼ p → q oraz • p ∨ q ≡ ∼ q → p
Zastąpienie implikacji alternatywą i negacją rozpocznij naukę		p → q ≡ ∼ p ∨ q
Zastąpienie implikacji koniunkcją i negacją rozpocznij naukę		p → q ≡ ∼ (p ∧ ∼q)
Zastąpienie równoważności implikacją i koniunkcją rozpocznij naukę		(p ≡ q) ≡ (p → q) ∧ (q → p)
Prawo tożsamości (prawo tautologii) rozpocznij naukę		• p → p oraz p=p
Prawo poprzedzania (charakterystyka prawdy) rozpocznij naukę		p → (q → p)
Prawo sylogizmu Fregego rozpocznij naukę		p → (q → r) → ((p → q) → (p → r))
Prawo sylogizmu hipotetycznego (przechodniość implikacji) rozpocznij naukę		• (p → q) → ((q → r) → (p → r)) oraz • (p → q) ∧ (q → r) → (p → r)
Prawo skracania rozpocznij naukę		• p → (p → q) → (p → q)
Prawo komutacji rozpocznij naukę		p → (q → r) ≡ q → (p → r)
Prawa kontrapozycji (transpozycji) rozpocznij naukę		• p → q ≡ ∼q → ∼p oraz • p → ∼q ≡ q → ∼p oraz • ∼p → q ≡ ∼ q → p

Prawa KRZ

Musisz się zalogować, by móc napisać komentarz.