logica matematica
Páginas: 4 (998 palabras)
Publicado: 26 de noviembre de 2013
LÓGICA MATEMÁTICA
TAREA1. REPORTE DE INVESTIGACIÓN SOBRE LÓGICA MATEMÁTICA
NOMBRES:
EQUIPO 2
12000882 GONZALEZ ARREDONDO MARIA CANDELARIA
12000538 GONZALEZ VALLESDAVID
10001997 KUHNE NOTHOLT ERIK CHRISTOPHER
11002442 GARCIA SANCHEZ GLEN EDGAR
CURSO:
Matemáticas Computacionales
ACTIVIDAD:
Lógica Matemática
FECHA:
11 deOctubre del 2013
Calculo de Predicados
En Lógica Matemática, un predicado es una función del conjunto de la constante al conjunto de las proposiciones lógicamente interpretables (en el sentidode la lógica proposicional); igualmente un predicado puede concebirse como una función del conjunto de los cuantificadores al conjunto de predicados de la lógica proposicional:
La lógica de primerorden generaliza a la lógica proposicional precisamente en que su formalismo puede tratar cuantificadores de variables como predicados. La lógica de segundo orden permitiría además cuantificadoressobre predicados, además de cuantificadores sobre variables.
En el cálculo de predicados el valor de verdad depende de los componentes que forman el predicado. Por ejemplo: Juan es padre de Pedro esuna expresión en calculo de predicados, que en general podría ser (x) es padre de (y), o simplemente p(x, y).
Un predicado puede tener una o más variables y que las variables pueden tener tomarvalores de un conjunto específico llamado dominio. Por ejemplo las dos expresiones mencionadas anteriormente son de la forma p(x, y) donde el predicado p representa “es padre de” y el dominio es elconjunto de las personas.
Tautologia
Tautología es un término que proviene de un vocablo griego y que hace referencia a la repetición de un mismo pensamiento a través de distintas expresiones. Unatautología, para la retórica, es una afirmación redundante.
Es habitual que las tautologías sean consideradas como un error en el lenguaje o una falta de estilo. Sin embargo, es posible apelar a las...
LÓGICA MATEMÁTICA
TAREA1. REPORTE DE INVESTIGACIÓN SOBRE LÓGICA MATEMÁTICA
NOMBRES:
EQUIPO 2
12000882 GONZALEZ ARREDONDO MARIA CANDELARIA
12000538 GONZALEZ VALLESDAVID
10001997 KUHNE NOTHOLT ERIK CHRISTOPHER
11002442 GARCIA SANCHEZ GLEN EDGAR
CURSO:
Matemáticas Computacionales
ACTIVIDAD:
Lógica Matemática
FECHA:
11 deOctubre del 2013
Calculo de Predicados
En Lógica Matemática, un predicado es una función del conjunto de la constante al conjunto de las proposiciones lógicamente interpretables (en el sentidode la lógica proposicional); igualmente un predicado puede concebirse como una función del conjunto de los cuantificadores al conjunto de predicados de la lógica proposicional:
La lógica de primerorden generaliza a la lógica proposicional precisamente en que su formalismo puede tratar cuantificadores de variables como predicados. La lógica de segundo orden permitiría además cuantificadoressobre predicados, además de cuantificadores sobre variables.
En el cálculo de predicados el valor de verdad depende de los componentes que forman el predicado. Por ejemplo: Juan es padre de Pedro esuna expresión en calculo de predicados, que en general podría ser (x) es padre de (y), o simplemente p(x, y).
Un predicado puede tener una o más variables y que las variables pueden tener tomarvalores de un conjunto específico llamado dominio. Por ejemplo las dos expresiones mencionadas anteriormente son de la forma p(x, y) donde el predicado p representa “es padre de” y el dominio es elconjunto de las personas.
Tautologia
Tautología es un término que proviene de un vocablo griego y que hace referencia a la repetición de un mismo pensamiento a través de distintas expresiones. Unatautología, para la retórica, es una afirmación redundante.
Es habitual que las tautologías sean consideradas como un error en el lenguaje o una falta de estilo. Sin embargo, es posible apelar a las...
Leer documento completo
Regístrate para leer el documento completo.