La Lógica   HABILIDAD DE   PENSAMIENTOJOAQUIN LARA SIERRA
Definiendo la Lógica• La lógica es una ciencia formal y una rama de la filosofía que  estudia los principios de la demostr...
Lógica proposicional• En lógica, la lógica proposicional es un sistema  formal diseñado para analizar ciertos tipos de  ar...
Introducción• p↔¬q• q→t• p→(¬t n)•   p: la humanidad es libre•   q: los humanos están ligados a una esencia•   t: Dios cre...
Considérese el siguiente argumento:• Mañana es miércoles o mañana es jueves.• Mañana no es jueves.• Por lo tanto, mañana e...
• Es un argumento válido. Quiere decir que es  imposible que las premisas sean verdaderas y la  conclusión falsa. Esto no ...
Por ejemplo:Está soleado o está nublado.No está nublado.Por lo tanto, está soleado.                               7
En cambio, la validez de estos dos argumentosdepende del significado de las expresiones «o» y«no». Si alguna de estas expr...
• Las expresiones de las que depende la validez  de los argumentos se llaman constantes  lógicas. La lógica proposicional ...
A estas letras se las llama variablesproposicionales, y en general se toman delalfabeto latino, empezando por la letra p, ...
Conectivas lógicas                         Expresión en el                             Símbolo en            Símbolos     ...
• En la lógica proposicional, las conectivas lógicas son tratados  como funciones de verdad. Es decir, como funciones que ...
• Otra convención acerca del uso de los paréntesis es que las  conjunciones y las disyunciones tienen «menor jerarquía»  q...
• La lógica de primer orden incorpora además las conectivas de  la lógica proposicional. Combinando las conectivas con los...
EjemplosPor ejemplo, “Juan es alto pero flaco” puedetraducirse comop ^ q, donde:  ◮ p = ’Juan es alto’.  ◮ q = ’Juan es fl...
EjemploConstruya la tabla de verdad de  (p ˅ q) ^ ¬(p ^ q).¿Cuál es el ’significado’ de esta oración?   p     q    (p ˅ q)...
AplicaciónRealizar un algoritmo para cruzar una calle por unpaso de peatones:  Inicio  Mirar a la derecha y a la izquierda...
EjerciciosUsando tablas demuestre que1.   ¬(¬p)↔ p   P   ¬P   ¬(¬p)   4. p˅T↔T P     T        p˅T                V        ...
Próxima SlideShare
Cargando en…5
×

La lógica

1.488 visualizaciones

Publicado el

0 comentarios
0 recomendaciones
Estadísticas
Notas
  • Sé el primero en comentar

  • Sé el primero en recomendar esto

Sin descargas
Visualizaciones
Visualizaciones totales
1.488
En SlideShare
0
De insertados
0
Número de insertados
85
Acciones
Compartido
0
Descargas
33
Comentarios
0
Recomendaciones
0
Insertados 0
No insertados

No hay notas en la diapositiva.

