→ Prawa KRZ → Empezar lección / Descargar tarjetas en MP3

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

Prawa KRZ

Debes iniciar sesión para poder comentar.

Más