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

Построение таблицы истинности

Читайте также:
  1. S4.11 Таблицы стоимости
  2. Автоформа создает форму, в которой отображаются все поля и записи выбранной таблицы или запроса.
  3. Б. Составьте предложения, используя подстановочные таблицы.
  4. В появившемся окне Добавление таблицы выделить имя таблицы “Студенты”®Добавить®Закрыть.
  5. Ввод данных в ячейки таблицы
  6. Вопрос 68 свойства истины, критерии истинности знания
  7. Деление окружности на равные части и построение правильных вписанных многоугольников

Построение таблицы истинности для суждений, в которые входят более двух переменных, строится по определенным правилам.

Пусть вам необходимо построить таблицу истинности для следующего суждения: (А → (В С)).

Для определения количества строк в таблице истинности воспользуемся следующей формулой: 23 = 8 строк, где 2 – логическая константа, так как любое суждение может быть либо истинным, либо ложным, третьего в двухзначной логике не дано.

Алгоритм распределения значений И и Л для переменных таков:

– в столбце для А сначала пишем 4 раза «И» и 4 раза «Л»;

– в столбце для В сначала пишем 2 раза «И» и 2 раза «Л», затем повторяем;

– в столбце для С поочередно, начиная со значения «И» чередуем значения.

 

Пример таблицы для сложного суждения (А → (В С)).

А В С (А → С))
И И И И И
И И Л Л Л
И Л И Л Л
И Л Л Л Л
Л И И И И
Л И Л И Л
Л Л И И Л
Л Л Л И Л

 

Порядок выполнения действий в данной таблице такой же, как
и в математике: вначале выполняются действия в скобках, а затем между скобками. В зависимости от распределения значений «истина» и «ложь» в результирующем столбце в логике различаются три вида формул: а) выполнимая формула – та, которая в результирующем столбце может принимать, по крайней мере, одно значение: «истина»; б) тождественно-ложная формула – та, которая соответственно принимает только значение «ложь»; в) тождественно-истинная (или логический закон) формула – та, которая в результирующем столбце принимает только значение «истина». Результирующим является столбец истины, который соответствует последнему выполняемому в ней действию.

Упражнение 11

С помощью простых суждений: а – «Я работаю в офисе», b – «Я люблю свою профессию», с – «Я учусь в университете» составьте высказывания, соответствующие следующим формулам:

1. a b c.

2. a b c.

3. c → (a b).

4. b → (a b).

5. ( a b) → c.

6. (ab) → (cb).

7. (ab) ac.

8. (a Ú b) → c.

9. c → (a b).

10. c b a

 

При решении данной задачи необходимо учитывать, что – логический термин – знак отрицания.

Пример: a b cЯ работаю в офисе, и я люблю свою профессию,
и я учусь в университете.

 


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


Читайте в этой же книге: ЛОГИКА И ЯЗЫК | ОТНОШЕНИЯ МЕЖДУ ПОНЯТИЯМИ | Упражнение 10 | Упражнение 14 | ПРОСТЫЕ СУЖДЕНИЯ | РАСПРЕДЕЛЕННОСТЬ ТЕРМИНОВ В СУЖДЕНИИ | МОДАЛЬНОСТЬ СУЖДЕНИЙ | Упражнение 14 | ПРОСТОЙ КАТЕГОРИЧЕСКИЙ СИЛЛОГИЗМ | Упражнение 11 |
<== предыдущая страница | следующая страница ==>
СЛОЖНЫЕ СУЖДЕНИЯ| Упражнение 12

mybiblioteka.su - 2015-2024 год. (0.006 сек.)