Question

Помогите пожалуйста с заданием по логике! Предварительно переведя в символы приведенные ниже выражения естественного языка, установите, какие из них имеют одинаковую логическую форму: Ни один студент нашей группы не имеет академической задолженности. Среди преподавателей есть женщины. Все адвокаты - юристы. Любой экономический объект связан с собственностью. Не все грибы являются съедобными. Каждый человек имеет право на труд. Некоторые студенты не являются отличниками.

Answer 1

Ответ:

логику ты мне поломал...

Answer 2

Давайте переведем каждое из высказываний в символы, чтобы определить их логическую форму:

1. Ни один студент нашей группы не имеет академической задолженности. Символы: ¬(∃x)(студент(x) ∧ нашей_группы(x) ∧ задолженность(x))

2. Среди преподавателей есть женщины. Символы: (∃x)(преподаватель(x) ∧ женщина(x))

3. Все адвокаты - юристы. Символы: (∀x)(адвокат(x) → юрист(x))

4. Любой экономический объект связан с собственностью. Символы: (∀x)(экономический_объект(x) → собственность(x))

5. Не все грибы являются съедобными. Символы: (∃x)(гриб(x) ∧ ¬съедобный(x))

6. Каждый человек имеет право на труд. Символы: (∀x)(человек(x) → право_на_труд(x))

7. Некоторые студенты не являются отличниками. Символы: (∃x)(студент(x) ∧ ¬отличник(x))

Теперь давайте сравним их логические формы:

1. ¬(∃x)(студент(x) ∧ нашей_группы(x) ∧ задолженность(x))
2. (∃x)(преподаватель(x) ∧ женщина(x))
3. (∀x)(адвокат(x) → юрист(x))
4. (∀x)(экономический_объект(x) → собственность(x))
5. (∃x)(гриб(x) ∧ ¬съедобный(x))
6. (∀x)(человек(x) → право_на_труд(x))
7. (∃x)(студент(x) ∧ ¬отличник(x))

Из этих высказываний можно выделить два сходства в логической форме:

3. (∀x)(адвокат(x) → юрист(x)) и
4. (∀x)(экономический_объект(x) → собственность(x))

Оба высказывания имеют форму утверждения о включении (все X - Y).