В данном разделе вы можете задавать вопросы по содержанию лекций.
Не совсем поняла разницу между исчислением высказываний и исчислением предикатов. Думала, что это синонимы, до одной из теорем. Поясните, пожалуйста.
Не совсем поняла разницу между исчислением высказываний и исчислением предикатов. Думала, что это синонимы, до одной из теорем. Поясните, пожалуйста.