Pokud jsou výroky p a q ekvivalentní, jsou oba pravdivé nebo oba nepravdivé, to znamená, že oba mají stejnou pravdivostní hodnotu. Tautologie je výrok, který je vždy pravdivý. Rozpor je tvrzení, které je vždy nepravdivé.
Co znamená P -> Q?
p → q (p implikuje q) (jestliže p pak q) je tvrzení, které je nepravdivé, když p je pravdivé a q je nepravdivé a v opačném případě pravdivé.
Co je logicky ekvivalentní P → Q?
P→Q je logicky ekvivalentní ¬P∨Q. … Příklad: „Je-li číslo násobkem 4, pak je sudé“je ekvivalentní, „číslo není násobkem 4 nebo (jinak) je sudé.“
Co je P, jen když Q?
Pouze pokud zavádí nezbytnou podmínku: P pouze v případě, že Q znamená, že pravdivost Q je nezbytná nebo vyžadována, aby bylo P pravdivé. To znamená, že P pouze tehdy, pokud Q vylučuje pouze jednu možnost: že P je pravda a Q je nepravda.
Když je podmíněné p → q nepravdivé?
Nechť p a q jsou dva příkazy, pak "jestliže p, pak q" je složený příkaz, označovaný p→ q a označovaný jako podmíněný příkaz nebo implikace. Implikace p→ q je nepravdivá pouze tehdy, když p je pravda a q je nepravda; jinak je to vždy pravda.
