Este documento presenta las definiciones y propiedades básicas de la lógica proposicional. Introduce los operadores lógicos como la negación, conjunción, disyunción, condicional y bicondicional. Define términos como tautología, contradicción y contingencia. Finalmente, enumera las leyes fundamentales del álgebra de proposiciones.
0 calificaciones0% encontró este documento útil (0 votos)
103 vistas4 páginas
Este documento presenta las definiciones y propiedades básicas de la lógica proposicional. Introduce los operadores lógicos como la negación, conjunción, disyunción, condicional y bicondicional. Define términos como tautología, contradicción y contingencia. Finalmente, enumera las leyes fundamentales del álgebra de proposiciones.
Este documento presenta las definiciones y propiedades básicas de la lógica proposicional. Introduce los operadores lógicos como la negación, conjunción, disyunción, condicional y bicondicional. Define términos como tautología, contradicción y contingencia. Finalmente, enumera las leyes fundamentales del álgebra de proposiciones.
Este documento presenta las definiciones y propiedades básicas de la lógica proposicional. Introduce los operadores lógicos como la negación, conjunción, disyunción, condicional y bicondicional. Define términos como tautología, contradicción y contingencia. Finalmente, enumera las leyes fundamentales del álgebra de proposiciones.
Descargue como PDF, TXT o lea en línea desde Scribd
Descargar como pdf o txt
Está en la página 1/ 4
10 CAPÍTULO 1.
LÓGICA
1.3.6. La bicondicional. Esta proposición es verdadera siempre que dos proposiciones tengan el mismo valor, es decir ambas verdaderas o ambas falsas. Definición 1.3.6. Un operador lógico bicondicional tiene la forma ←→: P × P −→ P si y solamente si a, cada par de proposiciones (p, q) le hace corresponder la proposicion p ←→ q para todo p, q ∈ P. Su tabla de verdad correspondiente es como sigue: p q p ←→ q V V V V F F F V F F F V Tabla 5 Escolio La siguiente proposición p ←→ q tiene la siguiente lectura: p si y solamente si q. p es una condición necesaria y suficiente para q. p si y solo si q.
1.3.7. Jerarquía de los conectivos lógicos
Es el orden en el que se resolverá una expresión compuesta. Y el orden es el siguiente: Primero las llaves, los corchetes y los paréntesis, seguidamente de los operadores unarios y binarios
Practica 3 Mostrar la tabla de verdad de las siguientes proposiciones
1.4. Tautologia Toda proposición simple o compuesta que sea verdadera para cualquier combinación de sus va- lores de verdad en sus componentes de denomina tautologia.
Definición 1.4.1. Sea p una proposición del conjunto de las proposiciones P. Se dice que p es una tautologia si y solo si p = V . Ejemplo 1.4.2. La siguiente proposición es tautología 1.5. CONTRADICCIÓN 11
p r ∼ r → (∼ p ∨ ∼ r) V V V V F V F V V F F V
Cuadro 1.1: Tabla de verdad para proposición tautología
1.5. Contradicción Cualquier proposición simple o compuesta que toma el valor de falsedad para toda sus combi- naciones se le llama contradicción.
Definición 1.5.1. Dado p un elemento proposicional del conjunto de proposiciones P. Se llama
contradicción a la proposición p si y solamente si p = F.
Ejemplo 1.5.2. La siguiente proposición es contradicción
p r ∼ r ←→ [(p ∨ r) ∧ (r ∨ r)] V V F V F F F V F F F F
Cuadro 1.2: Tabla de verdad para proposición contradicción
1.6. Contingencia Toda proposición simple o compuesta que toma valores de F y V para todas sus combinaciones se llama contingencia.
Definición 1.6.1. Consideremos a p ∈ P. Se dice que p es una contingencia si es necesario y
suficiente que p presente valores de F y V .
Ejemplo 1.6.2. La siguiente proposición es contigencia
p r (p∧ ∼ r) ←→ [(p ∨ r) ∧ (r → ∼ p)]
V V V V F V F V F F F V
Cuadro 1.3: Tabla de verdad para proposición contingencia
Nota 1.6.3. Las proposiciones compuestas p ∨ q,p Y q, p ∧ q, p → q y p ↔ q son contingencias
12 CAPÍTULO 1. LÓGICA
1.7. Implicación lógica
Se llama implicación lógica o simplemente implicación a toda condicional que sea una tautologia, denotado por el símbolo =⇒. A continuación presentamos una definición particular. Definición 1.7.1. Sean p, q ∈ P y dado la condicional p −→ q. Una implicación lógica es p =⇒ q, siempre que p −→ q sea una tautologia. Ejemplo 1.7.2. La siguiente proposición es implicación lógica
p r [(∼ p∧ ∼ r) ∨ (r∧ ∼ r)] −→∼ p
V V V V F V F V V F F V
Cuadro 1.4: Tabla de implicación lógica
Por lo tanto [(∼ p∧ ∼ r) ∨ (r∧ ∼ r)] =⇒∼ p
1.8. Equivalencia lógica
Se dice equivalencia logica o simplemente equivalencia a toda bicondicional que sea una tauto- logia, denotado por ⇐⇒ . Definición 1.8.1. Consideremos p, q ∈ P y sea p ←→ q. La equivalencia lógica es p ⇐⇒ q tal que p ←→ q sea una tautologia. Ejemplo 1.8.2. La siguiente proposición es una equivalencia lógica
p r [p ∧ (p ∨ r)] ←→ p V V V V F V F V V F F V
Cuadro 1.5: Tabla de equivalencia lógica
Por lo tanto [p ∧ (p ∨ r)] ⇐⇒ p
1.9. Proposiciones lógicamente equivalentes
Dos proposiciones son equivalentes o lógicamente equivalentes cuando sus tablas de verdad son idénticas Definición 1.9.1. Consideremos dos proposiciones p, q ∈ P. Se dice que p y q son lógicamente equivalentes si sus tablas de verdad son idénticas, denotado por p ≡ q.
1.10. Leyes del álgebra de proposiciones
1.10. LEYES DEL ÁLGEBRA DE PROPOSICIONES 13
1. Ley de involución 7. Leyes de la condicional
∼∼ p≡ p a) p → q ≡∼ p ∨ q b) ∼ (p → q) ≡ p∧ ∼ q 2. Ley de idempotencia a) p ∧ p ∧ · · · ∧ p ≡ p 8. Leyes de la bicondicional b) p ∨ p ∨ · · · ∨ p ≡ p a) p ↔ q ≡ (p → q) ∧ (q → p) b) p ↔ q ≡ (p ∧ q) ∨ (∼ p∧ ∼ q) 3. Leyes de Morgan a) ∼ (p ∨ q) ≡ (∼ p) ∧ (∼ q) 9. Leyes de reducción b) ∼ (p ∧ q) ≡ (∼ p) ∨ (∼ q) a) p ∧ (p ∨ q) ≡ p b) p ∨ (p ∧ q) ≡ p 4. Leyes conmutativas 10. Leyes del complemento a) p ∧ q ≡ q ∧ p a) p ∨ ∼ p ≡ V b) p ∨ q ≡ q ∨ p b) p ∧ ∼ p ≡ F c) p ↔ q ≡ q ↔ p c) ∼ V ≡ F d) ∼ F ≡ V 5. Leyes asociativas a) (p ∧ q) ∧ r ≡ p ∧ (q ∧ r) 11. Leyes de transposición b) (p ∨ q) ∨ r ≡ p ∨ (q ∨ r) a) p → q ≡∼ q → ∼ p c) (p ↔ q) ↔ r ≡ p ↔ (q ↔ r) b) p ↔ q ≡∼ q ↔ ∼ p
6. Leyes distributivas 12. Existencia del elemento neutro
a) p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r) a) V ∧ p ≡ p b)p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r) b) F ∧ p ≡ F c) p → (q ∧ r) ≡ (p → q) ∧ (p → r) c) V ∨ p ≡ V d) p → (q ∨ r) ≡ (p → q) ∨ (p → r) d) F ∨ p ≡ p
Practica 4
Mostrar la tabla de verdad de todas las leyes del álgebra de proposiciones donde los número pares con la tabla de verdad y los número impares con el Wolfram Alpha.
