Implikacija sudova
Implikacija odgovara na "ako ... onda ...". Označava se znakom "→" ili P"→Q. Tako se rečenica "P → Q" prevodi sa "Ako su prave a i b palelne i ako su prave b i c paralne, onda su prave a i c paralelne. Ona je neistinita onda i samo onda ako je sud P istinit i sud Q neistinit.
Tablica istinitosti
P | → | Q |
---|---|---|
i | i | i |
i | n | n |
n | i | i |
n | i | i |
To je binarna logička operacija.