Таблице истинитости — разлика између измена
Садржај обрисан Садржај додат
м Renamed template |
. |
||
Ред 1:
[[Таутологија (логика)|Таблица истинитости]] је математичка таблица коришћена у [[Логика|логици]] — посебно у комбинацији са [[Булова алгебра|Буловом алгебром]]. Практично, таблице истинитости се користе да би утврдили да ли је предложени израз истинит за дате вредности, тј да ли је логички тачан или лажан.
Таблица истинитости је сачињена од једне колоне за сваку задату променљиву (на пример, А или Б), и једне коначне колоне за све могуће резултате логичких операција које је табела требало да представи (на пример, А, екс или Б). Сваки ред таблице садржи по једну могућу комбинацију задатих параметара и њиховог јединственог решења. Погледајте примере ради бољег разумевања.<ref>{{cite journal | author = [[Georg Henrik von Wright]] | title = Ludwig Wittgenstein, A Biographical Sketch | journal = The Philosophical Review | volume = 64 | issue = 4 | year = 1955 | pages = 527–545 (p. 532, note 9) | jstor = 2182631 | doi=10.2307/2182631}}</ref><ref>{{cite journal | author=[[Emil Post]]|title=Introduction to a general theory of elementary propositions|journal=American Journal of Mathematics|date=1921|volume=43|issue=3|pages=163–185|jstor= 2370324|doi=10.2307/2370324}}</ref>
== Унарне операције ==
Линија 475 ⟶ 474:
== Види још ==
{{div col|colwidth=20em}}
* [[Логика првог реда]]
* [[Карноова карта]]
Линија 489 ⟶ 486:
{{reflist}}
== Литература ==
* [[Bocheński, Józef Maria]] (1959), ''A Précis of Mathematical Logic'', translated from the French и German editions by Otto Bird, Dordrecht, South Holland: D. Reidel.
* [[Herbert Enderton|Enderton, H.]] (2001). ''A Mathematical Introduction to Logic'', second edition, New York: Harcourt Academic Press. ISBN 978-0-12-238452-3.
| |||