önermeler mantığı

Son güncellenme tarihi: 12 Nisan 2022

propositional calculus; propositional logic; sentential calculus