La lógica

  1. 1. La Lógica HABILIDAD DE PENSAMIENTOJOAQUIN LARA SIERRA
  2. 2. Definiendo la Lógica• La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική (logike), que significa «dotado de razón, intelectual, dialéctico, argumentativo», que a su vez viene de λόγος (logos), «palabra, pensamiento, idea, argumento, razón o principio».• La lógica examina la validez de los argumentos en términos de su estructura, (estructura lógica), independientemente del contenido específico del discurso y de la lengua utilizada en su expresión y de los estados reales a los que dicho contenido se pueda referir.• Esto es exactamente lo que quiere decir que la lógica es una ciencia «formal». 2
  3. 3. Lógica proposicional• En lógica, la lógica proposicional es un sistema formal diseñado para analizar ciertos tipos de argumentos. En lógica proposicional, las fórmulas representan proposiciones y las conectivas lógicas son operaciones sobre dichas fórmulas, capaces de formar otras fórmulas de mayor complejidad. Como otros sistemas lógicos, la lógica proposicional intenta esclarecer nuestra comprensión de la noción de consecuencia lógica para el rango de argumentos que analiza. 3
  4. 4. Introducción• p↔¬q• q→t• p→(¬t n)• p: la humanidad es libre• q: los humanos están ligados a una esencia• t: Dios creó a los humanos• n: todos los elefantes vuelan 4
  5. 5. Considérese el siguiente argumento:• Mañana es miércoles o mañana es jueves.• Mañana no es jueves.• Por lo tanto, mañana es miércoles. 5
  6. 6. • Es un argumento válido. Quiere decir que es imposible que las premisas sean verdaderas y la conclusión falsa. Esto no quiere decir que la conclusión sea verdadera. Si las premisas son falsas, entonces la conclusión también podría serlo. Pero si las premisas son verdaderas, entonces la conclusión también lo es. La validez de este argumento no se debe al significado de las expresiones «mañana es miércoles» y «mañana es jueves», porque éstas podrían cambiarse por otras y el argumento permanecer válido 6
  7. 7. Por ejemplo:Está soleado o está nublado.No está nublado.Por lo tanto, está soleado. 7
  8. 8. En cambio, la validez de estos dos argumentosdepende del significado de las expresiones «o» y«no». Si alguna de estas expresiones se cambiarapor otra, entonces podría ser que los argumentosdejaran de ser válidos. Por ejemplo:• Ni está soleado ni está nublado.• No está nublado.• Por lo tanto, está soleado 8
  9. 9. • Las expresiones de las que depende la validez de los argumentos se llaman constantes lógicas. La lógica proposicional estudia el comportamiento de algunas de estas expresiones, llamadas conectivas lógicas. En cuanto a las expresiones como "está nublado" o "mañana es jueves", lo único que importa de ellas es que tengan un valor de verdad. Es por esto que se las reemplaza por simples letras, cuya intención es simbolizar una expresión con valor de verdad cualquiera. 9
  10. 10. A estas letras se las llama variablesproposicionales, y en general se toman delalfabeto latino, empezando por la letra p, luegoq, r, s, etc. Así, los dos primeros argumentos deesta sección podrían reescribirse así:• poq• No q• Por lo tanto, p 10
  11. 11. Conectivas lógicas Expresión en el Símbolo en Símbolos Conectiva Ejemplo lenguaje natural este artículo alternativosNegación no No está lloviendo. ¬ ͠ Está lloviendo y estáConjunción y nublado. ˄ & . Está lloviendo o estáDisyunción o soleado. ˅ Si está soleado,Condicional material si... entonces entonces es de día. → Ↄ Está nublado si y sóloBicondicional si y sólo si si hay nubes visibles. ↔ ≡ Ni está soleado ni estáNegación conjunta ni... ni nublado. ↓ O bien está soleado, oDisyunción excluyente o bien... o bien bien está nublado. ↔ W 11
  12. 12. • En la lógica proposicional, las conectivas lógicas son tratados como funciones de verdad. Es decir, como funciones que toman conjuntos de valores de verdad y devuelven valores de verdad. Por ejemplo, la conectiva lógica no es una función que si toma el valor de verdad V, devuelve F, y si toma el valor de verdad F, devuelve V. Por lo tanto, si se aplica la función no a una letra que represente una proposición falsa, el resultado será algo verdadero. Si es falso que «está lloviendo», entonces será verdadero que «no está lloviendo». 12
  13. 13. • Otra convención acerca del uso de los paréntesis es que las conjunciones y las disyunciones tienen «menor jerarquía» que los condicionales materiales y los bicondicionales. Esto significa que dada una fórmula sin paréntesis, las conjunciones y las disyunciones deben agruparse antes que los condicionales materiales y los bicondicionales. Por ejemplo: 13
  14. 14. • La lógica de primer orden incorpora además las conectivas de la lógica proposicional. Combinando las conectivas con los predicados, constantes, variables y cuantificadores, es posible formalizar oraciones como las siguientes: 14
  15. 15. EjemplosPor ejemplo, “Juan es alto pero flaco” puedetraducirse comop ^ q, donde: ◮ p = ’Juan es alto’. ◮ q = ’Juan es flaco’. 15
  16. 16. EjemploConstruya la tabla de verdad de (p ˅ q) ^ ¬(p ^ q).¿Cuál es el ’significado’ de esta oración? p q (p ˅ q) (p ^ q) ¬(p ^ q) (p ˅ q) ^ ¬(p ^ q) V V V V F F V F V F V V F V V F V V F F F F V F 16
  17. 17. AplicaciónRealizar un algoritmo para cruzar una calle por unpaso de peatones: Inicio Mirar a la derecha y a la izquierda Mientras pasen vehículos Esperar Mirar a la derecha y a la izquierda Fin mientras Cruzar la calle Fin 17
  18. 18. EjerciciosUsando tablas demuestre que1. ¬(¬p)↔ p P ¬P ¬(¬p) 4. p˅T↔T P T p˅T V F2. p˄¬p ↔C P ¬P P˄¬P 5. p˄T↔P P T p˄T3. p˅¬p↔T P ¬P p˅¬p 6. p˅C↔p P C p˅C 18

×