Report - Propositional Logic - STI Innsbruck · • In propositional logic, truth values are assigned to the atoms of a formula in order to evaluate the truth value of the formula • An assignment

Please pass captcha verification before submit form