Рекомендуемая категория для самостоятельной подготовки:
Контрольная работа*
| Код |
357394 |
| Дата создания |
04 июня 2013 |
| Страниц |
4
|
Мы сможем обработать ваш заказ (!) 2 мая в 12:00 [мск] Файлы будут доступны для скачивания только после обработки заказа.
|
Описание
3. Постройте таблицу истинности формулы и установите, является ли она логическим законом («¬» - знак отрицания ):
¬(А ^ В) ↔ (С → А)
4. Выразите в символической форме следующие суждения.
«Мы не считаем годы человека, пока у него можно считать что-нибудь другое» (Р. Эмерсон).
Если у слова нет определённого значения, тогда утрачена всякая возможность рассуждать друг с другом, и с самим собой. (Аристотель)
Если смотреть на людей радостными глазами, то даже ранее незнакомые люди станут относиться к тебе как близкие родственники. (Э.Х.Галшиев. Зерцало мудрости). ...
Содержание
3. Постройте таблицу истинности формулы и установите, является ли она логическим законом («¬» - знак отрицания ):
¬(А ^ В) ↔ (С → А)
4. Выразите в символической форме следующие суждения.
«Мы не считаем годы человека, пока у него можно считать что-нибудь другое» (Р. Эмерсон).
Если у слова нет определённого значения, тогда утрачена всякая возможность рассуждать друг с другом, и с самим собой. (Аристотель)
Если смотреть на людей радостными глазами, то даже ранее незнакомые люди станут относиться к тебе как близкие родственники. (Э.Х.Галшиев. Зерцало мудрости).
Введение
3. Постройте таблицу истинности формулы и установите, является ли она логическим законом («¬» - знак отрицания ):
¬(А ^ В) ↔ (С → А)
4. Выразите в символической форме следующие суждения.
«Мы не считаем годы человека, пока у него можно считать что-нибудь другое» (Р. Эмерсон).
Если у слова нет определённого значения, тогда утрачена всякая возможность рассуждать друг с другом, и с самим собой. (Аристотель)
Если смотреть на людей радостными глазами, то даже ранее незнакомые люди станут относиться к тебе как близкие родственники. (Э.Х.Галшиев. Зерцало мудрости).
Фрагмент работы для ознакомления
И
Л
Л
Л
Л
И
И
Л
Л
Л
И
Л
Л
Л
Л
Л
Л
И
Л
И
Л
И
Л
Данная формула не является логическим законом, поскольку она может принимать ложное значение. Формула является выполнимой, но не тождественно-истинной.
(А v В) → (¬С → (В v А))
В формуле 3 переменных, значит число строк в таблице 8.
А
В
С
(А v В)
→
(¬С
→
(В v А))
И
И
И
И
И
Л
И
И
И
И
Л
И
И
И
И
И
И
Л
И
И
И
Л
И
И
И
Л
Л
И
И
И
И
И
Л
И
И
И
И
Л
И
И
Л
И
Л
И
И
И
И
И
Л
Л
И
Л
И
Л
И
Л
Л
Л
Л
Л
И
И
Л
Л
Данная формула является логическим законом, поскольку она принимает истинное значение при любых значениях переменных.
(А → (В → С)) → ((А → В) → (А → С))
В формуле 3 переменных, значит число строк в таблице 8.
А
В
С
(А
→
(В→С))
→
((А→В)
→
(А→С))
И
И
И
И
И
И
И
И
И
И
И
И
Л
И
Л
Л
И
И
Л
Л
И
Л
И
И
И
И
Список литературы
-
Пожалуйста, внимательно изучайте содержание и фрагменты работы. Деньги за приобретённые готовые работы по причине несоответствия данной работы вашим требованиям или её уникальности не возвращаются.
* Категория работы носит оценочный характер в соответствии с качественными и количественными параметрами предоставляемого материала. Данный материал ни целиком, ни любая из его частей не является готовым научным трудом, выпускной квалификационной работой, научным докладом или иной работой, предусмотренной государственной системой научной аттестации или необходимой для прохождения промежуточной или итоговой аттестации. Данный материал представляет собой субъективный результат обработки, структурирования и форматирования собранной его автором информации и предназначен, прежде всего, для использования в качестве источника для самостоятельной подготовки работы указанной тематики.
Другие контрольные работы
bmt: 0.00352