3. Свойства формул: общезначимость, выполнимость, противоречивость, опровержимость.

Общезначимая формула (тавтология, тождественно истинная) — истинная в любой интерпретации (всегда истинная, при любых наборах значений). Обозначается |=а. Пример: формула при любых значениях .

Противоречивая формула (невыполнимая, тождественно ложная) — ложная в любой интерпретации (всегда ложная, при любых наборах значений).

Выполнимая формула (непротиворечивая, опровержимая) — не являющаяся противоречивой (не всегда ложная, не всегда истинная), может быть опровергнута.

4. Основные схемы логически правильных рассуждений.

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

Логическая необходимость — тип логики, при котором для существования одного логического объекта необходимо существование другого. #: «Чтобы что-то купить, нужно иметь деньги».

Рассуждать логически правильно — рассуждать в соответствии с законами логики.

Логика не просто перечисляет некоторые схемы правильного рассуждения. Она выявляет различные типы таких схем, устанавливает общие критерии их правильности, выделяет исходные схемы, из которых по определенным правилам мб получены другие схемы (данного типа), исследует проблему взаимной совместимости схем и т. д.

1.	Правило заключения — утверждающий модус Modus Ponens	«Если из следует , и истинно (справедливо), то тоже истинно».
#: «Если лед нагревается, он тает. Лед нагревается. Значит он тает».
2.	Правило отрицания — отрицательный модус Modus Tollens	«Если из следует , но неверно, то неверно и ».
3.	Правило отрицания–утверждения Modus Tollen–Ponens	«Если истинно или , или , и истинно одно из них, то другое ложно».	, .
4.	Правило отрицания–утверждения Modus Tollen–Ponens	«Если истинно или , или , и неверно одно из них, то истинно другое».	, .
4.		«Если истинно A или B, и неверно одно из них, то истинно другое».	, .
5.	Правило транзитивности (упрощенное правило силлогизма)	«Если из следует , и из следует , то из следует ».
6.	Закон противоречия	«Если из следует и , то неверно ».
7.	Правило контрапозиции	«Если из следует , то из того, что неверно , следует, что неверно ».
8.	Правило сложной контрапозиции	«Если из и следует , то из и следует ».
9.	Правило сечения	«Если из A следует B, а из В и С следует D, то из А и С следует D».
10.	Правило импортации (правило объединения посылок)	«Если из следует , из которого следует , то из и следует ».
11.	Правило экспортации (правило разъединения посылок)	«Если из и следует , то из следует , из которого следует ».
12.	Правило дилемм	«Из следует , из следует , или , то ».