Логика!!! Помогите решить задачи!

[Katia]

Вот 3 задачи:

1. Определить правильность ограничения следующих имен: Республика - Область - Рай-он. Город - Город Беларуси - Город Гомельской области - Речица. Сутки - День - Утро. Маши-на - Трактор - Трактор МТЗ-80. Полк - Батальон - Рота - Взвод - Отделение. Офицер - Майор - Сержант.

2. Записать следующие сложные высказывания в символической форме: Если четырех-угольник - параллелограмм, а не ромб, то его диагонали не взаимно перпендикулярны. "Трус и лентяй не только не завидуют лаврам Ахилла или Гомера, но даже пренебрегают ими" (Гельвеций). Дождь то начинал хлестать теплыми каплями, то переставал.

3. Опровергнуть приведенные ниже тезисы и аргументы: Пьер Леже - веселый, остроум-ный человек, так как он француз, а все французы - веселы и остроумны. На Марсе есть ра-зумная жизнь. Если войны - результат агрессивных наклонностей человека, то они неизбеж-ны, так как человек по своей природе агрессивен.

Помогите их решить.
Кто откликнется, ВСЕМ СПАСИБО ОГРОМНОЕ!

[Архипов]

Даю предположительные версии, не боясь ошибок

Katia в сообщении #246333 писал(а):

1. Определить правильность ограничения следующих имен: Республика - Область - Рай-он. Город - Город Беларуси - Город Гомельской области - Речица. Сутки - День - Утро. Маши-на - Трактор - Трактор МТЗ-80. Полк - Батальон - Рота - Взвод - Отделение. Офицер - Майор - Сержант.

Удобно ограничивать скобками (вместо кругов).

Располагаем имена в порядке подчинения (слева направо):
*Республика ( Область( Рай-он)).
*Город ( Город Беларуси (Город Гомельской области ( Речица))).
*Машина (Трактор ( Трактор МТЗ-80))
*Полк(Батальон (Рота( Взвод(Отделение)))).

Располагаем подчиненные, но равноправные между собой, имена (части суток) через запятую:
*Сутки ( День , Утро)
*Офицер (Майор, Сержант)
либо
*Офицер (Майор), Сержант.
Не однозначно разграничено, так как в задаче нет определения понятия "Офицер" и мы произвольно определили (либо оба - офицеры, либо к офицерам отнесли только майора).

Katia в сообщении #246333 писал(а):

2. Записать следующие сложные высказывания в символической форме: Если четырех-угольник - параллелограмм, а не ромб, то его диагонали не взаимно перпендикулярны. "Трус и лентяй не только не завидуют лаврам Ахилла или Гомера, но даже пренебрегают ими" (Гельвеций). Дождь то начинал хлестать теплыми каплями, то переставал.

