![]() Заглавная страница Избранные статьи Случайная статья Познавательные статьи Новые добавления Обратная связь КАТЕГОРИИ: ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ТОП 10 на сайте Приготовление дезинфицирующих растворов различной концентрацииТехника нижней прямой подачи мяча. Франко-прусская война (причины и последствия) Организация работы процедурного кабинета Смысловое и механическое запоминание, их место и роль в усвоении знаний Коммуникативные барьеры и пути их преодоления Обработка изделий медицинского назначения многократного применения Образцы текста публицистического стиля Четыре типа изменения баланса Задачи с ответами для Всероссийской олимпиады по праву ![]() Мы поможем в написании ваших работ! ЗНАЕТЕ ЛИ ВЫ?
Влияние общества на человека
Приготовление дезинфицирующих растворов различной концентрации Практические работы по географии для 6 класса Организация работы процедурного кабинета Изменения в неживой природе осенью Уборка процедурного кабинета Сольфеджио. Все правила по сольфеджио Балочные системы. Определение реакций опор и моментов защемления |
Отношения между простыми высказываниями по истинности
Отношение контрадикторности существует между А и О, Е и J и характеризуется тем, что высказывания, находящиеся в отношении данного типа, не могут быть одновременно ни истинными, ни ложными, т. е. одно высказывание обязательно истинно, а другое - ложно. Отношение контрарности характерно для высказываний А и Е. В данном случае высказывания не могут быть одновременно истинными, но могут быть одновременно ложными. Отношения субконтрарности существуют между высказываниями J и О. В данном случае высказывания не могут быть одновременно ложными, но могут быть одновременно истинными. Отношения подчинения существуют между А и J, E и О. Для данного типа отношений характерно, что истинность подчиняющегося высказывания (А или Е) обусловливает истинность подчиненного (J или О), но не наоборот. В то же время ложность подчиненного высказывания обусловливает ложность подчиняющего, но не наоборот. Сложное высказывание Логическое значение сложного высказывания в современной логике ставится в зависимость (является функцией) от логических значений простых высказываний. Последние рассматриваются в качестве исходных элементов логики высказываний, ее строительных блоков. Сложные высказывания образуются из простых с помощью логических союзов (операций). Важнейшие из них - отрицание, конъюнкция, дизъюнкция (слабая и сильная), импликация, эквива-ленция. Принято называть сложное высказывание именем логического союза, с помощью которого оно образовано. Отрицанием высказывания Р называется высказывание, обозначаемое выражением Р, которое истинно тогда и только тогда, когда Р ложно. Данное определение можно выразить с помощью табл. 3.2 (таблицы истинности), где «И» обозначает «истинно», а «Л» -
«ложно». Таблица 3.2
Конъюнкцией высказываний Р и Q называется высказывание, обозначаемое выражением Р л Q, которое истинно тогда и только тогда, когда Р и Q истинны (см. 3-й столбец табл. 3.3). Выражение Р л Q читается «Р и Q». Таблица 3.3
Дизъюнкцией слабой высказываний Р и Q называется высказывание, обозначаемое выражением PvQ, которое истинно, когда хотя бы одно из выражений Р и Q истинно (см. 4-й столбец табл. 3.3). Выражение PvQ читается «Р или Q».
Импликацией высказываний Р и Q называется высказывание, обозначаемое выражением Р -» Q, которое ложно тогда и только тогда, когда Р истинно, a Q ложно (см. 6-й столбец табл. 3.3). Выражение читается: «Если Р, то Q», «Из Р следует Q» и т. д. При этом Р называется основанием, a Q - следствием импликации. Эквиваленцией высказываний Р и Q называется высказывание, обозначаемое выражением Р ↔Q, которое истинно тогда и только тогда, когда логические значения Р и Q совпадают (см. 7-й столбец табл. 3.3). Выражение P↔Q читается: «Р тогда и только тогда, когда Q», «Р эквивалентно Q». Названные операции могут применяться для действий как с простыми, так и со сложными высказываниями. Зная логические значения исходных высказываний, можно составить таблицу истинности высказываний более сложной формы. Порядок выполнения операций при этом указывается скобками.
|
|||||||||||||||||||||||
Последнее изменение этой страницы: 2017-02-08; просмотров: 119; Нарушение авторского права страницы; Мы поможем в написании вашей работы! infopedia.su Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. Обратная связь - 3.133.153.70 (0.004 с.) |