вторник, 12 октября 2010
14:35

Математическая логика

все записи пользователя в сообществе Alina5
Помогите, пожалуйста, решить задачу!!!

Проверить корректность рассуждения:

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


Заранее большое спасибо!!!

@темы: Математическая логика

URL
Комментарии
12.10.2010 в 14:39

Robot
Я одна, но всё же я есть. Я не могу сделать всё, но всё же могу сделать что-то. И я не откажусь сделать то немногое, что могу (c)
Вам надо выделить элементарные высказывания, обозначить их переменными, записать ваши утверждения в виде формул логики высказываний, проверить следует ли логически из посылок заключение
Для последнего существует несколько способов
URL
12.10.2010 в 14:45

Robot
Я одна, но всё же я есть. Я не могу сделать всё, но всё же могу сделать что-то. И я не откажусь сделать то немногое, что могу (c)
Литература по математической логике и теории алгоритмов
я думаю, что практически в каждой книге есть определение и теоремы, связанные с логическим следованием
Как один из способов можно посмотреть у Никольской -- сокращенный способ проверки аргументов
==
UPD
Нашла вот такой топик
eek.diary.ru/p62571058.htm
URL
12.10.2010 в 17:50

Alina5
У меня получилось так:

А-психическое явление
В-физиологическое явление
С-внешнее воздействие

(А&В) -> C => (неА & не В) -> не С

правильно или нет?
А вот как дальше делать я не понимаю, например методом от противного.... помогите...
URL
12.10.2010 в 17:57

Robot
Я одна, но всё же я есть. Я не могу сделать всё, но всё же могу сделать что-то. И я не откажусь сделать то немногое, что могу (c)
Вы почитали хоть что-нибудь из того, что я рекомендовала?
Ваше рассуждение есть набор посылок, заканчивающихся заключением
Запишите сначала ( и приведите здесь) каждую посылку отдельно (каждое предложение)
URL
12.10.2010 в 18:05

Alina5
А -> C
C -> B
(A или C) ->B
показать (не A& не B)-> не C
не A& не B = не (A или B)
(A или B) -> C не равно (не (A или B)) ->C
URL
12.10.2010 в 18:11

Robot
Я одна, но всё же я есть. Я не могу сделать всё, но всё же могу сделать что-то. И я не откажусь сделать то немногое, что могу (c)
Alina5
Это Вы переписали то, что изложил Вам кто-то на форуме www.webmath.ru/forum/index.php?topic=5303.0
Это не дело!
И записываете Вы это , не понимая.

Я же прошу Вас совершенно о другом
Запишите сначала ( и приведите здесь) каждую посылку отдельно (каждое предложение)


И прочтите же наконец, то, что я рекомендовала.
Там есть и примеры
Иначе наш разговор не получится
URL