Proposición Atómica: Cuando se puede representar con una variable proposicional. Entre sus signos no contiene ningún conectivo lógico Proposición molecular:

Presentación del tema: "Proposición Atómica: Cuando se puede representar con una variable proposicional. Entre sus signos no contiene ningún conectivo lógico Proposición molecular:"— Transcripción de la presentación:

1 Proposición Atómica: Cuando se puede representar con una variable proposicional. Entre sus signos no contiene ningún conectivo lógico Proposición molecular: Cuando su representación requiere de por lo menos dos variables lógicas. Entre sus signos contiene conectivos lógicos.

2 Ej. a: El juez es imparcial b: César y Juan son hermanos c: Piura está entre Tumbes y Lambayeque d. Si estudio Lógica, aprobaré el curso e: Si María estudia o trabaja, logrará éxitos en su vida. f: Estudio y trabajo en la Universidad

3 Arreglos con valores de verdad Valores de verdad para la fórmulas
Tablas de verdad: Si una fórmula contiene n – variables proposicionales, el número de arreglos con los valores de verdad es igual a 2n VARIABLES FÓRMULAS Arreglos con valores de verdad Valores de verdad para la fórmulas

4 Jerarquías en las fórmulas:
Todo conectivo que se encuentra en el exterior de un signo de colección, tiene mayor jerarquía que los conectivos que se encuientran en el interior. p → (q ۷ r) (p → q) ۸ (q ۷ t) m ↔ { p ۷ ( r → s) } 3° ° 1°

5 Regla: Cuando la conectiva de negación está delante de una variable, es siempre la conectiva de menor jerarquía. Ej. (p ۷ q ) → - (m ↔ - r) 4° ° 3° ° 1°

6 Regla: En las tablas de verdad, la matriz principal corresponde al operador de mayor jerarquía. p q (p ۷ q ) → - (q ↔ - p) V ? F

7 Jerarquía de operadores:
Cuando en una fórmula no aparecen signos de colección, hay que considerar la siguiente jerarquía: Bicondicional Condicional Disyunción Conjunción Negación

8 Tautología: Fórmula lógica donde todos los valores de verdad de la matriz principal son VERDADEROS. Contradicción: Todos los valores de verdad de la matriz principal son FALSOS. Contingencia: La matriz principal presenta valores de verdad VERDADEROS Y FALSOS.

9 Ej. Construir las tablas de verdad para.
1. (p → q) ↔ (-p ۷ q) 2. (p → q) → { (p → q) ۷ (r → p) } 3. (p ۸ q) ۷ (p ۸ r) ↔ -p

10 Principios lógicos P. de Identidad: Toda proposición es lógicamente equivalente a si misma: p ↔ p P. de no Contradicción: No es posible que una proposición sea verdadera y falsa simultáneamente: ⌐(p ۸ ⌐p) P del Tercio Excluido: Una proposición es verdadera o es falsa. No hay posibilidad intermedia: (p ۷ ⌐p)

11 Ej. Determine las fórmulas tautológicas que corresponden a los siguientes razonamientos. Si existe un libro, existe un lápiz o un libro. Dadas dos proposiciones distintas, ocurre que la segunda se deduce de la primera o la primera de la segunda. Una proposición implica que cualquier otra proposición la implica Una proposición de la que se deduce su propia negación debe ser rechazada.

12 Formalización lógica:
Proceso en el que se traduce un razonamiento o deducción formulado en lenguaje natural, a una escrita en lenguaje lógico. Inferencia o deducción. Operación lógica por la que a partir de la verdad de ciertas proposiciones llamadas premisas, se deriva la verdad de otra llamada conclusión. PREMISAS → CONCLUSIÓN

13 Esquema de la formalización lógica:
p1 ۸ p2 ۸ p3 ۸ ….. ۸ pn → C P1 P2 p3 … pn Por lo tanto: . Conclusión

14 Validez de un argumento:
Un argumento es lógicamente válido si el condicional que conecta las premisas y la conclusión es una TAUTOLOGÍA

15 Ej. Si estoy viendo una película, estoy en el cine. Estoy viendo una película, por lo tanto estoy en el cine. p: Estoy viendo una película. q: Estoy en el cine Razonamiento p1: p → q p2: p : q Fórmula tautológica: {(p → q) ۸ p } → q

16 Ej. Alegría estudia lógica o geometría, sin embargo no estudia lógica. En consecuencia, estudia geometría. p: Miriam estudia lógica. q: Miriam estudia geometría. Esquema: p ۷ q -p :. q Fórmula: [(p ۷ q) ۸ -p ] → q

17 Ej. Formalizar el siguiente argumento.
“ Hoy habrá una conferencia si sólo si hay concierto; sin embargo, no habrá baile y concierto pero si uno de los dos. En conclusión, habrá conferencia” Ej. No es posible que una persona sea privilegiada y defienda lo justo; sin embargo, es privilegiada. Así, no defenderá lo justo.