Условие задачи
1. Установите, какая из формул, приведенных ниже, соответствует структуре высказывания:
А – «Коли лгу, пусть Бог велит не сойти живым мне с места»;
В – «Я люблю тебя, но люблю почти также твоего брата»;
С – «Формула А выводима в исчислении предикатов тогда и только тогда, когда некоторая ее эрбрановская развертка выводима в исчислении высказывания».
2. Установите пары суждений, находящиеся в отношении: А – противоречия; В – подчинения (для разных вариантов разные отношения).
1. Каждый участник массового шествия нес флаг. – Ни один участник массового шествия не нес флага.
2. Ни одного экзамена второго семестра студент Р. не сдал на «отлично». – Некоторые экзамены второго семестра студент Р. сдал на «отлично».
3. Некоторые логические задачи решаемы. – Некоторые логические задачи нерешаемы.
4. Любая книга полезна. – Некоторые книги бесполезны.
5. Любая книга полезна. – Все книги бесполезны.
Ответ
1.
А Коли лгу, пусть Бог велит не сойти живым мне с места; - 1.
В Я люблю тебя, но люблю почти также твоего брата; - 2.
С Формула А выводима в исчислении предикатов тогда и только тогда, когда некоторая ее эрбрановская разв...
