Работим за възстановяване на приложението Unionpedia в Google Play Store
ИзходящIncoming
🌟Упростихме нашия дизайн за по-добра навигация!
Instagram Facebook X LinkedIn

Пропозиционална логика

Index Пропозиционална логика

Пропозиционалната логика или логиката на изказванията (по-стар термин: съждителната логика) се занимава с целите пропозиции в ролята им на носители на стойности по истинност и съотв.

Съдържание

  1. 9 отношения: AND, NAND, NOR, NOT, OR, XNOR, Предикат (математическа логика), Изкуствен интелект, Логика.

AND

#виж Логически_елемент#.D0.9B.D0.BE.D0.B3.D0.B8.D1.87.D0.B5.D1.81.D0.BA.D0.BE_.22AND.22.

Виж Пропозиционална логика и AND

NAND

#виж Логически_елемент#.D0.9B.D0.BE.D0.B3.D0.B8.D1.87.D0.B5.D1.81.D0.BA.D0.BE_.22NAND.22.

Виж Пропозиционална логика и NAND

NOR

#виж Логически_елемент#.D0.9B.D0.BE.D0.B3.D0.B8.D1.87.D0.B5.D1.81.D0.BA.D0.BE_.22NOR.22.

Виж Пропозиционална логика и NOR

NOT

#виж Логически_елемент#.D0.9B.D0.BE.D0.B3.D0.B8.D1.87.D0.B5.D1.81.D0.BA.D0.BE_.22NOT.22.

Виж Пропозиционална логика и NOT

OR

#виж Логически_елемент#.D0.9B.D0.BE.D0.B3.D0.B8.D1.87.D0.B5.D1.81.D0.BA.D0.BE_.22OR.22.

Виж Пропозиционална логика и OR

XNOR

#виж Логически_елемент#.D0.9B.D0.BE.D0.B3.D0.B8.D1.87.D0.B5.D1.81.D0.BA.D0.BE_.D0.B8.D0.B7.D0.BA.D0.BB.D1.8E.D1.87.D0.B2.D0.B0.D1.89.D0.BE_.22XNOR.22.

Виж Пропозиционална логика и XNOR

Предикат (математическа логика)

#виж Съждение.

Виж Пропозиционална логика и Предикат (математическа логика)

Изкуствен интелект

РобоКъп е състезание за роботи с изкуствен интелект Изкуственият интелект (ИИ; artificial intelligence, AI) е интелектът, демонстриран от компютри, за разлика от естествения интелект, демонстриран от животни и хора.

Виж Пропозиционална логика и Изкуствен интелект

Логика

Грегор Райш (* ок. 1480, † 1525), „Логиката представя своите централни теми“, ''Margarita Philosophica'', 1503. Двете кучета ''veritas'' и ''falsitas'' преследват заека ''problema'', логиката бърза след тях, въоръжена с меча ''syllogismus''.

Виж Пропозиционална логика и Логика