|
implikace, podmíněný výrok. Logická operace spojující dva výroky p, q, která se v běžném jazyce vyjadřuje slovy "platí-li p, pak platí q", nebo "z p plyne q", "jestliže p, pak q". Zapisuje se p ==> q. Implikace je pravdivá,
jestliže z pravdivosti výroku p plyne pravdivost výroku q. Je-li výrok p nepravdivý, pak o výroku q implikace nic nevypovídá. Např. "Jestliže číslo a je dělitelné 4, pak je sudé". Výrok p se nazývá předpoklad implikace, též nutná podmínka,
výrok q závěr implikace, též postačující podmínka. |