Aké sú všetky logické spojenia?

Logické spojovacie prvky sú symboly, ktoré spájajú výroky a vytvárajú nové výroky. Najbežnejšie logické spojenia sú:

- Konjunkcia (∧) – Toto spojenie je známe aj ako „a“. Keď sú dva výroky spojené, výsledný výrok je pravdivý, ak sú oba pôvodné výroky pravdivé, a inak nepravdivé. Napríklad „Obloha je modrá ∧ tráva je zelená“ platí iba vtedy, ak je obloha modrá aj tráva zelená.

- Rozdelenie (∨) – Toto spojenie je známe aj ako „alebo“. Keď sú dva výroky oddelené, výsledný výrok je pravdivý, ak je pravdivý ktorýkoľvek z pôvodných výrokov, a inak nepravdivý. Napríklad „Obloha je modrá ∨ tráva je zelená“ platí, ak je obloha modrá alebo tráva zelená.

- Negácia (¬) – Toto spojenie je známe aj ako „nie“. Keď je výrok negovaný, výsledný výrok je pravdivý, ak je pôvodný výrok nepravdivý, a v opačnom prípade je nepravdivý. Napríklad „¬(obloha je modrá)“ platí, ak obloha nie je modrá.

- Dôsledok (→) – Toto spojenie je známe aj ako „ak-tak“. Keď sú implikované dva výroky, výsledný výrok je pravdivý, ak predchádzajúci (výrok, ktorý je pred implikačným symbolom) je nepravdivý alebo dôsledok (výrok, ktorý nasleduje za implikačným symbolom) je pravdivý. Napríklad „(obloha je modrá) → (tráva je zelená)“ platí, ak obloha nie je modrá alebo tráva je zelená.

- Ekvivalencia (↔) – Toto spojenie je známe aj ako „ak a len vtedy“. Keď sú dva výroky ekvivalentné, výsledný výrok je pravdivý, ak sú oba pôvodné výroky pravdivé alebo oba pôvodné výroky sú nepravdivé. Napríklad „(obloha je modrá) ↔ (tráva je zelená)“ platí, ak je obloha modrá aj tráva zelená alebo obloha nie je modrá a tráva nie je zelená.

Existuje aj množstvo iných menej bežných logických spojovacích výrazov, ako je exkluzívna disjunkcia (⊻) a Shefferov ťah (|).

• Predchádzajúca strana: Ako získate vst pluginy pre cubase zadarmo? 
• Ďalšia strana: Koľko stojí priame telefonovanie?