10. Является ли конъюнкция (А → В) Λ (А Λ ¬В) противоречием?

11. Чем отличаются фактуальные высказывания от тавтологий и противоречий? Определите, какие из формул являются тавтологиями, противоречиями и фактуальными (эмпирическими) суждениями?

1) А → А; (А v В);

2) А v ¬B;

3) (А → В) → (В Λ ¬А);

4) (А В) (В → А);

5) А Λ А.

12. Как определить, следует ли формула исчисления высказываний В из формулы А1 Приведите примеры.

13. Проверьте правильность вывода в следующих формулах:

1)

14. Если возможно, то сделайте обращение следующих суждений

1) Все кошки - млекопитающие.

2) Все прямоугольники - четырехугольники.

3) Все квадраты - равносторонние прямоугольники.

4) Некоторые студенты не изучают логику.

5) Некоторые студенты - спортсмены.

15. Какое различие существует между обращением таких суждений?

1) Все треугольники - геометрические фигуры.

2) Все равносторонние треугольники равноугольны.

16. С помощью логического квадрата установите отношение между следующими простыми суждениями:

1) Все студенты изучают логику.

2) Некоторые студенты не изучают логику.

3) Все люди эгоистичны.

4) Ни один человек не эгоист.

5) Не все люди пишут грамотно.

6) Не все люди знают логику.

7) Некоторые из них знают логику.

17. Чем отличается логическая структура суждения от грамматической структуры предложения? Приведите пример распространенного повествовательного предложения и выделите в нем субъект, предикат и связку.

18. Определите вид модальности в следующих суждениях:

1) Возможно, что существует разумная жизнь во Вселенной.

2) Вероятность снегопада летом весьма мала.

3) Сумма углов в треугольнике равна 180°.

4) Сегодня солнечный день.

5) Вы должны пойти на лекцию.

6) Мы обязаны сдавать зачеты.

7) Достоверно известно, что его там не было.

8) Никогда не нарушайте правила движения.

19. Чем отличается грамматическая условная связь импликации в логике?

20. Определите, какую смысловую связь выражают следующие условные предложения:

1) Если идет ток по проводнику, то он нагреется.

2) Если диаметр перпендикулярен к хорде, то он делит ее пополам.

3) Если число делится на 2, то оно не простое.

4) Если вы не знаете логики, то вам трудно будет обнаружить ошибку в рассуждении.

21. Чем отличаются с логической точки зрения связь причины и следствия (действия); основания и следствия? Приведите примеры.

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

23. Как можно построить аксиоматическую теорию для исчисления высказывания?

24. Какие преимущества процесс логического вывода и доказательства имеет перед табличным способом определения истинностного значения сложных высказываний?

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

Теперь наступило время перейти к более глубокому анализу высказываний, связанному с изучением их внутренней логической структуры. Уже традиционная логика в своем учении о силлогизмах опиралась на субъектно-предикатную структуру суждений и учитывала их количественную характеристику с помощью таких слов, как "все", "любой", "каждый", "никакой", "некоторые" и т.п.

Как отмечалось в гл. 1, современная логика отличается от традиционной как по глубине и точности исследования, так и по широте применения своих методов. Если традиционная логика ограничивалась логическим анализом отношений между предметами и их свойствами, то современная логика анализирует различные отношения между самими предметами. В результате логика свойств выступает хотя и как важный, но частный случай логики отношений. Тем не менее и с исторической и с практической точек зрения представляется целесообразным обсудить в этой главе элементы теории силлогизмов, во-первых, потому, что такие умозаключения широко используются в повседневных и даже научных рассуждениях, во-вторых, потому, что читатель может сравнить традиционный подход с современным и убедиться в значительной эффективности и точности последнего.

Свойства вещей реального мира представляют собой результат взаимодействия их с другими вещами, ибо без этого они не могли бы проявиться и мы не были бы в состоянии судить о них. В самом деле, мы говорим, например, что алмаз является самым твердым минералом, а графит - мягким потому, что они различаются по свойству твердости и пластичности.

В традиционной логике свойство отображается в суждении предикатом, а вещь, которой принадлежит это свойство, - субъектом. Следует, однако, различать субъект и предикат в грамматике и логике, подобно тому как мы различаем предложение и суждение (высказывание) Суждения, имеющие субъектно-предикатную структуру, отображают часто встречающиеся в действительном мири связи между вещами, событиями и явлениями, с одной стороны, и их свойствами и признаками, с другой. Именно эти связи и стали предметом изучения традиционной логики. Хотя различные виды отношений, такие, как "больше", "меньше", "выше", "ниже", "дальше", "ближе" и т.п., не говоря уже об отношениях родства встречаются часто, но традиционная логика либо совершенно не интересовалась логическим анализом отношений, либо пыталась свести их к субъектно-предикатной структуре.

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

С логической точки зрения отношения можно рассматривать как обобщение обычного предиката традиционной логики, выражающего свойства предметов. Если этот предикат характеризует один-единственный предмет или, как мы будем говорить в дальнейшем, объект, то в логике отношений он определяет отношение между разными объектами. Так, когда мы говорим, что число 5 больше, чем 3, то тем самым устанавливаем между ними отношение "больше" по величине.

Отношение между двумя объектами называют бинарным, (двучленным), между тремя - тернарным и т.д. Объекты, которые заполняют эти места, характеризуют соответствующий предикат.

Символически это представляется так:

Р (x₁ , x₂ ,..., х_n ),

где Р обозначает предикат, a x₁ , x₂ ,..., х_n - соответствующие объекты. Если n = 0, тогда предикат будет нерасчлененным высказыванием, которое рассматривалось в предыдущей главе, при n = 1 предикат представляет свойство, при n = 2 - бинарное отношение, при n = 3 - тернарное отношение и т.д.