Current location - Training Enrollment Network - Mathematics courses - (Discrete Mathematics) ((p→q)∧(q→r))→(p→r) Determine the formula type.
(Discrete Mathematics) ((p→q)∧(q→r))→(p→r) Determine the formula type.
((p→q)∧(q→r))→(p→r)

((p→q)∧(q→r))∨(p→r) becomes conjunctive disjunction.

((? p∨q)∧(? q∨r))∨(? P∨r) becomes conjunctive disjunction.

(? (? p∨q)∨? (? q∨r))∨(? De Morgan's law

((p∧? q)∩(q∧? r))∨(? De Morgan's law

(p∧? q)∩(q∧? r)∨? P∞r associative law

q∨(q∧? r)∨? P∨r conjunctive disjunctive absorption rate

q∨? r∨? P∨r conjunctive disjunctive absorption rate

p∨? q∨? Ordering of r∨r commutative law

real

It is called eternal truth and tautology.