LOGIKA

IMPLIKACJA

Zdania proste ze spójnikiem „jeżeli„

„jeżeli” określamy jako =>

Implikacja p lub q = p => q

p nazywamy poprzednikiem, a q następnikiem .

Przykład 1:

„Jeżeli wieloryb to ssak to rekin to ryba”

„wieloryb to ssak” → p = 1

„rekin to ryba” → q = 1

p => q = 1 Implikacja logicznie prawdziwa, wartość logiczna = 1

Przykład 2:

„Jeżeli wieloryb to ssak to rekin to ssak”

„wieloryb to ssak” → p = 1

„rekin to ssak” → q = 0

p => q = 0 Implikacja logicznie nieprawdziwa, wartość logiczna = 0

Przykład 3:

„Jeżeli wieloryb to ryba to rekin to ryba”

„wieloryb to ryba” → p = 0

„rekin to ryba” → q = 1

p => q = 1 Implikacja logicznie prawdziwa, wartość logiczna = 1

Przykład 4:

„Jeżeli wieloryb to ryba to rekin to ssak”

„wieloryb to ryba” → p = 0

„rekin to ssak” → q = 0

p => q = 0 Implikacja logicznie nieprawdziwa, wartość logiczna = 0