Aserción lógica

Aserción lógica

Aserción lógica

La 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

 (\vdash p)\rightarrow(x \pmod 2 \equiv 0)

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

 \vdash \left( (\vdash p)\rightarrow(x \pmod 2 \equiv 0) \right)
Obtenido de "Aserci%C3%B3n l%C3%B3gica"

Wikimedia foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Mira otros diccionarios:

  • Silogismo hipotético — En lógica se denomina silogismo hipotético a aquel tipo de silogismo o más bien regla de inferencia que en su expresión plantea un caso hipotético, por lo cual puede tener términos válidos o no. En la lógica proposicional un silogismo hipotético… …   Wikipedia Español

  • Modus ponens — (Latín: modo que afirma) es una regla de inferencia simple: Si P, entonces Q. P. Entonces, Q. Expresado en la notación de operadores lógicos: donde representa la aserción lógica …   Enciclopedia Universal

  • David Hume — Saltar a navegación, búsqueda Para otros usos de este término, véase Hume. David Hume Retrato de David Hume, por Allan Ramsay, en el año 1766, Galería Nacional de Escocia …   Wikipedia Español

  • Filosofía analítica — Saltar a navegación, búsqueda Filosofía analítica es un término genérico para un estilo de filosofía que comenzó a dominar a los países de lengua inglesa en el siglo XX. En los Estados Unidos, el Reino Unido, Canada, Escandinavia, Australia y… …   Wikipedia Español

  • Gráficos existenciales — Se denomina Gráficos existenciales (en inglés: existential graphs) al sistema lógico y de notación creado por el lógico y filósofo norteamericano Charles Sanders Peirce. El sistema comprende tanto una notación gráfica original de proposiciones… …   Wikipedia Español

  • Jesús Mosterín — Jesús Mosterín, en la Universidad de La Rioja Jesús Mosterín (Bilbao, 1941) es un filósofo español cuyas aportaciones abarcan …   Wikipedia Español

  • Chaïm Perelman — (Varsovia, 20 de mayo de 1912 Bruselas, 22 de enero de 1984), retórico y filósofo del Derecho belga de origen polaco, creador de la Nueva Retórica y uno de los principales teóricos sobre argumentación del vigésimo siglo. Contenido 1 Biografía 2… …   Wikipedia Español

  • Naskh (exégesis) — Este artículo o sección sobre religión necesita ser wikificado con un formato acorde a las convenciones de estilo. Por favor, edítalo para que las cumpla. Mientras tanto, no elimines este aviso puesto el 18 de febrero de 2008. También puedes… …   Wikipedia Español

  • Paradoja — (Del gr. paradoxa, contrarios a la opinión común.) ► sustantivo femenino 1 Idea o afirmación en apariencia extraña y que se opone a la opinión general: ■ es una paradoja que siendo la más débil, tenga mayor resistencia física. SINÓNIMO… …   Enciclopedia Universal

  • Regla de inferencia — En lógica, especialmente en lógica matemática, una regla de inferencia es un esquema para construir inferencias válidas. Estos esquemas establecen relaciones sintácticas entre un conjunto de fórmulas llamados premisas y una aserción llamada… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”