Question #50190
without using truth table prove that
[(p˅q)˄(p→r)˄(q→r)]→r is a tautology.
[(p˅q)˄(p→r)˄(q→r)]→r is a tautology.
Expert's answer
Firstnotice what this says: if one of two things are true (either p or q) and each
implies a third statement (r), then r must be true. Clearly this is tautology,
since if p is true we have p→r, hence r, and similarly if q is true.
implies a third statement (r), then r must be true. Clearly this is tautology,
since if p is true we have p→r, hence r, and similarly if q is true.
