Implikacija: razlika između inačica

Posljednja izmjena od 8. ožujak 2022. u 07:17

Implikacija, naziv je koji se koristi za označavanje valjanosti kondicionalne rečenice: "ako ... onda ...". Ispravno sastavljena formula u "ako" se naziva antecedens, dok se u "onda" naziva konzekvens. Označava se simbolom "→". Simbolički i općenito prikazana kondicionalna rečenica propozicionalne logike bi imala ovakav oblik: "P → Q", tu govorimo o implikaciji kao istinosnoj funkciji koja se naziva materijalna implikacija. Dok bi u logici prvog reda općeniti oblik kondicionalne rečenice izgledao ovako: ∀x(Px→Qx). Prirodnojezični primjer za iskaz "P → Q" bi bio "Ako je neko biće kralježnjak, onda ima srce." Ova rečenica je neistina onda i samo onda ako je sud P istinit i sud Q neistinit, što se vidi iz priložene tablice istinitosti za operator implikacije.

Tablica istinitosti operatora implikacije

P	→	Q

⊤	⊤	⊤
⊤	⊥	⊥
⊥	⊤	⊤
⊥	⊥	⊤

Logička implikacija je tautološki iskaz materijalne implikacije.

Paradoksi materijalne implikacije: Sljedeće dvije posljedice formalne definicije materijalne implikacije odstupaju od naših neformalnih intuicija o implikaciji: (1) materijalna implikacija je istinita kad god je antecedens lažan, i (2) materijalna implikacija je istinita kad god je konzekvens istinit. Ovi navodni paradoksi ne stvaraju kontradikcije.

Inačica od 30. rujan 2021. u 01:49 vidi izvor WikiSysop (razgovor \| doprinosi) AA_Korisnik, Botovi, Birokrati, Administratori sučelja, Otajnici, Administratori 528.032 edits Bot: Automatski unos stranica		Posljednja izmjena od 8. ožujak 2022. u 07:17 vidi izvor WikiSysop (razgovor \| doprinosi) AA_Korisnik, Botovi, Birokrati, Administratori sučelja, Otajnici, Administratori 528.032 edits m brisanje nepotrebnog teksta
Redak 1:		Redak 1:
	~~<!--'''Implikacija'''-->~~{{nedostaju izvori}}		{{nedostaju izvori}}
	'''Implikacija''', naziv je koji se koristi za označavanje valjanosti kondicionalne [[rečenica\|rečenice]]: "ako ... onda ...". Ispravno sastavljena formula u "ako" se naziva antecedens, dok se u "onda" naziva konzekvens. Označava se simbolom "'''→'''". Simbolički i općenito prikazana kondicionalna rečenica propozicionalne logike bi imala ovakav oblik: "''P'' → ''Q''", tu govorimo o implikaciji kao istinosnoj funkciji koja se naziva materijalna implikacija. Dok bi u logici prvog reda općeniti oblik kondicionalne rečenice izgledao ovako: ''∀''x(''P''x→''Q''x). Prirodnojezični primjer za iskaz "''P'' → ''Q''" bi bio "Ako je neko biće kralježnjak, onda ima srce." Ova rečenica je neistina onda i samo onda ako je sud ''P'' istinit i sud ''Q'' neistinit, što se vidi iz priložene tablice istinitosti za operator implikacije.		'''Implikacija''', naziv je koji se koristi za označavanje valjanosti kondicionalne [[rečenica\|rečenice]]: "ako ... onda ...". Ispravno sastavljena formula u "ako" se naziva antecedens, dok se u "onda" naziva konzekvens. Označava se simbolom "'''→'''". Simbolički i općenito prikazana kondicionalna rečenica propozicionalne logike bi imala ovakav oblik: "''P'' → ''Q''", tu govorimo o implikaciji kao istinosnoj funkciji koja se naziva materijalna implikacija. Dok bi u logici prvog reda općeniti oblik kondicionalne rečenice izgledao ovako: ''∀''x(''P''x→''Q''x). Prirodnojezični primjer za iskaz "''P'' → ''Q''" bi bio "Ako je neko biće kralježnjak, onda ima srce." Ova rečenica je neistina onda i samo onda ako je sud ''P'' istinit i sud ''Q'' neistinit, što se vidi iz priložene tablice istinitosti za operator implikacije.