User talk:Dante Cardoso Pinto de Almeida

Welcome
Good to see your contributions.

You seem to have hit the ground running, but I will give you the standard intro script, as follows:

Welcome
Welcome to ProofWiki! Since you're new, you may want to check out the general help page. It's the best first stop to see how things are done (next to reading proofs, of course!). Please feel free to contribute to whichever area of mathematics interests you, either by adding new proofs, or fixing up existing ones. If you have any questions please feel free to contact me, or post your question on the questions page.

Here are some useful pages to help get you started:
 * Community Portal - To see what needs to be done, and keep up to date with the community.
 * Recent Changes - To keep up with what's new, and what's being added.
 * Main Page talk - This is where most of the main discussions regarding the direction of the site talk place. If you have any ideas, please share them!

Disjunction and Implication
An interesting theorem you've posted up! Natural deduction is fun. I'll take a look at it later - but I have a project on this weekend and the next few weeks, so I may not be able to get to it for some time.

Cheers, Prime.mover (talk)

Something along the lines:

Proposition $(p \implies q) \implies q$. Assume $\neg (p \lor q)$ and so $\neg p \land \neg q$. So $\neg q$ and so $\neg (p \implies q)$ but that means $\neg q \implies p$ giving us our required contradiction $p \land \neg p$. --Prime.mover 18:57, 10 April 2010 (UTC)