Tag: propositional logic

1 events with tag "propositional logic"

1921 ID: 393

Emil Post introduces truth tables for propositional logic, providing decision procedure for propositional calculus

ID: 393