Propositional logic. The symbols of propositional calculus are the propositional symbols: P, Q, R, S, … the truth symbols: true, false and connectives:.
確定! 回上一頁