→ Prawa KRZ → Start Learning / Flashcards Téléchargement MP3

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

Prawa KRZ

Vous devez vous connecter pour poster un commentaire.

plus