JAWAHARLAL NEHRU TECHNOLOGICAL UNIVERSITY HYDERABAD I Year MCA MC1 DISCRETE structures Unit-I: Mathematical Logic: Statements and notations, connectives, Well formed formulas, truth tables, tautology, equivalence implication, Automatic Theorem Proving. Unit-II: Predicates: Free and Bound variables, Rules of inference, Consistency, proof of contradiction,
JAWAHARLAL NEHRU TECHNOLOGICAL UNIVERSITY HYDERABAD I Year MCA MC1 DISCRETE structures Unit-I: Mathematical Logic: Statements and notations, connectives, Well formed formulas, truth tables, …