fbpx
Wikipedia

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 editar

Enlaces externos editar

  •   Wikcionario tiene definiciones y otra información sobre aserción.
  •   Datos: Q843812

aserción, lógica, este, artículo, sección, necesita, referencias, aparezcan, publicación, acreditada, busca, fuentes, noticias, libros, académico, imágeneseste, aviso, puesto, junio, 2014, lógica, matemática, aserción, lógica, afirmación, asevera, premisa, ver. Este articulo o seccion necesita referencias que aparezcan en una publicacion acreditada Busca fuentes Asercion logica noticias libros academico imagenesEste aviso fue puesto el 14 de junio de 2014 En logica matematica una asercion logica es una afirmacion que asevera que una premisa es verdadera Por ejemplo si p x es par la implicacion p x mod2 0 displaystyle vdash p rightarrow x pmod 2 equiv 0 es cierta Podemos escribir esto mismo usando el simbolo de asercion como p x mod2 0 displaystyle vdash left vdash p rightarrow x pmod 2 equiv 0 right Vease tambien editarBicondicional Negacion del antecedenteEnlaces externos editar nbsp Wikcionario tiene definiciones y otra informacion sobre asercion nbsp Datos Q843812 Obtenido de https es wikipedia org w index php title Asercion logica amp oldid 117909110, wikipedia, wiki, leyendo, leer, libro, biblioteca,

español

, española, descargar, gratis, descargar gratis, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, imagen, música, canción, película, libro, juego, juegos