Subscripcion

Solo disponible en BuenasTareas
  • Páginas : 11 (2564 palabras )
  • Descarga(s) : 0
  • Publicado : 11 de marzo de 2011
Leer documento completo
Vista previa del texto
UNIVERSIDAD MEXICANA DE EDUCACION A DISTANCIA
“E SABER ES VIDA”
ACTIVIDADES DE APRENDIZAJE
LOGICA SIMBOLICA Y SEMANTICA
UNIDAD 1
EL ESTUDIO DE LA LOGICA ¿PARA QUE SIRVE?

• Complete el siguiente cuadro:

|Disciplinas filosóficas |Definición |Método |Objeto de estudio |
| |Ramade la metafísica que estudia la |Es una reflexión crítica |El ser. |
| |naturaleza de la existencia. El por |acerca del ser, sus momentos o|Los entes. |
| |que existen las cosas. |fases, sus maneras de ser, su |estudia generalidades, |
|| |estructura, y sus categorías. |"formalidades" acerca de todos|
|Ontología | | |los entes, y lo expresa como |
| | | |"géneros supremos" o |
|| | |categorías |
|Epistemología |palabra griega episteme(conocimiento)|Trata problemas filosóficos |se ocupa de la definición del |
| | |que rodea a la creación de la |saber yconceptos |
| | |teorías científicas |reaccionados, de las fuentes, |
| | | |los criterios, y tipos de |
| | ||conocimiento. |
|Lógica |reflexión sobre el valor de a verdad | | |

UNIVERSIDAD MEXICANA DE EDUCACION A DISTANCIA
“E SABER ES VIDA”
ACTIVIDADES DE LA GUIA DE ESTUDIOS
LOGICA SIMBOLICA Y SEMANTICA
UNIDAD II
LA TEORIA PROPOSICIONAL DE INFERENCIA

Lenguaje formal

Consiste enabreviar o simbolizar las oraciones o juicios, que en la lógica matemática se llaman proposiciones. Estas proposiciones se reducen en el lenguaje formal a una sola letra, que llamamos variable, y la simbolizamos con las letras minúsculas del alfabeto que van de la [pic]hasta el final del abecedario.

Si digo por ejemplo: «Antonio ama a Piedad», esta proposición queda simbolizada en el lenguaje formalmediante la variable [pic]o [pic], o [pic], o [pic].

Además de estas variables, la lógica proposicional utiliza otros símbolos, llamados constantes, cuyo significado siempre es el mismo, ya que modifican o unen a las variables. Estos símbolos constantes se llaman funtores, juntores, conectivas u operadores lógicos.

Cuando el funtor afecta a una sola variable, se llama monádico, como porejemplo el negador ( [pic]) que se lee en el lenguaje natural «no», y se sitúa encima de la letra variable, [pic], «no [pic]». Cuando afectan a más de una variable, son poliádicos. Los funtores más importantes son:

[pic] Conjuntor, «y» en el lenguaje natural.
[pic] Disyuntor, «o».
[pic] Condicional, «si... entonces».
[pic] Bicondiconal, «si y sólo si... entonces».[pic] Disyunción exclusiva, «o... o», una proposición excluye a la otra.

El negador además de ser un funtor monádico —es decir que afecta a una variable—, puede ser poliádico, cuando afecta a más de una variable o a una expresión entera.
Hay que tener siempre en cuenta, que las variables simbolizan oraciones enteras y no sólo palabras o nombres:

Ejemplos de simbolización de oraciones,...
tracking img