Логика: Импликация и логическое следование