Форум программистов, компьютерный форум, киберфорум
Наши страницы
Мат. логика и множества
Войти
Регистрация
Восстановить пароль
 
Viktorija01
0 / 0 / 0
Регистрация: 08.03.2016
Сообщений: 3
1

Методом от противного выясните, верны ли следующие равносильности

08.03.2016, 18:59. Просмотров 274. Ответов 2
Метки нет (Все метки)

Методом от противного выясните, верны ли следующие равносильности:
(F^G)->H, (H^K)->∟, ┐M->(K^∟)|= (F^G)->M
0
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
08.03.2016, 18:59
Ответы с готовыми решениями:

Методом от противного выяснить, верны ли следующие логические следования
Имеются следующие логические следования: F → G, ((F ∨ L) ∧ H) → M, L → H ⊧ ((F ∨ L) ∧ G) → ¬M; ...

Выясните, верны ли логические следования
Выясните , верны ли логические следования \inline (Z\rightarrow T,T\rightarrow...

Проверить, верны ли следующие следствия
Проверить, верны ли следующие следствия: F\Rightarrow (G \Rightarrow H),(H \wedge K)\Rightarrow...

Проверить, верны ли следующие следствия
Нужно сделать задание под номером 9

Проверить правильность умозаключений методом от противного
Здравствуйте! Помогите, пожалуйста с задачей. Проверить правильность умозаключений методом от...

2
3D Homer
1699 / 1127 / 377
Регистрация: 01.09.2014
Сообщений: 2,794
08.03.2016, 22:45 2
У меня два вопроса и замечание.

(1) Что такое (H^K)->∟?

(2) Где вы видите равносильность?

(3) Вы неправильно просите помощь. Надо не пытаться найти людей, которые сделают работу за вас, а выяснять то, что мешает вам выполнить работу самостоятельно.
0
Ellipsoid
1865 / 1450 / 168
Регистрация: 16.06.2012
Сообщений: 3,307
09.03.2016, 13:54 3
Тут логическое следование нужно доказать. Начать нужно с опрелеления, тогда будет ясно, как доказывать от противного.
0
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
09.03.2016, 13:54

Выясните равносильны ли следующие предикаты, если их последовательность рассматривать сначала над множеством
Выясните равносильны ли следующие предикаты,если их последовательность рассматривать сначала над...

Методом от противного выяснить
Методом от противного выяснить верно ли логическое следование F\rightarrow G,K\rightarrow L,FVK |=...

Какие из вызовов верны и не верны
Var k,m,n:integer; a,b,c:real; procedure p(i:integer;var j:integer; x:real; var y : real); begin...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
3
Ответ Создать тему
Опции темы

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2018, vBulletin Solutions, Inc.
Рейтинг@Mail.ru