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.
