Scribd
Cargar
114 vistas2 páginas

Tautologías en Lógica Proposicional

El documento presenta tres demostraciones de tautologías lógicas utilizando leyes de la lógica proposicional. La primera demuestra que (p ∧ q) → p es una tautología aplicando la ley de condicional y leyes de distribución. La segunda demuestra que (p ∧ q) → (p → q) es una tautología usando leyes de Morgan, conmutatividad e idempotencia. La tercera demuestra que [(p ∧ q) ∧ (p → r) ∧ (q → r)] → r es una taut

Cargado por

zjeanko
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
114 vistas2 páginas

Tautologías en Lógica Proposicional

El documento presenta tres demostraciones de tautologías lógicas utilizando leyes de la lógica proposicional. La primera demuestra que (p ∧ q) → p es una tautología aplicando la ley de condicional y leyes de distribución. La segunda demuestra que (p ∧ q) → (p → q) es una tautología usando leyes de Morgan, conmutatividad e idempotencia. La tercera demuestra que [(p ∧ q) ∧ (p → r) ∧ (q → r)] → r es una taut

Cargado por

zjeanko
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd

UNIVERSIDAD TÉ CNICA DE MANABÍ

INSTITUTO DE CIENCIAS BÁSICAS


Departamento de Matemática y Estadı́stica

Lógica y Conjuntos Discretos


Deber 1
Nombre: Zambrano Cevallos Jean Carlos

Demostrar que (p ∧ q) → p es una Tautología:


¬ (p ∧ q) ∨ p (p → q) ≡ ¬ p ∨ p LEY DE CONDICIONAL
(¬ p ∨ ¬q) ∨ p ¬ (p ∨ q) ≡ ¬p ∧ ¬q LEY DE MORGAN
¬ p ∨ ¬q ∨ p ¬q ∨ q ≡ V LEY DE NEGACIÓN
¬p∨V ¬ p ∨ V ≡ V LEY DE DOMINACIÓN
V ¬ p ∨ V ≡ V LEY DE DOMINACIÓN

Demostrar que (p ∧ q) → (p → q) es una Tautología:


¬ (p ∧ q) ∨ (p → q) ( p → q) ≡ ¬ p ∨ p LEY DE CONDICIONAL
¬p ∨ ¬q ∨ ¬p ∨ q ¬ (p ∨ q) ; (p → q) ≡ ¬ p ∨ p LEY DE MORGAN y CONDICIONAL
¬q ∨ ¬p ∨ ¬p ∨ q p ∨ q ≡ q ∨ p LEY CONMUTATIVA
¬p ∨ ¬q ∨ q ¬p ∨ ¬p ≡ ¬p LEY IDEMPOTENTE
¬p ∨ V ¬q ∨ q ≡ V LEY DE DOMINACIÓN
V ¬ p ∨ V ≡ V LEY DE DOMINACIÓN

Demostrar que [ (p ∧ q) ∧ (p → r) ∧ (q → r)] → r es una Tautología:


¬[ (p ∧ q) ∧ (p → r) ∧ (q → r)] ∨ r (p → q) ≡ ¬ p ∨ p LEY DE CONDICIONAL
¬[ (p ∧ q) ∧ (¬p ∨ r) ∧ (¬q ∨ r)] ∨ r (p → q) ≡ ¬ p ∨ p LEY DE CONDICIONAL
¬ [(p ∧ q) ∧ [r ∨ (¬p ∧ ¬q)] ∨ r p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r) LEY DISTRIBUCIÓN
¬ [(p ∧ q) ∧ r ∨ (p ∧ q) ∧¬(p ∧ q)] ∨ r (¬p ∧ ¬q) ≡ ¬ (p ∨ q) LEY DE MORGAN
¬ [(p ∧ q) ∧ r ∨ F] ∨ r ¬q ∨ q ≡ V LEY DE NEGACIÓN
¬ [(p ∧ q) ∧ r] ∧ ¬F ∨ r AGRUPAMOS
¬ [(p ∧ q) ∧ r] ∧ V ∨ r P v ¬P ≡ V LEY DE NEGACIÓN
¬ [(p ∧ q) ∧ r] ∨ r P ∧ V≡ P LEY DE IDENTIDAD
¬ (p ∧ q) ∨ ¬r ∨ r (¬p ∧ ¬q) ≡ ¬ (p ∨ q) LEY DE MORGAN
¬ (p ∧ q) ∨ V ¬q ∨ q ≡ V LEY DE NEGACIÓN
V∨P V ∨ P ≡ V LEY DE DOMINACIÓN
V

También podría gustarte