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



страница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
обратиться к администрации

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