Полезное:
Как сделать разговор полезным и приятным
Как сделать объемную звезду своими руками
Как сделать то, что делать не хочется?
Как сделать погремушку
Как сделать так чтобы женщины сами знакомились с вами
Как сделать идею коммерческой
Как сделать хорошую растяжку ног?
Как сделать наш разум здоровым?
Как сделать, чтобы люди обманывали меньше
Вопрос 4. Как сделать так, чтобы вас уважали и ценили?
Как сделать лучше себе и другим людям
Как сделать свидание интересным?
Категории:
АрхитектураАстрономияБиологияГеографияГеологияИнформатикаИскусствоИсторияКулинарияКультураМаркетингМатематикаМедицинаМенеджментОхрана трудаПравоПроизводствоПсихологияРелигияСоциологияСпортТехникаФизикаФилософияХимияЭкологияЭкономикаЭлектроника
|
Пример. Пусть требуется обосновать выводимостьСтр 1 из 9Следующая ⇒
Пусть требуется обосновать выводимость , .
Таким образом: 1. , , по определению вывода на основе (1)-(13); х отмечена (выводимость обоснована не полностью, т.к. безотносительность отмеченная переменная имеет свободное вхождение
Пусть переменная А означает высказывание «Я сдам экзамен по логике», В- «Декан доволен мной», С – «Мама накормит меня прекрасным ужином», D - «На меня обратят внимание девушки», E – «Любимая футбольная команда выиграла матч». (A É (B É C)) ├ (B É (A É C))
Переведите на естественный язык следующие формулы логики высказываний. Если Я СДАМ ЭКЗАМЕН ПО ЛОГИКЕ, и, если ДЕКАН будет ДОВОЛЕН МНОЙ, то МАМА НАКОРМИТ МЕНЯ ПРЕКРАСНЫМ УЖИНОМ ├Если ДЕКАН оказался ДОВОЛЕН МНОй и если Я СДАЛ ЭКЗАМЕН ПО ЛОГИКЕ, то МАМА НАКОРМИла МЕНЯ ПРЕКРАСНЫМ УЖИНОМ)
Если я сдам экзамен по логике, то мир перевернется, или если мир перевернется, то я сдам экзамен по логике» = (A É B) Ú (B É A)
«Он обязательно полюбит меня, но навряд ли это произойдет, если он узнает о всех моих похождениях». = А & Ø (B É A) “Я сдам экзамен по логике, если и только если не буду пропускать занятия и научусь решать задачи» = A «(Ø B & С)
«Нечто утверждается либо отвергается; третьего не дано» = (А Ú Ø A) «Нельзя нечто утверждать и отвергать одновременно» = Ø (A & Ø A)
Правила введения и удаления дизъюнкции (В.Д.), (У.Д.):
Правила удаления импликации (У.И.): Правила введения и удаления эквивалентности (В.Э.), (У.Э.):
Правила введения и удаления двойного отрицания (В.О.), (У.О.):
|