Propositional connectives vs truth functions An n-ary truth function is a function from n-tuples of truth values to truth values A propositional connective is a symbol of a formalized language which in the intend interpretation, denotes a truth function How to lift a wff to be a truth function? Logic in Computer Science-p 16/17Propositional Connectives vs truth functions • An n-ary truth function is a function from n-tuples of truth values to truth values. • A propositional connective is a symbol of a formalized language which, in the intend interpretation, denotes a truth function. • How to lift a wff to be a truth function? Logic in Computer Science – p.16/17