Glosario

Enunciados de lógica

Si se restringe el lenguaje de primer orden (o lenguaje de predicados) eliminando los cuantificadores y se toma como ultima unidad de análisis enunciados (fórmulas cerradas) atómicos, se obtiene el lenguaje de enunciados.

En el lenguaje de enunciados los únicos símbolos lógicos son las conectivas.

La lógica que descansa exclusivamente en las conectivas recibe el nombre de Lógica de enunciados.

Tipos: Matemáticas Lógica Ciencia

Listado de términos

A

Axiomas

C

D

Demostrar

E

Entimema Enunciados Enunciados contradictorios Enunciados inconsistentes Equivalencia Esquemas de enunciados Esquemas de inferencia Expresiones consistentes

F

Falacia de equivocación Formalización Formalización del lenguaje Función

I

Implicación condicional Implicación lógica

L

Lenguajes artificiales Lenguajes naturales Leyes de la lógica Lógica Lógica de enunciados Lógica de predicados

M

Metalenguaje Mostrar

P

Petición de principio Principio de tercio excluso (PTE)

R

Razonamiento circular Razonamientos deductivos Razonamientos inductivos

S

Signos de puntuación Silogismo disyuntivo Simbolización del lenguaje Sistema axiomático

T

Tautologías Teoremas Teoría

U

Uso apofántico del lenguaje

V

Valores de verdad Variable dependiente Variable independiente Variables

A C D E F I L M P R S T U V

Total de términos: 47

Fuentes

Glosario de enunciados de lógica. Ana Carrillo.

Enlace permanente: Enunciados de lógica - Fecha de creación: 2014-02-07

Enunciados de lógica

Listado de términos

A

C

D

E

F

I

L

M

P

R

S

T

U

V

Fuentes

Novedades

Actualizaciones

Glosarios especializados