2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Задачи по логике
Сообщение06.12.2009, 03:24 
Люди добрые, помогите глупому человеку решить несколько задач по логике. Больше половины осилил, а вот эти никак не могу решить.

1. Найдите и обозначьте в суждении субъект, предикат, связку, установите его количество и качество, придайте суждению стандартную форму одного из четырёх типов SaP, SeP, SiP, SoP. Определите распределенность терминов:
Лень никогда не приводит к добру.

2. Определите тип суждения (А, Е, I, О). Сформулируйте стандартную форму этого суждения и остальных суждений с теми же субъектом и предикатом по логическому квадрату. Считая данное суждение истинным, что вы можете сказать об истинности других суждений с теми же субъектом и предикатом.
Ни один студент нашей группы не знает французского языка.

3. Сформулируйте отрицание данного суждения (противоречащее суждение по логическому квадрату):
Видение проблемы – половина пути к истине

4. Переведите на символический язык сложное суждение:
Если вообще ставить цель преодолеть враждебность между людьми, то другого пути, чем путь любви не существует.

5. Произведите двойное отрицание данного суждения, используя законы Де-Моргана:
Монтескье скуп или щедр.

Зарание спасибо.

 
 
 
 Re: Задачи по логике
Сообщение06.12.2009, 22:23 
Интересно: "более половины" осилили, а нумерация заданий - от 1 до 5...
koctuk09 в сообщении #268343 писал(а):
1. Найдите и обозначьте в суждении субъект, предикат, связку, установите его количество и качество, придайте суждению стандартную форму одного из четырёх типов SaP, SeP, SiP, SoP. Определите распределенность терминов:
Лень никогда не приводит к добру.

Отнесем его к типу SeP, количественно - общее, качественно - отрицающее. Субъект - "лень" (распределен (всякая лень), т.к не сказано о частичности), предикат - "добро" (распределен словом "никогда"), связка - "не приводит к" (она устанавливает отношения между субъектом и предиктом).
koctuk09 в сообщении #268343 писал(а):
2. Определите тип суждения (А, Е, I, О). Сформулируйте стандартную форму этого суждения и остальных суждений с теми же субъектом и предикатом по логическому квадрату. Считая данное суждение истинным, что вы можете сказать об истинности других суждений с теми же субъектом и предикатом.
Ни один студент нашей группы не знает французского языка.

Стандартная форма, тип О: "студенты нашей группы не знают фр.яз."
Преобразования:
в тип А: "все студенты нашей гр. знают фр. яз."
в тип Е: "все студенты нашей гр. не знают фр. яз."
в тип I: "некоторые студенты нашей группы знают фр. яз."
в тип О: "не все студенты нашей группы знают фр.яз.", "не все студенты нашей группы не знают фр.яз."
koctuk09 в сообщении #268343 писал(а):
3. Сформулируйте отрицание данного суждения (противоречащее суждение по логическому квадрату):
Видение проблемы – половина пути к истине

"Видение проблемы – не путь к истине" (противоречие - полное отрицание сказанного).
koctuk09 в сообщении #268343 писал(а):
4. Переведите на символический язык сложное суждение:
Если вообще ставить цель преодолеть враждебность между людьми, то другого пути, чем путь любви не существует.

Если (есть враждебность и есть цель преодолеть её ) то -> (путь любви) -> (преодоление враждебности)
(В и Ц) -> (Л) -> (не В).
koctuk09 в сообщении #268343 писал(а):
5. Произведите двойное отрицание данного суждения, используя законы Де-Моргана:
Монтескье скуп или щедр.

Если в задании подразумевается отрицание двух признаков, то :
Не ("Монтескье скуп или щедр") = "Монтескье не скуп И не щедр".
Иногда под двойным отрицанием понимается возврат к исходному суждению, то есть еще раз отрицаем: Не ( "Монтескье не скуп И не щедр") = "Монтескье скуп или щедр".

Без претензий на абсолютную истину.

 
 
 
 Re: Задачи по логике
Сообщение07.12.2009, 09:14 
Аватара пользователя
 !  Архипов,
2 месяца на осознание того, что на этом форуме запрещено выкладывать решения учебных задач.

 
 
 [ Сообщений: 3 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group