The tautlogy for rule of simplification is:
Answers
Answered by
0
[(pq)p]q.
In words: If p implies q, and if p is true, then q must be true.
Similar questions