Таблица на вистинитост: Разлика помеѓу преработките
[проверена преработка] | [непроверена преработка] |
Избришана содржина Додадена содржина
с Bot: Migrating 31 interwiki links, now provided by Wikidata on d:q219079 (translate me) |
|||
Ред 2:
== Вовед ==
Според некои докази, таблиците на вистинитост биле [[Готлоб Фреге|Фрегеви]], [[Чарлс Сандерс Перс|Персови]] и [[Ернст Шредер|Шредерови]] од 1880 година. Таблиците биле значајни во литературата од 1920 ([[Јан Лукасјевич|Лукасјевич]], [[Емил Пост|Пост]], [[Лудгвиг Витгенштајн|Витгенштајн]]) ([[Вилард Ван Орман Квајн|Квајн]], 39). [[Луис Керол]] ги создал таблиците на вистининтоста порано од 1894 година за да реши неколку проблеми, но неговите ракописи со неговата работа над предметот не биле откриени се до 1977 година <ref>[http://www-groups.dcs.st-andrews.ac.uk/~history/Biographies/Dodgson.html]</ref>. Во Витгејнштајновиот ''[[Логико-
Таблиците на вистинитост се применуваат во пресметувањето на вредностите на логичките изрази како ефективен начин, којшто понекогаш е познат како ''[[проблем на одлучување]]''. Логичкиот израз е или [[атом (логика)|атомска формула]], логичка константа, [[логичка променлива]] или логичка функција (на пр. ''Px'' или ''P''(''x'')) или составено од атомските формули со значење на логичките операции, како на пример [[логичка конјункција|И]] (<math>\land</math>), [[логичка дисјункција|ИЛИ]] (<math>\lor</math>), [[негација|НЕ]] (<math>\lnot</math>). На пример, <math>Fx \land Gx</math> е логички израз.
|