Open main menu

Changes

== Links externos ==
*[http://pt.wikipedia.org/wiki/Assinatura_%28l%C3%B3gica%29 Assinatura (lógica)]* [http://pt.wikipedia.org/wiki/F%C3%B3rmula_%28l%C3%B3gica%29 Fórmula (lógica)]* [http://pt.wikipedia.org/wiki/Indu%C3%A7%C3%A3o_estrutural Indução estrutural]