matematica

Páginas: 11 (2586 palabras) Publicado: 2 de mayo de 2013
MATEMATICA Y LOGICA
Lógica: La Lógica es la ciencia que estudia los principios y métodos para distinguir un razonamiento correcto de otro incorrecto. Tradicionalmente ha sido considerada como una parte de la Filosofía, pero en su desarrollo histórico, a partir del final del siglo XIX, y su formalización simbólica ha mostrado su íntima relación con la Matemática, de tal forma que algunos laconsideran como Lógica Matemática.
La parte de la Lógica que se va a estudiar es la Lógica Proposicional, ella estudia las proposiciones y la inferencia
Enunciado: Se denomina enunciado a toda frase u oración.
Ejemplos:
1) Lima es la capital del Perú
2)
3) Compra cinco plumones azules y dos rojos
Proposición: Es un enunciado que tiene la propiedad de ser falso o verdadero, pero no ambos ala vez.
Ejemplos:
1) 6 es un numero primo
2) Gabriel García Márquez escribió “Cien años de soledad”
3) 1 es un numero entero, pero 2 no lo es.
Enunciado abierto: Son expresiones que contienen una o más variables.
Ejemplos:
1)
2)
Los enunciados abiertos no son proposiciones, pero pueden convertirse en proposiciones de dos maneras:
a) Dando valores a las variables. Por ejm. Si en 1)hacemos , se obtiene , que es una proposición falsa.
b) Empleando cuantificadores. Hay dos tipos de cuantificadores: Cuantificador existencial, se lee “existe”; Cuantificador universal, se lee “para todo”. Por ejm. Si empleamos cuantificadores en 1)
, se obtiene una proposición que es verdadera.
, se obtiene una proposición que es falsa.
Términos de Enlace o Conectivos Lógicos: Sonexpresiones que se utilizan para unir proposiciones y obtener de esta manera otras proposiciones más complejas.
Entre ellos tenemos:
Termino de enlace
Símbolo
no

y

O (inclusivo)

O (exclusivo)

Si y solo si

Si …. entonces ….

Nota:
es un “seudo” término de enlace, ya que puede ser aplicado a una sola proposición
Clases de Proposiciones:
Simples o Atómicas: Son aquellas quecontienen un solo sujeto y un solo predicado. También se dice que son aquellas que no contienen términos de enlace.
Ejemplos:
1) La química es mi asignatura favorita.
2) 11
Una proposición atómica se simboliza por medio de una letra minúscula.
Ejemplo: Si hacemos
, entonces esta representando a la proposición
, entonces esta representando a la proposición
Compuestas o Moleculares:Si las proposiciones simples se combinan con términos de enlace, se forma una nueva proposición a la cual llamaremos: proposición compuesta.
También podemos decir que una proposición compuesta es aquella que contiene más de un sujeto o predicado.
Ejemplos:
1) El es inteligente o estudia todos los días
Para simbolizar hacemos, .
Simbolizando,
2) Si la figura es un triángulo entoncestiene 3 lados.
Para simbolizar hacemos,
Simbolizando,
Jerarquía de los términos de enlace:
La jerarquía de los términos de enlace se refiere a la potencia de cada uno de ellos. Se considera que es el más débil; son de igual potencia, pero más potentes que ; es más potente que los anteriores, y es el más potente de todos. Sin embargo, se puede hacer que un determinado conectivosea más potente que los demás utilizando, de manera conveniente, los signos de agrupación (paréntesis, corchetes, llaves).
Así, en la proposición: el término de enlace dominante es . Si se quiere que el termino de enlace dominante sea , escribiremos .
De acuerdo al término de enlace dominante las proposiciones moleculares toman los siguientes nombres:
Negación: Si el termino de enlacedominante es
Disyunción: Si el termino de enlace dominante es
Conjunción: Si el termino de enlace dominante es
Condicional: Si el termino de enlace dominante es
Bicondicional: Si el termino de enlace dominante es
Nota: En la condicional
Cuando una proposición se da en el lenguaje oral o escrito para identificar el término de enlace dominante es costumbre expresarla en su forma más...
Leer documento completo

Regístrate para leer el documento completo.

Estos documentos también te pueden resultar útiles

  • Matematica
  • Matematica
  • Matematicas
  • Las matemáticas
  • Matematica
  • Matematicas
  • Matematica
  • Matematicas

Conviértase en miembro formal de Buenas Tareas

INSCRÍBETE - ES GRATIS