Logo cs.boatexistence.com

Ve výrokové logice, pokud p- q?

Obsah:

Ve výrokové logice, pokud p- q?
Ve výrokové logice, pokud p- q?

Video: Ve výrokové logice, pokud p- q?

Video: Ve výrokové logice, pokud p- q?
Video: Холодильник не охлаждает и сильно намерзает сверху 2024, Smět
Anonim

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.

Doporučuje: