Análise real/Lógica

Origem: Wikilivros, livros abertos por um mundo aberto.

Afirmação[editar | editar código-fonte]

  • todos os quadrados são retângulos
  • qualquer losango é um quadrilátero.
  • alguns triângulos são equilátero.


Implicação[editar | editar código-fonte]

É uma sentença resultante de uma sentença que pode ser uma afirmação ou uma negação.

  • Duas retas r e s são paralelas. Isso quer dizer que o coeficiente angular da reta r é igual ao coeficiente angular da reta s.