Conectivo lógico │Símbolo

─────────────────

Si... entonces │→

p : Dos ángulos son suplementarios

q : La suma de sus medidas es 180º

Si p, entonces q: p → q

Hola

p : Dos ángulos son suplementarios

q : La suma de la medida de dos ángulos es 180º

Se trata de una definición,

por lo tanto se usa la doble implicación (si y solo si)

p <-> q

Los ángulos α y β son suplementarios.

→ α + β = 180°