First-Order-Logic Task1: Resolution with Refutation Propositional logic, also known as sentential logic or propositional calculus, is a branch of formal logic that deals with propositions, which are ...