Aserción lógica

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

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

Véase también

Enlaces externos

 

Prefix: a b c d e f g h i j k l m n o p q r s t u v w x y z 0 1 2 3 4 5 6 7 8 9

Portal di Ensiklopedia Dunia