Методическое пособие по логике

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

1. Предмет и значение логики

1.1 Термины и понятия
ЛОГИКА ФОРМАЛЬНАЯ - наука о формах, законах, операциях пра-вильного мышления
ФОРМА ЛОГИЧЕСКАЯ- способ связи составных частей какого-либо определенного содержания конкретной мысли, выраженный специфическим для логики языком символов.
ФОРМАЛИЗАЦИЯ- процесс записи с помощью символов логики вы-сказываний некоторого выражения естественного языка. Другими словами, это процесс выявления структуры некоторой мысли.
ЯЗЫК- знаковая система, с помощью которой фиксируется, хранится, обрабатывается и передается информация.
ЯЗЫК ЕСТЕСТВЕННЫЙ- язык, возникающий спонтанно в процессе человека как необходимое средство общения и познания (русский, немецкий и др.)
ЯЗЫК ИСКУССТВЕННЫЙ - язык, который создается человеком для каких-либо определенных целей ( язык логики, язык математики, шифры и т.д.)
ЯЗЫК ЛОГИКИ ВЫСКАЗЫВАНИЙ - искусственный язык, дающий возможность выразить логическую структуру некоторого выражения естественного языка. он состоит из бесконечного множества переменных - p,q,r,.... представляющих высказывания, и особых символов - логических связок - ““ - читается “и”, ““ - читается “или”, ““ - с точкой строгая дизъюнкция “либо...либо”, “ p” - читается “не-р”, “неверно, что р”; “ “ - читается “тождественно”, “эквивалентно”; ““ - читается “если...то”.
Формула- в логике высказываний определяется так:
1.Всякая отдельная переменная есть формула.
2. Если А и В - формулы, то АВ, АВ, В, АВ, АВ - также фор-мулы.

1.2. Логические задачи
1. Установите, какие из приведенных ниже выражений естественного языка имеют одинаковую структуру.
1. Москва- столица России.
2. Все адвокаты - юристы.
3. Если треугольник имеет равные стороны, то он имеет и равные углы.
4. Некоторые грибы являются съедобными.
5. Среди учителей есть мужчины.
6. Если человек сильно захочет, то добьётся своего.
7. Если данная фигура треугольник, то...