Логика высказываний

Систематическое изучение логики – наиболее эффективный путь к решению этих задач, без этого грамотное и правильное построение мыслей, крайне важное для правоведа, просто невозможно. Следует также понять, что польза от изучения форм и законов мышления невелика, если отсутствует умение применять эти знания на практике. Поэтому обязательным условием, обеспечивающим эффективное освоение логики, является решение логических задач. Только так можно обеспечить наилучшее усвоение теории и самостоятельное практическое ее применение.

Введение 3
1. Логика высказываний 6
1.1. Высказывания и операции над ними 6
1.2. Парадоксальные высказывания 12
1.3.Построение доказательств в логике высказываний 14
1.4. Аксиома порядка и ее применение 17
1.5.Табличный способ доказательства 21
1.6. Метод резолюций 27
1.7. Метод Вонга 30
1.8. Метод натурального исчисления (метод Генцена) 32
2. Практическая часть 36
Заключение 50
Список использованных источников 52