Análise real/Lógica

Afirmação

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

Implicação

É 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.
  • $r:y=m_{r}\cdot x+n_{r}\;e\;s:y=m_{s}\cdot x+n_{s}.Se\;r//s,\;logo\;m_{r}=m_{s}$