Вопрос № 48988: Вопрос:
Укажите посылки и заключение в каждом из следующих умозаключений:
а) все грибы – растения, а все растения имеют корни. Значит, все грибы имеют корни;
б) некоторые животные – млекопитающие. Поскольку все млекопитающие теплокровные,...
Вопрос № 48.988
Вопрос:
Укажите посылки и заключение в каждом из следующих умозаключений:
а) все грибы – растения, а все растения имеют корни. Значит, все грибы имеют корни;
б) некоторые животные – млекопитающие. Поскольку все млекопитающие теплокровные, то некоторые животные являются теплокровными;
в) если закон всемирного тяготения верен, с его помощью можно открыть другие законы. Закон всемирного тяготения верен, поэтому с его помощью могут быть открыты другие законы;
г) события, происходящие в мире, необратимы. Вымирание птеродактилей было одним из событий всемирной истории. Значит, это событие также необратимо;
д) если камень – жидкость, он не имеет собственной пространственной формы. Но камень имеет такую форму. Следовательно, он – не жидкость.
Ответ:
а) верно
б) верно
в) верно
г) верно
д) верно
Отвечает: gitter
Здравствуйте, Терсков Алексей Николаевич!
1. a - грибы, b - растения, c - корни
известно, что a=>b (a-посылка b-заключение все грибы – растения) истина, b=>c (b-посылка c-заключение все растения имеют корни)тоже истинно
т.о. получаем a=>c (a-посылка c-заключение все грибы имеют корни) - истина (т.к. a=>b=>c)
ответ: верно
2. a - некоторые животные, b - млекопитающие, c - теплокровны
известно, что a=>b (a-посылка b-заключение) истина, b=>c (b-посылка c-заключение)тоже истинно
3. a - Законы всемирного тяготения b-с его помощью можно открыть другие законы
по условию a=>b (a-посылка b-заключение), b=>a (b-посылка a-заключение)
т.о. a<=>b (эквивалентны), т.е. верно
4. a - События, происходящие в мире, b необратимость, c - вымирание птеродактилей
по условию a=>b (a-посылка b-заключение), c=>a (c-посылка a-заключение)
т.о. c=>b (с-посылка b-заключение) (т.к. c=>a=>b), верно
5. a - камень, b - жидкость, c - иметь пространственную форму,
по условию если a=>b (a-посылка b-заключение) - верно, то a=>¬c (a-посылка c-заключение)
но, по условию, a=>c значит условие a=>b неверно т.е. камень - не жидкость
Ответ отправил: gitter (статус: Студент)
Ответ отправлен: 13.07.2006, 10:40 Оценка за ответ: 5 Комментарий оценки: Благодарен )
Отвечает: Татьяна
Здравствуйте, Терсков Алексей Николаевич!
Мне кажется алгебра высказываний тут не подойдет, необходима логика предикатов
а) определим предикаты
P(x) - х - гриб
Q(x) - x - растение
R(x) - x имеет корень
Получаем посылки Ax(P(x) -> Q(x)), Ax(Q(x) -> R(x))
Заключение Ax(P(x) -> R(x))
В принципе именно в этом примере кванторы не имеют принципиального значения, но в остальных встречается слово некоторые - т.е. квантор существования
Попробуйте кое-что сделать самостоятельно, но если будут вопросы - спрашивайте
--------- Возможно все. И ничего возможно тоже.
Ответ отправила: Татьяна (статус: Студент)
Ответ отправлен: 17.07.2006, 12:49 Оценка за ответ: 5