4 Типа простого суждения(см. В телефоне)

Билет№10(отношение простых категорич.суждений+ логический квадрат)

Отношение изображает на схеме лог. Квадрат (см. в телефоне) позывает 4 взаимоотношения:

*лог.подчинение (характеризует отношение между общими и частными суждениями:A-I,Е-О. Истинность общего суждение влечет за собой истинность частного суждения. Все рыбы дышат жабрами(А),то также истинно будет и Некоторые рыбы дышат жабрами(I)

*противоположность устанавливается между суждениями ,выраженными в общей форме: А-Е .Противоположные суждения могут быть одновременно ложными, но они несовместимы по истине. Поэтому, если одно из них истинно, то другое обязательно ложно. Все рыбы дышат жабрами(А),то Ни одна рыба не дышит жабрами(Е).

*частичная противоположность устанавливается между частными суждениями I-O. Они могут быть одновременно истины, но несовместимы по ложности. Поэтому ,если одно из них ложно,то другое обязательно истинно. Некоторые явления не имеют причины(О),следует истинность суждения типа(I) Некоторые явления имеют причину.

*противоречие устанавливается между парами ,которые между собой ни истинны ,ни ложны.A-O,E-I. Противоречащие суждения всегда отрицают друг друга. Ни один кит- не рыба(Е)истинно, следует из этого ложность противореч. ему суждения Некоторые киты-рыбы(I).

Билет№11(Сложное суждение. Табличное построение в логике высказываний.)

Сложное суждение всегда состоит из более одного субъекта и более одного предиката.Его можно представить в виде ряда простых суждений+лог.союзы.

Язык логики,в котором простое суждение обознач. одним символом и является переменной величиной, называется языком логики высказываний.

Алфавит ЯЛВ включает:

*символы ,обознач. простые высказывания(a,b,c..)

*символы, обознач. логич. союзы(^,v,)..)

*технич. символы: скобки и запятые.

Сложные суждения могут быть:

*конъюнктивными a^b^c «и»

*дизъюнктивными avbvc «или»

*импликативными (условными) a)b

*эквивалентными a=b

Истинность сложных суждений не очевидна, поскольку зависит не только от истинности простых высказываний, но от истинности лог. союзов. таблица истинности(см.в телефоне)Чтобы дать заключение в отношении истинности суждения, нужно записать на языке логике и выделить главный союз.

Билет№12

В логике различают два вида отрицаний: внутреннее и внешнее. Внутреннее отрицание относится к простому высказыванию и отмечается чертой над символом, обознач. простое высказывание или спец. Знаком перед символом. Внешнее отрицание означает отрицание всего сложного высказывания в целом. В этом случае знак ставится или над всей формулой или перед ней. Отрицание сложных суждений требует предварительного преобразования исходной формулы к такому виду, чтобы в нее входили только знаки конъюнкции ,дизъюнкции и внутреннего отрицания. выражения, которые включают в себя знаки импликации, строгой дизъюнкции, эквивалентности ,нужно преобразовать в равнозначные выражения, приведя их в нормальный вид. См. в телефоне.

Пример: в ходе судебного процесса обвинитель в отношении подсудимого высказал следующее утверждение: Если он виновен, то имел сообщников.

Адвокат отреагировал утверждением: Неверно.

Адвокат отрицал сложное суждение

Формальное отрицание, следовало что, и результат- Он виновен и сообщников не имел(адвокат-лох)