Форум программистов, компьютерный форум, киберфорум
Мат. логика и множества
Войти
Регистрация
Восстановить пароль
Блоги Сообщество Поиск Заказать работу  
 
Рейтинг 4.67/6: Рейтинг темы: голосов - 6, средняя оценка - 4.67
 Аватар для partizanka=)
0 / 0 / 0
Регистрация: 20.10.2010
Сообщений: 22

Проверить, что рассуждение логически не правильное

01.12.2010, 21:15. Показов 1271. Ответов 4
Метки нет (Все метки)

Студворк — интернет-сервис помощи студентам
Этот человек студент или предприниматель. Он студент, следовательно он не предприниматель.
0
Programming
Эксперт
39485 / 9562 / 3019
Регистрация: 12.04.2006
Сообщений: 41,671
Блог
01.12.2010, 21:15
Ответы с готовыми решениями:

Правильное ли рассуждение о смельчаке
Помогите разобраться в задаче. Является ли рассуждение правильным. Каждый смельчак способен на это. Я на это не способен. Значит я не...

Логически правильное наследование исключений
Как логически правильно наследовать исключения? Пока не сталкивался с необходимостью наследовать исключения, но все же бывает в первый раз,...

Доказать, что не логически истинно
доказать,что не является логически истинным надо привести пример предикатов \varphi (x),\psi (x),при которых указанное выражение-ложно. ...

4
9 / 9 / 0
Регистрация: 12.12.2010
Сообщений: 54
12.12.2010, 18:58
AvB <-> A-> ⌐B .нужно составить таблицу истинности
1
заставил Бендера
 Аватар для IIIa66uMEM6eP
854 / 319 / 17
Регистрация: 05.12.2010
Сообщений: 1,707
Записей в блоге: 6
13.12.2010, 01:07
могу поделится программой для построения таблиц истинности. тут правда маленькая(таблица) но на больших выражениях полезно
0
 Аватар для kazak
3604 / 2744 / 356
Регистрация: 11.03.2009
Сообщений: 6,307
13.12.2010, 03:23
А можно просто упростить выражение и получить "исключающее или"
0
9 / 9 / 0
Регистрация: 12.12.2010
Сообщений: 54
13.12.2010, 18:18
Если правильно все составила, то после построения таблицы истинности в конце, вроде, везде лож должна получится.
0
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
inter-admin
Эксперт
29715 / 6470 / 2152
Регистрация: 06.03.2009
Сообщений: 28,500
Блог
13.12.2010, 18:18
Помогаю со студенческими работами здесь

Доказать, что формула логически истинна
Доказать,что формула логически истинна \forall x(\varphi (x)\leftrightarrow \psi (x))\rightarrow (\exist x \varphi (x)\leftrightarrow...

Доказать, что формула не является логически истинной
помогите.у меня получается тождественно истинна вот так у меня вот крупнее

Рекурсивная функция, логически проверяющая, что массив упорядочен по возрастанию
Здравствуйте) Помогите, пожалуйста) Написать рекурсивную логическую функцию, которая проверяет что массив который передается в функцию...

Проверить правильное написание IP
Пытаюсь проверить верное написание IP, нужно из строки взять четыре числа и проверить их на 0&lt;=x&lt;=255. допустим что-то типа примера,...

Не работает алгоритм обхода графа в глубину. Логически вроде всё верно, не могу допереть что не так
#include &lt;stdio.h&gt; #include &lt;stdlib.h&gt; int i,j; void read(int ***mat,int *n); void dfs(int ***mat,int *n,int start); int...


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

Или воспользуйтесь поиском по форуму:
5
Ответ Создать тему
Новые блоги и статьи
AkelPad-скрипты, структуры, и немного лирики..
testuser2 05.04.2026
Такая программа, как AkelPad существует уже давно, и также давно существуют скрипты под нее. Тем не менее, прога живет, периодически что-то не спеша дополняется, улучшается. Что меня в первую очередь. . .
Отображение реквизитов в документе по условию и контроль их заполнения
Maks 04.04.2026
Алгоритм из решения ниже реализован на примере нетипового документа "ПланированиеСпецтехники", разработанного в конфигурации КА2. Данный документ берёт данные из другого нетипового документа. . .
Фото всей Земли с борта корабля Orion миссии Artemis II
kumehtar 04.04.2026
Это первое подобное фото сделанное человеком за 50 лет. Снимок называют новым вариантом легендарной фотографии «The Blue Marble» 1972 года, сделанной с борта корабля «Аполлон-17». Новое фото. . .
Вывод диалогового окна перед закрытием, если документ не проведён
Maks 04.04.2026
Алгоритм из решения ниже реализован на примере нетипового документа "СписаниеМатериалов", разработанного в конфигурации КА2. Задача: реализовать программный контроль на предмет проведения документа. . .
Программный контроль заполнения реквизитов табличной части документа
Maks 02.04.2026
Алгоритм из решения ниже реализован на примере нетипового документа "СписаниеМатериалов", разработанного в конфигурации КА2. Задача: 1. Реализовать контроль заполнения реквизита. . .
wmic не является внутренней или внешней командой
Maks 02.04.2026
Решение: DISM / Online / Add-Capability / CapabilityName:WMIC~~~~ Отсюда: https:/ / winitpro. ru/ index. php/ 2025/ 02/ 14/ komanda-wmic-ne-naydena/
Программная установка даты и запрет ее изменения
Maks 02.04.2026
Алгоритм из решения ниже реализован на примере нетипового документа "СписаниеМатериалов", разработанного в конфигурации КА2. Задача: при создании документов установить период списания автоматически. . .
Вывод данных в справочнике через динамический список
Maks 01.04.2026
Реализация из решения ниже выполнена на примере нетипового справочника "Спецтехника" разработанного в конфигурации КА2. Задача: вывести данные из ТЧ нетипового документа. . .
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2026, CyberForum.ru