Aké návrhy sú logicky ekvivalentné?
Aké návrhy sú logicky ekvivalentné?

Video: Aké návrhy sú logicky ekvivalentné?

Video: Aké návrhy sú logicky ekvivalentné?
Video: Propositional Logic − Logical Equivalences 2024, November
Anonim

The návrhy sú rovnaké resp logicky ekvivalentné ak majú vždy rovnakú pravdivostnú hodnotu. To znamená, že p a q sú logicky ekvivalentné ak je p pravdivé vždy, keď q je pravdivé, a naopak, a ak p je nepravdivé, ak je q nepravdivé, a naopak. Ak p a q sú logicky ekvivalentné , píšeme p = q.

Podobne sa môžete pýtať, čo znamená logicky ekvivalent?

Logické ekvivalencia nastáva vtedy, keď dve tvrdenia majú rovnakú pravdivostnú hodnotu. Toto znamená že jeden výrok môže byť pravdivý vo svojom vlastnom kontexte a druhý výrok môže byť pravdivý aj vo svojom vlastnom kontexte, len oba musia mať rovnaký význam.

Možno sa tiež opýtať, či je kontrapozitív logicky ekvivalentný? Presnejšie povedané, kontrapozitívne výroku "ak A, potom B" je "ak nie B, potom nie A." Vyhlásenie a jeho kontrapozitívne sú logicky ekvivalentné , v tom zmysle, že ak je výrok pravdivý, tak jeho kontrapozitívne je pravda a naopak.

Ľudia sa tiež pýtajú, čo je logicky ekvivalentné P a Q?

Podľa definície, p q je nepravdivá vtedy a len vtedy, ak jej hypotéza, p , je pravda a jej záver, q , je nepravdivý. Opačný a opak podmieneného príkazu sú logicky ekvivalentné navzájom, ale ani jeden z nich nie je logicky ekvivalentné k podmienečnému výroku.

Čo je logická ekvivalencia v matematike?

Logická ekvivalencia je typ vzťahu medzi dvoma výrokmi alebo vetami vo výroku logika alebo Booleovej algebry. Vzťah sa slovne prekladá do „ak a len vtedy“a je symbolizovaný dvojitou čiarou, dvojitou šípkou smerujúcou doľava a doprava ().

Odporúča: