Logica Proposicional
Páginas: 15 (3544 palabras)
Publicado: 12 de agosto de 2012
Asignatura:
Lógica Proposicional
Catedrática:
Lic. Patricia Judith Chafoya
Integrantes: | Carnet | Firma |
Argueta Nestor Mauricio | AA103312 | |
Bermúdez Ruiz Adly Ivette | BR100112 | |
Clara Canizales Silvia Rebeca | CC101612 | |
Driotis Menéndez, Ingrid Marilyn | DM100112 | |
Gonzales Barahona Flor Estefanía | GB100712 | |
Reales Opico GloriaGuadalupe | RO100412 | |
Sánchez Urrutia Guillermo Alexander | SU100112 | |
Tobar Castillo Lisseth Guadalupe | TC100212 | |
GRUPO:
05
Miércoles, 25 de abril de 2012
INTRODUCCION
En el siguiente trabajo expuesto por nuestro grupo, el cual lleva como tema CUANTIFICADORES Y REGLAS DE REEMPLAZO, queremos hacer énfasis en la importancia de hacer el uso correcto del tema, sacándole elmáximo provecho para poder aplicarlo a las situaciones de nuestra vida cotidiana.
Nuestro trabajo reúne una serie de ejemplos y análisis de CUANTIFICADORES Y REGLAS DE REEMPLAZO.
Nuestro objetivo al momento de haber desarrollado el presente trabajo fue el de recalcar la importancia que tiene la cuantificación, ya que es muy esencial para el razonamiento en lenguaje usual, así como para losrazonamientos matemáticos y así mismo, evitamos la falta de conocimiento o la falta de explicación y análisis adecuado para los estudiantes.
JUSTIFICACIÒN
Al utilizar las reglas de reemplazo y los cuantificadores como herramienta de comunicación se amplia el conocimineto y desarrollo en como resolver la validez de una proposicion.
Estas reglas y los cuantificadores nos permite una mayoraccesibilidad a obtener la validez de una proposiciòn , ya que muchas veces es necesario ocupar otros metodos de resoluciòn para encontra una proposiòn valida o invalida.
Es por eso que el siguiente trabajo detalla dichas reglas de reemplazo y cuantificadores que nos ayudara en el desarrollo de la Unidad 6 para poder comprender mucho mas facil y sencillo el desarrollo y conclusion si una proposicònes valida o invalida.
OBJETIVO GENERAL
Desarrollar un conocimiento general de la lógica simbólica aplicada en sus cuantificadores y leyes de remplazo.
OBJETIVOS ESPECÍFICOS
* Analizar los cuantificadores universales, existenciales, limitados y negativos.
* Dterminar las reglas de reemplazo y saber identificar en cuales ocasiones o situaciones de ha de usar cada una de ellas.CUANTIFICADORES
Un cuantificador se utiliza para indicar cuántos elementos de un conjunto dado cumplen con cierta propiedad. Existen dos tipos de cuantificadores, cuyas características resumimos en la siguiente tabla:
Nombre Notación Se lee
cuantificador universal Para todo x...
cuantificador existencial Existe por lo menos un x...
Los cuantificadores:
- Cuantificador universal:(para todo). El cuantificador universal permite referirse a todos los individuos del universo del discurso.
- Cuantificador existencial: (existe). El cuantificador existencial permite referirse a algunos de los individuos del universo del discurso.
Las variables, también pueden ser cuantificadas. Los cuantificadores que típicamente se utilizan en lógica de predicados son:
El cuantificadoruniversal; " indica que la fórmula bien formada, dentro de su alcance, es verdadera para todos los valores posibles de la variable que es cuantificada. Por ejemplo:
" X . . . .
Establece que "para todo X, es verdad que. . . "
El cuantificador existencial;$ , indica que la fórmula bien formada, dentro de su alcance, es verdadera para algún valor o valores dentro del dominio.
Por ejemplo: $ X.. . .
Establece que "existe un X, tal que . . . "
A continuación se dan algunos ejemplos de predicados cuantificados:
" X, [niño (X) => le_gusta (X, helados)].
" Y, [mamífero (Y) => nace (Y, vivo)].
$ Z, [cartero(Z) ^ mordió (boby, Z)].
Desde el punto vista de representación, los cuantificadores son difíciles de usar. Por lo que es deseable reemplazarlos con alguna...
Lógica Proposicional
Catedrática:
Lic. Patricia Judith Chafoya
Integrantes: | Carnet | Firma |
Argueta Nestor Mauricio | AA103312 | |
Bermúdez Ruiz Adly Ivette | BR100112 | |
Clara Canizales Silvia Rebeca | CC101612 | |
Driotis Menéndez, Ingrid Marilyn | DM100112 | |
Gonzales Barahona Flor Estefanía | GB100712 | |
Reales Opico GloriaGuadalupe | RO100412 | |
Sánchez Urrutia Guillermo Alexander | SU100112 | |
Tobar Castillo Lisseth Guadalupe | TC100212 | |
GRUPO:
05
Miércoles, 25 de abril de 2012
INTRODUCCION
En el siguiente trabajo expuesto por nuestro grupo, el cual lleva como tema CUANTIFICADORES Y REGLAS DE REEMPLAZO, queremos hacer énfasis en la importancia de hacer el uso correcto del tema, sacándole elmáximo provecho para poder aplicarlo a las situaciones de nuestra vida cotidiana.
Nuestro trabajo reúne una serie de ejemplos y análisis de CUANTIFICADORES Y REGLAS DE REEMPLAZO.
Nuestro objetivo al momento de haber desarrollado el presente trabajo fue el de recalcar la importancia que tiene la cuantificación, ya que es muy esencial para el razonamiento en lenguaje usual, así como para losrazonamientos matemáticos y así mismo, evitamos la falta de conocimiento o la falta de explicación y análisis adecuado para los estudiantes.
JUSTIFICACIÒN
Al utilizar las reglas de reemplazo y los cuantificadores como herramienta de comunicación se amplia el conocimineto y desarrollo en como resolver la validez de una proposicion.
Estas reglas y los cuantificadores nos permite una mayoraccesibilidad a obtener la validez de una proposiciòn , ya que muchas veces es necesario ocupar otros metodos de resoluciòn para encontra una proposiòn valida o invalida.
Es por eso que el siguiente trabajo detalla dichas reglas de reemplazo y cuantificadores que nos ayudara en el desarrollo de la Unidad 6 para poder comprender mucho mas facil y sencillo el desarrollo y conclusion si una proposicònes valida o invalida.
OBJETIVO GENERAL
Desarrollar un conocimiento general de la lógica simbólica aplicada en sus cuantificadores y leyes de remplazo.
OBJETIVOS ESPECÍFICOS
* Analizar los cuantificadores universales, existenciales, limitados y negativos.
* Dterminar las reglas de reemplazo y saber identificar en cuales ocasiones o situaciones de ha de usar cada una de ellas.CUANTIFICADORES
Un cuantificador se utiliza para indicar cuántos elementos de un conjunto dado cumplen con cierta propiedad. Existen dos tipos de cuantificadores, cuyas características resumimos en la siguiente tabla:
Nombre Notación Se lee
cuantificador universal Para todo x...
cuantificador existencial Existe por lo menos un x...
Los cuantificadores:
- Cuantificador universal:(para todo). El cuantificador universal permite referirse a todos los individuos del universo del discurso.
- Cuantificador existencial: (existe). El cuantificador existencial permite referirse a algunos de los individuos del universo del discurso.
Las variables, también pueden ser cuantificadas. Los cuantificadores que típicamente se utilizan en lógica de predicados son:
El cuantificadoruniversal; " indica que la fórmula bien formada, dentro de su alcance, es verdadera para todos los valores posibles de la variable que es cuantificada. Por ejemplo:
" X . . . .
Establece que "para todo X, es verdad que. . . "
El cuantificador existencial;$ , indica que la fórmula bien formada, dentro de su alcance, es verdadera para algún valor o valores dentro del dominio.
Por ejemplo: $ X.. . .
Establece que "existe un X, tal que . . . "
A continuación se dan algunos ejemplos de predicados cuantificados:
" X, [niño (X) => le_gusta (X, helados)].
" Y, [mamífero (Y) => nace (Y, vivo)].
$ Z, [cartero(Z) ^ mordió (boby, Z)].
Desde el punto vista de representación, los cuantificadores son difíciles de usar. Por lo que es deseable reemplazarlos con alguna...
Leer documento completo
Regístrate para leer el documento completo.