WikiSysop: brisanje nepotrebnog teksta

2022-03-08T07:17:21Z

brisanje nepotrebnog teksta

←Starija inačica		Inačica od 8. ožujak 2022. u 07:17
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.

WikiSysop: Bot: Automatski unos stranica

2021-09-30T01:49:32Z

Bot: Automatski unos stranica

Nova stranica

{{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.

'''Tablica istinitosti operatora implikacije'''
{| style="background:#dddddd; text-align:center"
! P !! → !! Q
|- style="height:1px; background:#000000"
| colspan="3"|
|- style="color:navy"
| ⊤ || <b>⊤ || ⊤
|-
| ⊤ || <b>⊥ || ⊥
|- style="color:navy"
| ⊥ || <b>⊤ || ⊤
|- style="color:navy"
| ⊥ || <b>⊥ || ⊤
|}

'''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.

[[Kategorija:Logika]]
[[Kategorija: Figure konstrukcije]]

Implikacija - Povijest promjena

WikiSysop: brisanje nepotrebnog teksta

WikiSysop: Bot: Automatski unos stranica