Логика в юриспруденции учебно-методическое пособие



страница28/34
Дата01.02.2020
Размер0,62 Mb.
Название файлаПособие Логика в юриспруденции.doc
Учебное заведениеРоссийский государственный профессионально-педагогический университет
ТипУчебно-методическое пособие
1   ...   24   25   26   27   28   29   30   31   ...   34
9.Сложные суждения
Сложным суждением называется суждение, какая-либо часть которого является суждением.

Структура сложных суждений определяется выделением в качестве элементов простых суждений и логических связок.


9.1. Логические связки:
/\ - конъюнкция (заменяет союзы "и", "а", "но", перечисление)
\/ - слабая дизъюнкция (союз "или")

\/ - строгая дизъюнкция (союз "либо - либо")


→ - импликация (союзы, вводные слова, "если, то", "значит", "следовательно", "потому что", "тогда, когда", "поскольку, постольку" и т.д.).

Импликация указывает на причинно-следственную связь между простыми суждениями в составе сложного и между суждениями вообще.

Причина называется антецедентом импликации, а следствие – консеквентом.

↔ - эквиваленция (союзы "тогда и только тогда, когда", "если и только если, то"). Это однозначная причинно-следственная связь.

Эквиваленцию еще называют равносильностью.

Ā – логическое отрицание (неверно, что А; не – А).

↓ - стрелка Пирса (обозначает конъюнкцию двух отрицаний)

| - штрих Шеффера (обозначает дизъюнкцию двух отрицаний).


9.2 Понятие формализации суждения

При решении задач со сложными суждениями необходимо научиться формализовать тексты. Для этого необходимо:

1. Выделить в качестве элементов простые суждения и обозначить их переменными.

2. Расставить между переменными логические связки, соответствующие союзам, и записать в виде формулы.

Примеры:

а в

1.( Жарко), и (идет дождь). (а /\ в)



ā в

2. (Дождь не идет), но (жарко). (ā /\ в)



а в

3. (Подальше положишь), (поближе возьмешь). (а → в)



а в а в

4. Если (лает), то (кусает).( Лает). Следовательно,( кусает).

((а → в) /\ а) → в

9.3. Таблица истинности
Для определения истинности или ложности сложных суждений необходимо пользоваться таблицей истинности.




Поделитесь с Вашими друзьями:
1   ...   24   25   26   27   28   29   30   31   ...   34




База данных защищена авторским правом ©nashuch.ru 2020
обратиться к администрации

    Главная страница
Контрольная работа
Курсовая работа
Лабораторная работа
Пояснительная записка
Методические указания
Рабочая программа
Методические рекомендации
Теоретические основы
Практическая работа
Учебное пособие
Общая характеристика
Физическая культура
Общие сведения
Теоретические аспекты
Самостоятельная работа
Дипломная работа
Федеральное государственное
История развития
Направление подготовки
Методическое пособие
Технологическая карта
Общая часть
квалификационная работа
Техническое задание
Выпускная квалификационная
прохождении производственной
учреждение высшего
Общие положения
Теоретическая часть
Исследовательская работа
Краткая характеристика
Гражданское право
Методическая разработка
Технология производства
государственное бюджетное
Техническое обслуживание
дистанционная форма
частное учреждение
Решение задач
Организация работы
Практическое занятие
Правовое регулирование
образовательное частное
Математическое моделирование
Понятие предмет
Металлические конструкции
Метрология стандартизация
Основная часть
Образовательная программа
физическая культура
Негосударственное образовательное