Студопедия

Главная страница Случайная лекция

Порталы:

БиологияВойнаГеографияИнформатикаИскусствоИсторияКультураЛингвистикаМатематикаМедицинаОхрана трудаПолитикаПравоПсихологияРелигияТехникаФизикаФилософияЭкономика






Интерпретация языка логики высказываний

Читайте также:
  1. I. ПРЕДМЕТ ЛОГИКИ
  2. IV. ОФИЦИАЛЬНО-ДЕЛОВОЙ СТИЛЬ СОВРЕМЕННОГО РУССКОГО ЯЗЫКА.
  3. Аксиоматическое исчисление высказываний
  4. ВВОДНЫЙ КУРС НЕМЕЦКОГО ЯЗЫКА
  5. Вопрос №3. Синтаксис языка 1С
  6. Геометрическая интерпретация задачи ЛП.
  7. Глава V ВНУТРЕННИЕ И ВНЕШНИЕ ЭЛЕМЕНТЫ ЯЗЫКА
  8. ДИАЛЕКТИКА КАК МЕТОДОЛОГИЧЕСКАЯ ОСНОВА ЛОГИКИ.
  9. Долгий путь развития английского языка
  10. ЕСТЕСТВЕННОИСТОРИЧЕСКИЕ АНАЛОГИИ К ИСТОРИИ ЯЗЫКА

Основной задачей логики высказываний является установление истинностного значения формулы, если даны истинностные значения входящих в неё переменных. Истинностное значение формулы в таком случае определяется индуктивно (с шагами, которые использовались при построении формулы) с использованием таблиц истинности связок.

Тождественно истинные формулы (тавтологии)

Формула является тождественно истинной, если она истинна при любых значениях входящих в неё переменных (то есть, при любой интерпретации). Вот несколько широко известных примеров тождественно истинных формул логики высказываний:

Законы де Моргана:

1) ;

2) ;

Закон контрапозиции:

;

Законы поглощения:

1) ;

2) ;

Законы дистрибутивности:

1) ;

2) .


<== предыдущая страница | следующая страница ==>
Классическое исчисление высказываний | Аксиоматическое исчисление высказываний

Дата добавления: 2014-11-08; просмотров: 481; Нарушение авторских прав


lektsiopedia.org - Лекциопедия - 2013 год. | Страница сгенерирована за: 0.006 сек.