*Если ((Ч=П) и (Ч=не Р), то Д=неПар.
*(Т и Л )= (не Зл (А или Г) и Пр.л (А или Г)
*Д (Нач либо Пер)
*Нач=Д , Пер=неД
Символы сами напишите (вместо союзов И(знак конъюнкции), ИЛИ (знак дизъюнкции), ЛИБО(знак строгой дизъюнкции), вместо частицы НЕ (знак "минус" или отрицания). "ЕСЛИ" можно не писать, тогда вместо ТО начертить стрелку вправо. Я обозначил переменные начальными буквами, но можно писать их целыми словами. Последнее высказывание я понял так: дождь имеет два несовместимых признака - начало и конец, но можно понять и так: начало равно дождю, перестал равно не дождю.

Katia в сообщении #246333 писал(а):

3. Опровергнуть приведенные ниже тезисы и аргументы: Пьер Леже - веселый, остроум-ный человек, так как он француз, а все французы - веселы и остроумны. На Марсе есть ра-зумная жизнь. Если войны - результат агрессивных наклонностей человека, то они неизбеж-ны, так как человек по своей природе агрессивен.

Опровержение - высказывание с частицей НЕ, либо убираем её из текста (двойное отрицание).
* Пьер Леже - НЕ веселый И НЕ остроум-ный человек, так как он француз, а все французы - НЕ веселы и НЕ остроумны.
*На Марсе НЕ есть разумная жизнь.
*Если войны - результат агрессивных наклонностей человека, то они избеж-ны, так как человек по своей природе НЕ агрессивен.

[Katia]

Спасибочки! очень-очень благодарна.

[ewert]

Архипов в сообщении #246340 писал(а):

Katia в сообщении #246333 писал(а):

3. Опровергнуть приведенные ниже тезисы и аргументы: Пьер Леже - веселый, остроум-ный человек, так как он француз, а все французы - веселы и остроумны.

Опровержение - высказывание с частицей НЕ, либо убираем её из текста (двойное отрицание).
* Пьер Леже - НЕ веселый И НЕ остроум-ный человек, так как он француз, а все французы - НЕ веселы и НЕ остроумны.

Ничего себе отрицание.

Исходная формулировка означает: "(Пьер Леже француз) И (все французы шаловливы) СЛЕДОВАТЕЛЬНО (Пьер Леже шаловлив)".

Т.е.: "НЕ ((Пьер Леже француз) И (все французы шаловливы)) ИЛИ (Пьер Леже шаловлив)".

Отрицание: "((Пьер Леже француз) И (все французы шаловливы)) И НЕ (Пьер Леже шаловлив)".

Т.е.: "Пьер Леже француз, а все французы шаловливы, однако же Пьер Леже -- не шаловлив".

В развёрнутом виде: "Пьер Леже француз, а все французы веселы и остроумны, однако же Пьер Леже -- невесел или неостроумен".

-------------------------------------------------------------------
Выяснить бы ещё, что понималось под "опровергнуть"...

[Архипов]

ewert в сообщении #246601 писал(а):

Выяснить бы ещё, что понималось под "опровергнуть"...

Посмотрел в нескольких источниках определение логической операции опровержения.
Результаты опровержения :
*либо антитезис (противоположное утверждение, для выражения которого необходима частица НЕ (либо убрать частицу НЕ, если она есть) при сказуемом (предикате) в исходном утверждении
*либо разрушение исходного утверждения, доказав его ничтожность (не выдвигая антитезиса).
В задании требуется "опровергнуть приведенные ниже тезисы и аргументы". Как я понял - требуется косвенно либо прямо опровергнуть тезисы и правильно оформить опровержения (антитезисы). Опровержения получатся учебными по смыслу ( нас не заботит реалистичность тезисов и антитетизов), но правильными по форме.
Видим, что первый и третий тезисы логически правильно аргументированы. Чтобы опровергнуть эти тезисы, нужно опровергнуть аргументы, то есть вставить частицу НЕ в аргументах, тогда автоматически можно вставить НЕ в первый, убрать НЕ из третьего тезиса и получить антитезисы (косвенные опровержения).
Во втором утверждении нет аргументов, тогда просто в тезис вставляем частицу НЕ (прямое опровержение).

Цитата:

В развёрнутом виде: "Пьер Леже француз, а все французы веселы и остроумны, однако же Пьер Леже -- невесел или неостроумен".

Это - пример прямого опровержения.
Не опровергая аргументов (посылок, суждений, фактов, аксиом), опровергается правильный вывод "следовательно - Пьер Леже весел и остоумен".
Иначе говоря, утверждается: "Я лично знаю этого Пьера Леже и НЕ вижу в нем признаков веселости ИЛИ остроумия" (по правилам формальной логики, вставив НЕ, заменили союз И на союз ИЛИ).
*** В обоих примерах выполнено требование задачи: сформулировано опровержение исходного тезиса.
Присоединяюсь к недоумению : "Знать бы что такое "опровержение"". Если задание учебное, то и опровержение учебное (формальное, не действительное).

[Katia]

Я не знаю, учусь на заочном отделении и нам особо ничего не объясняют.

Спасибо вам за решения.