propositional calculus propositional function propositional logic propositional variable sentential logic sentential calculus literal relational model valuation proposition