Co je pravdivá implikace?

Definice. Implikace je pravdivá pravě tehdy, když jsou oba spojované výroky pravdivé nebo když je první výrok nepravdivý. Neboli: Implikace není pravdivá jen v případě, že první výrok je pravdivý a zároveň druhý je nepravdivý.

Jak se používá implikace v matematice?

Ke spojení výroků a pomocí implikace se používá zvláštní dvojitá šipka: . Takový zápis můžeme číst mnoha způsoby: „Jestliže platí výrok A, pak platí výrok B.“ Implikace je velmi často používaným výrokem v celé matematice, mnohdy totiž potřebujeme vyjádřit, že nějaký fakt plyne z jiného.

Jak odpovídá implikace v hovoru?

Význam a příklady. Implikace významově odpovídá podmínkové větě v běžném hovoru „Jestliže A, potom B“, „Kdyby A, pak B“. Z toho také vyplývají její vlastnosti tak, jak je zachycuje pravdivostní tabulka. Příklad první „Když bude dnes pršet, půjdu do práce.“