Construct truth tables of compound propositions. Determine whether a proposition is a contradiction, satisfiable or a tautology. Convert an argument into symbolic form and determine whether it is valid. Solve problems in propositional logic using truth-trees. Solve problems using Boolean algebras. Design simple circuits. Be able to interpret first order formulae. Solve problems in first order logic using truth-trees.
- Teacher: Dr. Amal Sayed 53
- Teacher: Eng. Marwa Mohamed 57