logica

Páginas: 2 (472 palabras) Publicado: 17 de junio de 2013
Lógica Matemática

Proporciones

Definición de Proporciones: Es una unidad semántica que se la puede determinar como falsa o verdadera. Las proporciones pueden ser simples o compuestas.Ejemplos.

Proporciones Simples
5 es un número primo
Emily viene a la Universidad

Proporciones Compuestas
Cristóbal viene a la Universidad a dar Clases
Emily viene a la universidad a estudiar.

Noson proporciones
¿Cuál es la edad de Carmen?
Apurate!
¿Cómo estás?

Definición de valor de verdad.
El valor de verdad es una proposición en calidad de veracidad.

Tabla de Verdad.
Es unarepresentación de los posibles valores de verdad que se podrían tomar de una proposición.

¿Qué es un enunciado?
Dentro del lenguaje natural es una expresión lingüística que establece un pensamientocompleto.

Tipos de Enunciados
Enunciado Interrogativo: ¿Cuál es su color favorito?
Enunciado Interpretativo: Cierra la puerta
Enunciado Declarativo: Emily estudia UTELVT
Enunciado Exclamativo:Oh Que lindo es Bryan!

¿Qué estudia la lógica?
Verifica que un argumento sea correcto
Argumenta que está formado por una premisa y una conclusión.
Algo que queremos verificar y la conclusión esderivable de las premisas.


¨Relación de consecuencias¨ (Es decir Relación de consecuencias entre las premisa y consecuencias)

Lenguaje formal de las proporciones

Lenguaje ProporcionalLenguaje Enunciado
Lenguaje Caracteres
Trabaja a los enunciados declarativos. Simples y atómicos como un todo indivisible.


Lenguaje Predicados
Lenguaje de 1er Orden
Lenguaje CuantificadoresRealiza un análisis más detallado de las proporciones,

Cuantificadores de sujeto y predicado.


Negación de Proporciones
Si tengo una proporción: tengo un billete $5 la negación seriaque NO tengo un billete de $5
Ejemplo con símbolo:
P es V = P
Q es V = Q

No quiero hacer un viaje – Quiero hacer un viaje.

Conjunción
Sea A y B proporciones entre Ay B representadas...
Leer documento completo

Regístrate para leer el documento completo.

Estos documentos también te pueden resultar útiles

  • Logica
  • Logica
  • Logica
  • Logica
  • Logica
  • Logico
  • logica
  • logica

Conviértase en miembro formal de Buenas Tareas

INSCRÍBETE - ES GRATIS