language, logic and discrete math

can anyone prove

[(p->q) ^ (q -> r)] 0> (p -> r) <=> T?

Don't use the truth table, use the implication
Topic archived. No new replies allowed.