Дискуссионный математический форумМатематический форум
Математический форум Math Help Planet

Обсуждение и решение задач по математике, физике, химии, экономике

Теоретический раздел
Часовой пояс: UTC + 3 часа [ Летнее время ]
новый онлайн-сервис
число, сумма и дата прописью

Часовой пояс: UTC + 3 часа [ Летнее время ]




Начать новую тему Ответить на тему  [ Сообщений: 2 ] 
Автор Сообщение
 Заголовок сообщения: Логика высказываний. Доказание клауз
СообщениеДобавлено: 04 дек 2017, 22:02 
Не в сети
Начинающий
Зарегистрирован:
04 дек 2017, 21:47
Сообщений: 1
Cпасибо сказано: 0
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Необходимо доказать клаузы:
- методом резолюций;
- методом "секвенций";
- при несовпадении результатов построить таблицу истинности.

Клаузы:
Изображение

Пожалуйста, объясните как надо решать такие задачи. Как можно подробнее, заранее огромное спасибо.

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Логика высказываний. Доказание клауз
СообщениеДобавлено: 04 дек 2017, 22:12 
Не в сети
Последняя инстанция
Зарегистрирован:
06 июн 2013, 16:17
Сообщений: 2590
Cпасибо сказано: 104
Спасибо получено:
746 раз в 701 сообщениях
Очков репутации: 158

Добавить очки репутацииУменьшить очки репутации
Почему вы предпочитаете читать на форуме, а не в учебнике?

Есть по крайней мере два исчисления, которые можно назвать исчислением секвенций (натуральный вывод и исчисление Генцена), и у каждого из них есть несколько вариантов.

Вернуться к началу
 Профиль  
Cпасибо сказано 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему      Страница 1 из 1 [ Сообщений: 2 ]

 Похожие темы   Автор   Ответы   Просмотры   Последнее сообщение 
Логика высказываний и Логика предикатов

в форуме Дискретная математика, Теория множеств и Логика

maksim-maksim

2

270

17 мар 2022, 20:06

Логика высказываний

в форуме Дискретная математика, Теория множеств и Логика

ArLenas

3

601

09 дек 2015, 23:19

Мат. логика. Логика высказываний

в форуме Дискретная математика, Теория множеств и Логика

Lucky721

14

1157

06 ноя 2014, 16:47

Логика высказываний. Построить вывод

в форуме Дискретная математика, Теория множеств и Логика

Lucky721

1

507

16 ноя 2014, 17:58

Исчисления высказываний

в форуме Дискретная математика, Теория множеств и Логика

fg43gq4

7

419

26 ноя 2016, 12:38

Алгебра высказываний

в форуме Дискретная математика, Теория множеств и Логика

kotesin

1

248

17 дек 2017, 19:51

Исчисление высказываний

в форуме Дискретная математика, Теория множеств и Логика

Veltare

1

333

30 ноя 2017, 12:19

Исчисление высказываний

в форуме Дискретная математика, Теория множеств и Логика

alexey228

0

146

02 июн 2020, 10:35

Исчисление высказываний

в форуме Дискретная математика, Теория множеств и Логика

Stasya7

5

549

30 май 2015, 20:13

Исчисление высказываний

в форуме Дискретная математика, Теория множеств и Логика

Fozar

0

318

14 янв 2016, 22:49


Часовой пояс: UTC + 3 часа [ Летнее время ]



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 27


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Перейти:  

Яндекс.Метрика

Copyright © 2010-2023 MathHelpPlanet.com. All rights reserved