Matematika i formalna logika često nam se čine kao discipline u kojima su pravila apsolutna, stroga i, na prvi pogled, jednostavna. Ipak, postoji jedan pojam koji gotovo svakoga na početku putovanja kroz logiku zbuni: logička implikacija. Glavno pitanje koje se javlja studentima i ljubiteljima logike glasi: kako je moguće da je konstrukcija „ako p, onda q“ istinita u situaciji kada je prvi dio iskaza (p) potpuno netočan? Na prvi pogled, takav zaključak djeluje kontraintuitivno i neprirodno, ali on zapravo predstavlja temelj modernog matematičkog dokazivanja, programiranja i cijelog računarstva.
Sadržaj...
Što je zapravo logička implikacija i kako funkcionira?
Logička implikacija je poveznica između dvije tvrdnje, koje u stručnoj terminologiji nazivamo antecedentom (uvjetom) i konsekventom (posljedicom). U svakodnevnom govoru to je poznata konstrukcija „Ako se dogodi A, onda će se dogoditi i B“. Primjer iz stvarnog života bio bi: „Ako pada kiša, onda je cesta mokra“.
Važno je razumjeti da u matematičkoj logici implikacija nije nužno opis fizičkog uzroka i posljedice, već iskaz o istinitosti samog odnosa između dvije tvrdnje. Cijeli se iskaz smatra netočnim u samo jednom jedinom slučaju: kada je uvjet istinit, a posljedica netočna. U svim ostalim kombinacijama, implikacija se smatra istinitom. Ova definicija često stvara zabunu jer u običnom razgovoru podrazumijevamo da postoji izravna, organska povezanost između dva događaja, dok formalna logika gleda isključivo istinitost samih tvrdnji bez obzira na njihovu tematsku povezanost.
Analiza tablice istinitosti kroz praktične primjere
Kako bismo razjasnili zašto je implikacija istinita kada je početni uvjet netočan, analizirajmo četiri moguća scenarija koristeći naš primjer: „Ako pada kiša, onda je cesta mokra“. Zamislimo ovaj iskaz kao svojevrsni ugovor ili obećanje.
- Istina $
ightarrow$ Istina: Pada kiša i cesta je mokra. Iskaz je potpuno točan i logičan; očekivano je da je cesta mokra u takvim uvjetima. Obećanje je ispunjeno. - Istina $
ightarrow$ Netočno: Pada kiša, ali je cesta suha. Ovo je jedini slučaj kada je iskaz netočan. Ovdje je „obećanje“ o mokroj cesti prekršeno, što znači da je sama tvrdnja o povezanosti kiše i mokre ceste u ovom slučaju bila pogrešna. - Netočno $
ightarrow$ Istina: Ne pada kiša, ali je cesta ipak mokra. Možda je netko polijevao ulicu, pukla je vodovodna cijev ili je upravo prošao kamion za pranje cesta. Ipak, iskaz „Ako pada kiša, onda je cesta mokra“ i dalje nije pobijađen. Mi nismo rekli što se događa ako kiša ne pada, stoga iskaz nije prekršen. U logici, ako uvjet nije ispunjen, iskaz ne može biti „lažan“ jer nije bilo prilike da se prekrši. - Netočno $
ightarrow$ Netočno: Ne pada kiša i cesta je suha. Ovdje nema nikakvog konflikta. Tvrdnja ostaje istinita jer uvjet nije ispunjen, a stoga ni posljedica ne mora biti prisutna.
Zašto je ovo važno za znanost i tehnologiju?
Možda se pitate zašto uopće trošimo vrijeme na takve apstrakcije. Odgovor leži u tome kako računala „razmišljaju“. Svaki programski kod temelji se na uvjetima. Ako bi programi zahtijevali da uvjet uvijek bude istinit kako bi se iskaz smatrao validnim, većina modernih algoritama prestala bi raditi. Logička implikacija omogućuje nam da definiramo pravila koja ostaju konzistentna čak i kada se određeni uvjeti ne ispune.
U matematici, ovaj koncept je ključan za dokazivanje kontrapozicije. Kontrapozicija nam govori da je iskaz „Ako A, onda B“ logički ekvivalentent iskazu „Ako nije B, onda nije A“. Na primjer, ako je
