Студопедия
Главная страница | Контакты | Случайная страница | Спросить на ВикиКак

АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатика
ИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханика
ОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторика
СоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансы
ХимияЧерчениеЭкологияЭкономикаЭлектроника

Язык логики высказываний. Табличные определения логических терминов.

Читайте также:
  1. I. Решение логических задач средствами алгебры логики
  2. II. Пример определения контрактной цены на санитарных рубок
  3. II. Профориентационное направление работы: обеспечение формирования и развития профессионального и жизненного самоопределения Изучение образовательных запросов
  4. II. Решение логических задач табличным способом
  5. III. Основные методы биологических исследований.
  6. III. Решение логических задач с помощью рассуждений
  7. IV. Психические расстройства при соматических и неврологических заболеваниях
  8. Sperm vitality tests (тесты для определения жизнеспособности сперматозоидов)
  9. VI. БИОГЕОЦЕНОТИЧЕСКИЙ И БИОСФЕРНЫЙ УРОВНИ ОРГАНИЗАЦИИ БИОЛОГИЧЕСКИХ СИСТЕМ
  10. VI. Психологическое сопровождение профессионального самоопределения, предпрофильной подготовки обучающихся (воспитанников) Выявление образовательных запросов

Логика высказываний – раздел символической логики, поэтому в ней используется язык символов. Символы этого языка:

а) p, q, r, s, p1, q1,…-- пропозициональные символы (пропозициональные переменные);

-- логические термины (логические константы)º, É, Ú, Ù, Øб)

в) (, ) – скобки (!!!)

Определение формулы:

а) пропозициональная переменная есть формула;

В) – формулы;º В), (АÉ В), (АÚ В), (АÙА, (АØб) если А есть формула и В есть формула, то

в) ничто иное не есть формула.

-- “не”Ø

-- “и” конъюнкцияÙ

-- “или”, дизъюнкцияÚ

Ú -- “или …, или …” строгая дизъюнкция

-- “если …, то” импликацияÉ

-- “если, и только если, …, то …” эквивалентностьº

При табличном построении логики высказываний логические константы определяются посредством таблиц истинности. При этом принимается, что каждое высказывание имеет 1 значение – или “истина”, или “ложь”.

Формула, являющаяся пропозициональной переменной – простая, а формула, содержащая логические константы – сложная. В сложной формуле можно выделить логическую константу, называемую главной логической константой формулы.

Число строк в таблице истинности определяется по формуле 2n, где n – число различных пропозициональных переменных, входящих в формулу, а число 2 показывает кол-во возможных значений (и, л).

Формула, принимающая значение «истина» при любом наборе значений входящих в неё переменных, называется тождественно-истинной, или законом логики, или общезначимой.

Формула, принимающая значение «ложь» при любом наборе значений входящих в неё переменных, называется тождественно-ложной или противоречием

Формула, принимающая значение «истина» хотя бы при некоторых наборах значений переменных, называется выполнимой.


19. Способ построения таблиц истинности для формул логики высказываний.

Число строк в таблице истинности определяется по формуле 2n, где n – число различных пропозициональных переменных, входящих в формулу, а число 2 показывает кол-во возможных значений (и, л).

Всё кол-во строк делится на 2 и каждая часть заполняется “л” и “и” (если 2 переменные, то 4 строки, из них 2 будут “и”, вторые 2 будут “л” ). Для следующей переменной каждая половина строк для предыдущей переменной делится на 2 (будет “и л и л”) и т.д.

 

Белоснежные зубы за 1 вечер дома! Самый дешевый способ отбеливания! Смотри.

Дата добавления: 2015-01-05; просмотров: 22 | Нарушение авторских прав




lektsii.net - Лекции.Нет - 2014-2017 год. (0.007 сек.)