БарГУ.by » Учебные материалы » Лекции » Логика » Логическое значение высказывания

Логическое значение высказывания

Логическое значение высказывания

 

1.  формальная структура высказывания

2.  виды элементарных высказываний

3.  логические отношения между элементарными высказываниями (логический квадрат)

4.  распределенность терминов в высказываниях

5.  логический союз и его виды

6.  виды составных высказываний

 

Вы не можете скачивать файлы с нашего сервера

 

1.Высказывание – логическая форма, в которой несколько имен вступают в ложные или истинные отношения. Логические отношения между именами (ложность и истинность) называются логическими значениями высказывания.

Для любого элементарного высказывания характерна следующая формальная структура: все (квантор) адвокаты (термин) являются (связка) юристами (термин).

 

2.Высказывания делятся на элементарные и составные. Если в высказывании используется логический союз – оно составное, если не используется – элементарное.

Высказывания делятся по количеству и качеству. По количеству высказывания делятся на общие (все студенты являются учащимися), частные (некоторые автомобили являются отечественными), единичные (Минск является столицей Беларуси. Смирнов является студентом). По качеству делятся на утвердительное (некоторые страны являются федерациями), отрицательные (некоторые страны не являются федерациями). Высказывания являются отрицательными, если отрицательная частица «не» стоит перед связкой.

4 элементарных высказывания:

1) общеутвердительное

2) общеотрицательное

3) частноутвердительное

4) частноотрицательное

 

3.Логические отрицания:

  • противоречия – если одно из высказываний истинное, то другое необходимо ложное и наоборот.
  • Противоположности
  • Неполной (частичной) совместимости
  • Подчинение

Восстановить высказывание – значит указать все отсутствующие формальные элементы. Восстанавливать высказывания необходимо в истинном виде.

 

4.Термин в высказывании считается распределенным, если он взят или исключен в полном объеме. Термин в высказывании считается нераспределенным, если он взят или исключен частично.

 

5.Логический союз выступает в качестве связки между элементарными высказываниями. Элементарные высказывания, входящие в структуру составного высказывания обозначается символами, в качестве символов выступают буквы латинского алфавита (p,q,r,s). Логическое значение (ложности или истинности) составного высказывания определяется логическими значениями, образующими его элементарными высказываниями.

 

6.Виды составных высказываний:

  • Соединительные составные высказывания (связаны коньюкцией элементарные высказывания)
  • Разъединительные – высказывания, в которых элементарные высказывания соединены между собой либо слабой, либо сильной дизъюнкцией
  • Условное составное высказывание – высказывание, в котором элементарные высказывания соединены между собой импликацией.
  • Взаимообусловленности – высказывание, в котором элементарные высказывания соединены эквиваленцией.

Алгоритм решения логических задач:

1)  разделяем составное высказывание на элементарные

2)  обозначаем элементарное высказывание символами

3)  выделяем логические союзы

4)  формируем логическую формулу

5)  находим логическое значение формулы



Обсудить на форуме

Комментарии к статье:

Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь
Мы рекомендуем Вам зарегистрироваться либо войти на сайт под своим именем
Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.

Регистрация

Реклама

Последние комментарии

  • RalsaM
    Написал(а): RalsaM
  • GENAJag
    Написал(а): GENAJag
  • Jacog
    Написал(а): Jacog
  • Maxvel
    Написал(а): Maxvel
    В новости: Маршрут №27
  • cbetlana
    Написал(а): cbetlana
    В новости: Маршрут №27
  • Maxvel
    Написал(а): Maxvel
    В новости: Маршрут № 30
  • Maxvel
    Написал(а): Maxvel
    В новости: Маршрут №15
  • RonnieUncen
    Написал(а): RonnieUncen
  • loram
    Написал(а): loram
  • Inna2200111
    Написал(а): Inna2200111