Is there a way to formally prove:(adsbygoogle = window.adsbygoogle || []).push({});

A -> (A -> B) equivalent to (A -> B)

do I just assume A and then use modus ponenes (by deduction method)? It just looks a bit odd asserting a premise out of the blue....

I checked the truth table for those, it seems to be true, however, truth table is not going to work as the answer, I need to do this formally.

Thanks in advance.

ps: sorry for trashing forum with my logic threads... from now on, i'll just put my questions (if i have any) here

**Physics Forums | Science Articles, Homework Help, Discussion**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Homework Help: Logic again

**Physics Forums | Science Articles, Homework Help, Discussion**