Поиск

Полнотекстовый поиск:
Где искать:
везде
только в названии
только в тексте
Выводить:
описание
слова в тексте
только заголовок

Рекомендуем ознакомиться

'Документ'
по форме, предусмотренной Федеральным законом от 30.12.2004 года № 214-ФЗ “Об участии в долевом строительстве многоквартирных домов и иных объектов н...полностью>>
'Примерная программа'
В примерном учебном плане содержится перечень учебных предметов с указанием объемов времени, отводимых на освоение предметов, включая объемы времени,...полностью>>
'Книга'
Провозглашение республиками Средней Азии в конце 1991 г. государственного суверенитета завершило длительный этап сложнейших социально-политических и ...полностью>>
'Самостоятельная работа'
Рабочая программа составлена на основе Государственного образовательного стандарта ВПО РФ по специальности 350700 «Реклама» (2 г.), Образовательного с...полностью>>

Это повествовательное предложение, про которое можно определенно сказать истинно оно или ложно

Главная > Документ
Сохрани ссылку в одной из сетей:

Высказывание - это повествовательное предложение, про которое можно определенно сказать истинно оно или ложно.

Логические операции - мыслительные действия, результатом которых является изменение содержания или объема понятий, а также образование новых понятий.

Логическое выражение - устное утверждение или запись, в которое, наряду с постоянными величинами, обязательно входят переменные величины. В зависимости от значений этих переменных величин логическое выражение может принимать одно из двух возможных значений: истина (логическая 1) или ложь (логический 0).

Сложное логическое выражение - логическое выражение, состоящее из одного или нескольких логических выражений, соединенных с помощью логических операций.

Логические операции и таблицы истинности.

1) Логическое умножение или конъюнкция:

Конъюнкция - это сложное логическое выражение, которое считается истинным тогда и только тогда, когда оба простых выражения являются истинными, во всех остальных случаях данное сложеное выражение ложно.
Обозначение: F = A & B.

Таблица истинности для конъюнкции

A

B

F

1

1

1

1

0

0

0

1

0

0

0

0

2) Логическое сложение или дизъюнкция:

Дизъюнкция - это сложное логическое выражение, которое истинно, если хотя бы одно из простых логических выражений истинно и ложно тогда и только тогда, когда оба простых логических выраженныя ложны.
Обозначение: F = A + B.

Таблица истинности для дизъюнкции

A

B

F

1

1

1

1

0

1

0

1

1

0

0

0

3) Логическое отрицание или инверсия:

Инверсия - это сложное логическое выражение, если исходное логическое выражение истинно, то результат отрицания будет ложным, и наоборот, если исходное логическое выражение ложно, то результат отрицания будет истинным. Другими простыми слова, данная операция означает, что к исходному логическому выражению добавляется частица НЕ или слова НЕВЕРНО, ЧТО.

Таблица истинности для инверсии

A

Не А

1

0

0

1

4) Логическое следование или импликация:

Импликация - это сложное логическое выражение, которое истинно во всех случаях, кроме как из истины следует ложь. То есть данная логическая операция связывает два простых логических выражения, из которых первое является условием (А), а второе (В) является следствием.

Таблица истинности для импликации

A

B

F

1

1

1

1

0

0

0

1

1

0

0

1

5) Логическая равнозначность или эквивалентность:

Эквивалентность - это сложное логическое выражение, которое является истинным тогда и только тогда, когда оба простых логических выражения имеют одинаковую истинность.

Таблица истинности для эквивалентности

A

B

F

1

1

1

1

0

0

0

1

0

0

0

1

Порядок выполнения логических операций в сложном логическом выражении.

1. Инверсия;
2. Конъюнкция;
3. Дизъюнкция;
4. Импликация;
5. Эквивалентность.

Для изменения указанного порядка выполнения логических операций используются скобки.

Примеры.

1. Составим таблицу истинности для формулы , которая содержит две переменные x и y. В первых двух столбцах таблицы запишем четыре возможных пары значений этих переменных, в последующих столбцах — значения промежуточных формул и в последнем столбце — значение формулы. В результате получим таблицу:

Переменные

Промежуточные логические формулы

Формула

0

0

1

0

0

1

1

1

0

1

1

1

1

0

1

1

1

0

0

0

1

0

0

1

1

1

0

0

1

0

0

1

Из таблицы видно, что при всех наборах значений переменных x и y формула принимает значение 1, то есть является тождественно истинной.

2. Таблица истинности для формулы :

Переменные

Промежуточные логические формулы

Формула

0

0

0

1

1

0

0

0

1

1

0

0

0

0

1

0

1

0

1

1

0

1

1

1

0

0

0

0

Из таблицы видно, что при всех наборах значений переменных x и y формула принимает значение 0, то есть является тождественно ложной.

3. Таблица истинности для формулы :

Переменные

Промежуточные логические формулы

Формула

0

0

0

1

1

0

1

0

0

0

0

1

1

1

0

1

1

1

0

1

0

0

0

1

1

0

1

0

1

1

0

0

1

1

1

1

1

0

0

1

1

0

0

0

0

1

0

1

1

1

0

0

0

0

1

1

0

0

1

0

0

0

0

1

1

1

0

1

0

0

0

0

Из таблицы видно, что формула в некоторых случаях принимает значение 1, а в некоторых — 0, то есть является выполнимой.



Скачать документ

Похожие документы:

  1. Учебно-методический комплекс уфа 2009 удк 007 ббк 32. 81

    Учебно-методический комплекс
    Учебно-методический комплекс предназначен для студентов, обучающихся по специальности 032001 «Документоведение и документационное обеспечение управления».
  2. Пояснительная записка 1 Требования к содержанию учебной дисциплины из государственного образовательного стандарта государственный образовательный стандарт высшего профессионального образования

    Пояснительная записка
    Введение в дискретную математику; элементы теории множеств; векторная алгебра; матрицы; элементы функционального анализа; вероятность и статистика; теория вероятностей; статистическое оценивание и проверка гипотез; параметрические
  3. Ответы к билетам по курсу «Информатика и икт» для проведения экзамена в 9 классе (2010-2011 учебный год) Билет №1

    Документ
    Слово «информация» происходит от латинского слова informatio, что в переводе означает сведение, разъяснение, ознакомление. Понятие «информация» является базовым в курсе информатики, однако невозможно дать его определение через другие,
  4. Ложь с позиции информатики

    Документ
    Ложь - пропозициональная переменная, переменная для высказываний, из области значений котороя состоит из двух т. н. истинностных значений: "истина" и "ложь" Символы, употребляемые в качестве П.
  5. Печатается по изданию: Лотман Ю. М. Структура художественного текста // Лотман Ю. М. Об искусстве. Спб.: «Искусство спб», 1998. С. 14 285

    Документ
    На протяжении исторически зафиксированного существования человечества ему сопутствует искусство. Занятый производством, борющийся за сохранение своей жизни, почти всегда лишенный самого необходимого, человек неизменно находит время

Другие похожие документы..