01 - Iskazi i logički veznici

Tablica istinitosti za implikaciju

Kako se tablicom zadaje logička operacija implikacija.
Implikaciju iskaza i možemo zadati sledećom tablicom Neka su dati iskazi

: pingvini ne znaju da lete i

: voda ključa na .

Iskaz : Ako pingvini ne znaju da lete, onda voda ključa na º sa stanovišta

matematičke logike je tačan iskaz, jer su iskazi i tačni. U svakodnevnom govoru
Shvatanje implikacije u matematici, ponekad, odstupa od upotrebe veznika “ako…
ovako dat iskaz nema smisla.
onda” u svakodnevnom govoru i zaključivanju. Naime, u svakodnevnom govoru
nikada se neće dovoditi u vezu dva iskaza koja nemaju uzročno – posledičnu
Najveći broj teorema se u matematici iskazuje u formi implikacije, jer kada tačan
povezanost. S druge strane, u matematičkoj logici nas interesuje samo istinitost
iskaz , implicira tačan iskaz , tada je iskaz tačan. Tada, u implikaciji
implikacije takva dva iskaza, a ne i njihovo značenje.
se iskaz naziva pretpostavka, a iskaz zaključak.

Sledeća teorema izložena je u obliku implikacije:

Ako je za , tada je
Ovde pretpostavku čini iskaz: za a zaključak je iskaz: za

 
© UNIVERZITET METROPOLITAN, Beograd / Kopiranje i umnožavanje nije dozvoljeno / Sva prava su zadržana.