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

Выясните, верны ли логические следования

05.01.2018, 13:04. Просмотров 600. Ответов 6
Метки нет (Все метки)

Выясните , верны ли логические следования
https://www.cyberforum.ru/cgi-bin/latex.cgi?\inline (Z\rightarrow T,T\rightarrow \bar{Y},X\rightarrow (Y\vee Z))|-X\rightarrow Y
0
Programming
Эксперт
94731 / 64177 / 26122
Регистрация: 12.04.2006
Сообщений: 116,782
05.01.2018, 13:04
Ответы с готовыми решениями:

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

Методом от противного выяснить, верны ли следующие логические следования
методом от противного выясните верны ли следующие логические следования F \Rightarrow G, ((F \vee...

Методом от противного выясните, верны ли следующие равносильности
Методом от противного выясните, верны ли следующие равносильности: (F^G)->H, (H^K)->∟, ...

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

6
Эксперт по математике/физике
3118 / 2187 / 719
Регистрация: 01.09.2014
Сообщений: 5,824
05.01.2018, 18:20 2
Что вы имеете в виду под логическим следованием?
0
0 / 0 / 0
Регистрация: 05.01.2018
Сообщений: 3
05.01.2018, 21:09  [ТС] 3
Т е логичность каждого выражения, из 1го следует 2е и тд
0
Эксперт по математике/физике
3118 / 2187 / 719
Регистрация: 01.09.2014
Сообщений: 5,824
05.01.2018, 21:17 4
Если вы можете привести точное определение, то и проверяйте по определению. Если не можете, то нужно начать с поиска определения. "Логичность" — это не точное математическое понятие. Напишите конкретно, что непонятно.
0
1885 / 1467 / 172
Регистрация: 16.06.2012
Сообщений: 3,334
05.01.2018, 22:47 5
Цитата Сообщение от buffon49 Посмотреть сообщение
из 1го следует 2е
А что это означает по определению?
0
0 / 0 / 0
Регистрация: 05.01.2018
Сообщений: 3
06.01.2018, 00:10  [ТС] 6
Мне знакомо другое определение : [del] - человек, незнающий решения, но ввиду своего ЧСВ желающий написать под каждым постом.
0
1885 / 1467 / 172
Регистрация: 16.06.2012
Сообщений: 3,334
08.01.2018, 21:57 7
А зачем писать тут решение, если задача типовая?
0
IT_Exp
Эксперт
87844 / 49110 / 22898
Регистрация: 17.06.2006
Сообщений: 92,604
08.01.2018, 21:57

Заказываю контрольные, курсовые, дипломные и любые другие студенческие работы здесь.

Задание: записать логические выражения, используя условные операто- ры, операции отношений и логические операц
Задание: записать логические выражения, используя условные операторы, операции отношений и...

Записать логические выражения, используя условные операторы, операции отношений и логические операции.
Нужно: Текст программы (включая подробные комментарии) Блок-схему алгоритма ...

Записать логические выражения, используя условные операторы, операции отношений и логические операции

Записать логические выражения, используя условные операторы, операции отношений и логические операции
Записать логические выражения, используя условные операторы, операции отношений и логические...


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

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

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