Logo sk.boatexistence.com

Vo výrokovej logike, ak p- q?

Obsah:

Vo výrokovej logike, ak p- q?
Vo výrokovej logike, ak p- q?

Video: Vo výrokovej logike, ak p- q?

Video: Vo výrokovej logike, ak p- q?
Video: EQUIVALENCIAS LÓGICAS ( I ) 2024, Smieť
Anonim

Ak sú výroky p a q ekvivalentné, oba sú pravdivé alebo obe nepravdivé, to znamená, že obe majú rovnakú pravdivostnú hodnotu. Tautológia je výrok, ktorý je vždy pravdivý. Rozpor je tvrdenie, ktoré je vždy nepravdivé.

Čo znamená P -> Q?

p → q (p implikuje q) (ak p, potom q) je výrok, ktorý je nepravdivý, keď p je pravdivé a q je nepravdivé a inak pravdivé.

Čo je logicky ekvivalentné P → Q?

P→Q je logicky ekvivalentné ¬P∨Q. … Príklad: „Ak je číslo násobkom 4, potom je párne“je ekvivalentom „číslo nie je násobkom 4 alebo (inak) je párne.“

Čo je P, iba ak Q?

Len ak zavádza nevyhnutnú podmienku: P iba vtedy, ak Q znamená, že pravdivosť Q je nevyhnutná alebo požadovaná, aby bolo P pravdivé. To znamená, že P iba vtedy, ak Q vylučuje iba jednu možnosť: že P je pravda a Q nepravda.

Keď je podmienené p → q nepravdivé?

Nech p a q sú dva výroky, potom „ak p, potom q“je zložený výrok, označený p→ q a označovaný ako podmienený výrok alebo implikácia. Implikácia p→ q je nepravdivá iba vtedy, keď p je pravda a q je nepravda; inak je to vždy pravda.

Odporúča: