Tag: truth tables

1 events with tag "truth tables"

1921 ID: 393

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

ID: 393