Логички знаци

Од Википедија, слободна енциклопедија

Во логиката се користат знаци за изразување на логички конструкции.

Треба да се знае дека во разни случаи еден ист симбол може да има различно значење - значењето на еден знак во логиката не мора да е исто со значењето на истиот во математиката.

[уреди] Основни логички знаци

Слика:implikacija1.pngСлика:implikacija2.pngСлика:implikacija3.png Материјална импликација (ако, тогаш)

Слика:ekvivalencija1.pngСлика:ekvivalencija2.png Материјална еквиваленција (ако и само ако, акко)

Слика:negacija1.pngСлика:negacija2.png Логичка негација (не)

Слика:konjunkcija.png Логичка конјункција (и)

Слика:disjunkcija.png Логичка дисјункција (или)

Слика:isklucitelna disjunkcija1.pngСлика:isklucitelna disjunkcija2.png Исклучителна дисјункција (или, или - но не двете; илли)

Слика:univerzalen kvantifikator.png Универзална квантификација (за сè, за било кое, за секое)

Слика:egzistencijalen kvantifikator.png Егзистенцијална квантификација (постои)

Слика:unikaten egzistencijalen kvantifikator.png Универзална егзистенцијална квантификација (постои само едно)

Слика:definicija1.pngСлика:definicija2.pngСлика:definicija3.png Дефиниција (се дефинира како)

Слика:prvenstvo.png Првенство

Слика:zaklucok.png Инференција или Заклучок (како заклучок на или изведено од)

[уреди] Видете исто така

  • Таблица на математички знаци
Други јазици