11.12.2017, 18:18 [+3 UTC]
в нашей команде: 2 371 чел. | участники онлайн: 10 (рекорд: 21)

:: РЕГИСТРАЦИЯ

:: консультации

:: задать вопрос

:: все разделы

:: правила

:: новости

:: участники

:: доска почёта

:: форум

:: блоги

:: поиск

:: статистика

:: наш журнал

:: наши встречи

:: наша галерея

:: отзывы о нас

:: поддержка

:: руководство

Версия системы:
7.41 (25.02.2017)

Общие новости:
23.02.2017, 09:51

Форум:
11.12.2017, 18:06

Последний вопрос:
11.12.2017, 16:15

Последний ответ:
11.12.2017, 17:33

Последняя рассылка:
11.12.2017, 17:45

Писем в очереди:
0

Мы в соцсетях:

Наша кнопка:

RFpro.ru - здесь вам помогут!

Отзывы о нас:
04.04.2010, 20:04 »
Киселев Сергей
F®ost Вам тоже отлично. [вопрос № 177664, ответ № 260599]
13.11.2009, 17:14 »
Dimon4ik
Спасибо, буду учить! Вы мне очень помогли сложить кубик. [вопрос № 174150, ответ № 256453]
19.11.2010, 13:05 »
Ольга Андреева
Спасибо. Посмотрела по ссылке, действительно была такая проблема. Базы антивируса у меня обновляются автоматически, но все равно срабатывают на этот файл. Буду пробовать восстанавливать файл. [вопрос № 180852, ответ № 264197]

РАЗДЕЛ • Математика

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

[администратор рассылки: Лысков Игорь Витальевич (Старший модератор)]

Лучшие эксперты в этом разделе

Гордиенко Андрей Владимирович
Статус: Модератор
Рейтинг: 5621
Михаил Александров
Статус: Практикант
Рейтинг: 1715
Елена Васильевна
Статус: Бакалавр
Рейтинг: 620

Перейти к консультации №:
 

Консультация онлайн # 192019
Раздел: • Математика
Автор вопроса: Zloe Zlo (Посетитель)
Отправлена: 06.12.2017, 17:16
Поступило ответов: 1

Здравствуйте, уважаемые эксперты! Прошу вас ответить на следующий вопрос:

Записать следующее высказывание в виде формул логики высказываний, используя логические переменные для обозначения элементарных высказываний, т.е. таких, которые уже не могут быть построены с помощью каких-либо других высказываний. Для полученной формулы логики высказывания составить таблицу истинности:


Неверно, что и Петров, и Иванов не имеют алиби; значит, хотя бы один из
них не преступник.

Состояние: Консультация закрыта

Здравствуйте, Zloe Zlo!

Обозначим элементарные высказывания так:
a -- Петров не имеет алиби;
b -- Иванов не имеет алиби.

Фраза "хотя бы один из них не преступник" на обычном языке означает, что или Петров имеет алиби, или Иванов имеет алиби, или оба имеют алиби. Слово "значит" указывает на причинно-следственную связь. Поэтому заданное высказывание можно записать так:

¬(a ∧ b) → (¬a ∨ ¬b).

Таблица истинности для этой формулы показана ниже.

a b ¬a ¬b a ∧ b ¬(a ∧ b) ¬a ∨ ¬b ¬(a ∧ b) → (¬a ∨ ¬b)
0 0 1 1 0 1 1 1
0 1 1 0 0 1 1 1
1 0 0 1 0 1 1 1
1 1 0 0 1 0 0 1


Консультировал: Гордиенко Андрей Владимирович (Модератор)
Дата отправки: 08.12.2017, 10:50

5
нет комментария
-----
Дата оценки: 08.12.2017, 13:27

Рейтинг ответа:

0

[подробно]

Сообщение
модераторам

Отправлять сообщения
модераторам могут
только участники портала.
ВОЙТИ НА ПОРТАЛ »
регистрация »

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

Яндекс Rambler's Top100

главная страница | поддержка | задать вопрос

Время генерирования страницы: 0.16651 сек.

© 2001-2017, Портал RFPRO.RU, Россия
Авторское право: ООО "Мастер-Эксперт Про"
Калашников О.А.  |  Гладенюк А.Г.
Версия системы: 7.41 от 25.02.2017
Бесплатные консультации онлайн