Aserción lógica

Plantilla:Referencias En lógica matemática, una aserción lógica es una afirmación que asevera que una premisa es verdadera.

Por ejemplo, si p = x "es par", la implicación

1. $(⊢p)\to (x(\mathrm{mod}2)\equiv 0)$

es cierta. Podemos escribir esto mismo usando el símbolo de aserción como

$⊢((⊢p)\to (x(\mathrm{mod}2)\equiv 0))$

Véase también

• Bicondicional
• Negación del antecedente