aserción lógica
Sign in to saveAlso known as assertion
afirmación que asevera que una premisa es verdadera
Article · Español
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. * es cierta. Podemos escribir esto mismo usando el símbolo de aserción como
Abstract from DBpedia / Wikipedia · CC BY-SA