15. Алгебричні системи логіки висловлювань і логіки предикатів