Формальная логика.

Сам термин «логика» происходит от древнегреческого logos, означающего «слово, мысль, понятие, рассуждение, закон».

Различают:

  1. формальную логику
  2. математическую логику

Формальная логика

– это наука о законах и формах мышления.

Формальная логика использует ряд основных понятий и описывает действия над ними, подчиняющиеся законам логики.

Понятие

- это форма мышления, фиксирующая основные признаки объекта.

К основным понятиям логики относятся следующие:

Высказывание (суждение)

– некоторое повествовательное предложение, построенное на основе понятия, которое может быть истинно (верно) или ложно.

Например:

  • Москва больше Санкт-Петербурга.
  • 1 + 2 = 4
  • Все мальчики любят играть в футбол.
  • Маша Иванова - лучшая ученица 10 класса.

Простое высказывание

– высказывание, содержащее одно предложение.

Сложное высказывание

– это высказывание, полученное путем объединения простых высказываний связками 'И', 'ИЛИ', 'НЕ', 'НЕВЕРНО, ЧТО...', 'ЕСЛИ,.. ТО...'.

Например:

  • Каждый четырёхугольник имеет четыре угла и четыре стороны.
  • Не верно, что джойстик является устройством вывода информации.
  • Если ласточки летают низко, то скоро будет дождь.

Утверждение

– суждение, которое требуется доказать или опровергнуть.

Например:

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

Рассуждение

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

Например:

  • Если треугольник прямоугольный, то один из углов 90 градусов, а т.к. сумма всех углов треугольника 180 градусов, то оставшиесся углы в сумме тоже равны 90 градусам. Значит каждый из них - острый.

Умозаключение

– логическая операция, в результате которой из одного или нескольких данных суждений получается (выводится) новое суждение.

Например:

  • Если все воробьи птицы, а все птицы - животные, то все воробьи являются животными.
  • Если ни у одного чётного числа десятичная запись не заканчивается цифрой 5 и все числа, делящиеся на 4, чётны, то ни у одного числа, делящегося на 4, десятичная запись не заканчивается цифрой 5.
Сайт управляется системой uCoz