→ Prawa KRZ → Avvia Impara / Scarica schede MP3

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

round	Lo sapevo	Non lo so
1	()	()

Français

English

American English

italiano

Norsk

Nederlands, Vlaams

język polski

português

русский язык

español

Svenska

Deutsch

українська мова

gjuha shqipe

العربية

euskara

беларуская мова

български език

català, valencià

český jazyk

中文, 汉语, 漢語

한국어, 韓國語, 조선어, 朝鮮語

hrvatski jezik

dansk

עברית

Esperanto

eesti keel

føroyskt

suomen kieli

Gàidhlig

galego

ქართული

日本語, にほんご

ελληνικά

हिन्दी, हिंदी

Bahasa Indonesia

Íslenska

ಕನ್ನಡ

Қазақша

latine

latviešu valoda

lietuvių kalba

Lëtzebuergesch

македонски јазик

bahasa Melayu, بهاس ملايو

Malti

Papiamento

فارسی

Português brasileiro

rumantsch grischun

limba română

српски језик

slovenský jazyk

slovenski jezik

ไทย

Xitsonga

Setswana

Türkçe

magyar

اردو

Tiếng Việt

isiXhosa

ייִדיש

isiZulu

Prawa KRZ

Devi essere accedere per pubblicare un commento.

Scopri di più