Implikacija
 | Ovaj članak ili dio članka nije pokriven izvorima. |
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 | 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.
Content Disclaimer
Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.
- The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
- There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
- It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
- Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
- Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.