Logická operace
Logická operace je v matematice taková operace s výroky, jejímž výsledkem je opět výrok, jehož pravdivostní hodnota (PRAVDA nebo NEPRAVDA) závisí na pravdivosti výroků a druhu operace.
Unární logickou operací je negace. Binárními operacemi jsou například konjunkce, disjunkce, implikace a ekvivalence.
Související články
- výrok (logika)
- logický člen (hradlo)
- konjunkce
- disjunkce
- implikace
- ekvivalence
- negace
Matematické operace | |||||||
---|---|---|---|---|---|---|---|
Vlastnosti: arita, komutativita, asociativita, distributivita; neutrální prvek (0, 1) | |||||||
Množinové | |||||||
Logické | |||||||
Aritmetické | sčítání , odčítání , násobení , dělení , umocňování , odmocňování √, tetrace , superodmocňování √s, pentace , … | ||||||
Geometrické |
Izometrické zobrazení • Afinní zobrazení • Topologické zobrazení | ||||||
V lineární algebře |
| ||||||
Se zobrazeními a funkcemi |
| ||||||
Související: zobrazení ← kartézský součin → funkce |