Студопедия

КАТЕГОРИИ:

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



Логические высказывания.




Читайте также:
  1. A) Морфологические, этологические, физиологические.
  2. A) экологические факторы
  3. I. Психофизиологические принципы
  4. II. Клинико-психологические классификации.
  5. V. СОВРЕМЕННЫЕ ПСИХОЛОГИЧЕСКИЕ ТЕОРИИ ЛИЧНОСТИ
  6. Абиотические экологические факторы.
  7. Авеста – священная книга зороастризма. Космогонические иэсхатологические представления в зороастризме.
  8. Адаптация (экологические и эволюционные аспекты). Акклимация.
  9. Адаптация персонала: формы, виды, социально- психологические проблемы
  10. Административная ответственность за экологические правонарушения.

Основные логические операции над высказываниями, их свойства

Определение 1. Высказыванием называется утверждение, о котором можно однозначно судить, истинно оно или ложно.

Высказывания будем обозначать большими латинскими буквами. Содержание высказывания будем записывать в кавычках или в круглых скобках.

Примеры.

A = «Дважды два – четыре»; B = (Сегодня первое октября)

Определение 2. Отрицанием (инверсией) данного высказывания называется высказывание , определяемое следующей таблицей истинности:

Определение 3. Дизъюнкцией (логической суммой) данных высказываний и называется высказывание , определяемое следующей таблицей истинности:

 

Определение4. Конъюнкцией (логическим произведением) данных высказываний и называется высказывание , определяемое следующей таблицей истинности:

 

Определение 5. Импликацией данных высказываний и называется высказывание , определяемое следующей таблицей истинности:

Определение 6. Эквиваленцией данных высказываний и называется высказывание , определяемое следующей таблицей истинности:

Пример. Составить таблицу истинности высказывания .

 

 

Пример. Установить, равносильны ли высказывания и .

Составим таблицу истинности этих высказываний.

 

A B C

Сравнивая значения высказываний и , убеждаемся в их равносильности.


Дата добавления: 2015-04-18; просмотров: 4; Нарушение авторских прав







lektsii.com - Лекции.Ком - 2014-2021 год. (0.009 сек.) Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав
Главная страница Случайная страница Контакты