Читайте также:
|
Это частно-утвердительное высказывание.
Круговые схемы для субъекта и предиката выглядят следующим образом:
 |
Во втором высказывании «неверно, что» соответствует отрицанию ┐; кванторное слово «кто-то» соответствует «некоторые», слово связка явно не выражена, но подразумевается «не суть».
Логическая форма второго высказывания:
┐( Некоторые S не суть Р) ≡ Все S суть Р.
Это обще-утвердительное высказывание.
Круговые схемы для субъекта и предиката выглядят следующим образом:
 |
Задание № 2. Записать логическую форму сложных высказываний (Во втором высказывании следует сохранить те обозначения простых высказываний, которые были введены в первом сложном высказывании):
Пример 2.1.
Я подготовлюсь к контрольной работе, иначе мне придется приходить ее пересдавать.
Я не подготовился к контрольной работе, и мне пришлось приходить ее пересдавать.
Решение.
В составе первого сложного высказывания два простых:
р - я подготовлюсь к контрольной работе;
q - мне придется приходить ее пересдавать.
Далее необходимо определить, какими логическими связками соединены выделенные простые суждения. При этом надо выделить союзы и знаки препинания, которыми грамматически соединены простые предложения в составе сложного.
И, А, НО, ДА, ОДНАКО, ХОТЯ, «,», «.» – этим союзам и знакам препинания соответствует, как правило, логическая связка КОНЪЮНКЦИЯ & (Ù).
Иногда союз «И» и «,» соответствуют логической связке дизъюнкция или импликация.
ИЛИ, ЛИБО – этим союзам и знакам препинания соответствует, как правило, логическая связка ДИЗЪЮНКЦИЯ Ú.
ЕСЛИ…,ТО…; ПОСТОЛЬКУ, ПОСКОЛЬКУ…; ТАК, КАК; ПОТОМУ, ЧТО; ПОЭТОМУ; СЛЕДОВАТЕЛЬНО; «-» - этим союзам и знакам препинания соответствует, как правило, логическая связка ИМПЛИКАЦИЯ ® (É), используемая в условных (импликативных) суждениях.
ЕСЛИ И ТОЛЬКО ЕСЛИ…,ТО…; ТОЛЬКО ПОСТОЛЬКУ, ПОСКОЛЬКУ…;ТОЛЬКО ПОТОМУ, ЧТО; ТОЛЬКО ПОЭТОМУ; - этим союзам и знакам препинания соответствует, как правило, логическая связка ЭКВИВАЛЕНТНОСТЬ
В рассматриваемом примере простые высказывания связаны грамматической связкой «иначе». В эквивалентном виде это высказывание можно записать так:
Если я не подготовлюсь к контрольной работе, то мне придется приходить ее пересдавать.
Логическая форма этого сложного высказывания следующая:
┐р É q
Второе высказывание выглядит так:
Я не подготовился к контрольной работе, и мне пришлось приходить ее пересдавать.
Логическая форма второго высказывания выглядит так:
┐р & q
Дата добавления: 2015-01-30; просмотров: 92 | Поможем написать вашу работу | Нарушение авторских прав |