Форум программистов, компьютерный форум, киберфорум
Наши страницы

Мат. логика и множества

Войти
Регистрация
Восстановить пароль
 
Viktorija01
0 / 0 / 0
Регистрация: 08.03.2016
Сообщений: 3
#1

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

08.03.2016, 18:59. Просмотров 196. Ответов 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\Rightarrow (G \Rightarrow H),(H \wedge K)\Rightarrow L,\bar{M} \Rightarrow (K \wedge...

Проверить правильность умозаключений методом от противного - Логика и множества
Здравствуйте! Помогите, пожалуйста с задачей. Проверить правильность умозаключений методом от противного: Четырехугольник является...

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

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

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

Доказательство от противного - Логика и множества
Доказать что (A \ (A \ B)) \ (A пересекает B) = пустое множество,методом от противного?

2
3D Homer
1375 / 897 / 301
Регистрация: 01.09.2014
Сообщений: 2,160
08.03.2016, 22:45 #2
У меня два вопроса и замечание.

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

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

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

Основные равносильности - Логика и множества
Упростить используя основные равносильности:cry:

Равносильности формул - Логика и множества
Помогите выполнить равносильные преобразования: 1. Применяя равносильные преобразования, приведите следующие формулы к возможно более...

Доказательство равносильности формул. - Логика и множества
Здравствуйте!!! У меня в задании необходимо доказать равносильность выражений(2-х частей) с помощью таблицы истинности. И у меня не...

проверить имеют ли место равносильности - Логика и множества
помогите решить :cry: х→(yᵥz)=(x→y)ᵥ(x→z)


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

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

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