3 We use cookies. Read the Privacy and Cookie Policy I accept 3 Под исчислением высказываний в логике понимается система аксиом и выводимых из них теорем (импликаций).