1. Поняття висловлення, їх види (елементарні, складені, рівносильні) та позначення.

1. Як люди передають свої судження в повсякденному житті? - усно чи письмово за допомогою речень. Які речення ви знаєте? - окличні, запитальні, стверджувальні. Чому стверджувальні речення займають особливе місце у спілкуванні між людьми? - бо вони містять певну інформацію і відносно них можна стверджувати істинні вони чи хибні. Наведіть приклади стверджувальних речень! З'ясуйте істинні вони чи хибні? - такі речення називають висловленнями. Вони є об'єктом вивчення математичної логіки галузі математики, яку називають математичною логікою. Чи є запитальні і окличні речення висловленнями? – ні, бо про них не можна сказати, що вони істинні або хибні.

Як же позначають висловлення? – малими буквами латинського алфавіту. Прикладом висловлень можуть бути такі: а=„Київ – столиця України”, в=„Іваненко – студент”. У математичній логіці висловлення розглядають лише з точки зору їх істинності чи хибності, абстрагуючись від конкретного їх змісту. А де розглядаються висловлення з точки зору їх змісту? – у мові. Отже, висловлення є своєрідною величиною, яка може приймати два значення – „істинне” або „хибне”. Якщо висловлення „а” істинне, то це позначають так а=1, а якщо хибне - то в=0.

Які б висловлення ви назвали простими? – ті, з яких не можна виділити більш простих висловлень. Які висловлення називаються складеними? - ті, із яких можна виділити принаймні два простих висловлення.

Означення: два складених висловлення називаються рівносильними, якщо вони одночасно істинні або одночасно хибні при будь-яких припущеннях про істинність висловлень, що входять до нього.

Символічно це позначають так: ав.