Основные логические операции

Конъюнкцией двух высказываний А и В, называется высказывание являющееся истинным, если высказывания истинны.

Дизъюнкцией двух высказываний А и В,называется высказывание являющееся ложным, если высказывания А и В ложные.

Импликацией или логическим следованием двух высказываний А и В,называется высказывание являющееся ложным, если посыл истинный, а вывод ложный.

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

Эквиваленцией или эквивалентностью двух высказываний А и В,называется высказывание, которое является истинным, если истинность А и В совпадают.

Суммой по модулю 2 или неэквивалентностью двух высказываний А и В,называется высказывание, которое является истинным, если истинность А и В не совпадают.

Стрелкой Пирса,называется высказывание, которое является истинным, когда высказывание являются ложным.

Штрихом Шиффера,называется высказывание являющееся ложным, когда оба высказывания являются истинными.

Логической формулойназывается выражение обладающее следующими свойствами:

1) любая переменная обозначающая высказывание – формула;

2) переменная объединенная с помощью логических связок – формулы;( )

3) других формул нет.

Пример: Если фирма продолжает выпускать существующий продукт и ориентироваться на существующий рынок, то для нее целесообразна стратегия «малого корабля» или экономии издержек. Такая стратегия привлекательна, если интенсивен маркетинг, - стратегия хозяйственный фактор, но слабая сторона организации. Если интенсивный маркетинг является стратегическим хозяйственным фактором и сильной стороной фирмы, то фирме следует придерживаться стратегии захвата новых рынков для существования продукта.