Логика и математика: интерпретация логических выражений