Scribd
Cargar
11 vistas3 páginas

Taller Logica Matematica

El documento presenta un taller sobre lógica proposicional, donde se evalúan valores de verdad de proposiciones simples y compuestas, así como la veracidad de ciertas tautologías y contradicciones. Se incluyen ejemplos de proposiciones y sus respectivos análisis utilizando diagramas de árbol y tablas de verdad. Además, se demuestran varias equivalencias lógicas, concluyendo que algunas son tautologías y otras son contradicciones.

Cargado por

jesusggonzalez
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 DOCX, PDF, TXT o lee en línea desde Scribd
11 vistas3 páginas

Taller Logica Matematica

El documento presenta un taller sobre lógica proposicional, donde se evalúan valores de verdad de proposiciones simples y compuestas, así como la veracidad de ciertas tautologías y contradicciones. Se incluyen ejemplos de proposiciones y sus respectivos análisis utilizando diagramas de árbol y tablas de verdad. Además, se demuestran varias equivalencias lógicas, concluyendo que algunas son tautologías y otras son contradicciones.

Cargado por

jesusggonzalez
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 DOCX, PDF, TXT o lee en línea desde Scribd

TALLER 1.

Indique el valor de verdad de las siguientes proposiciones:


A. a= “4 es un numero par y 5 es múltiplo de 2”
B. b= “La víbora es un reptil o el canario es un pez”
C. c= “Si el oro es un metal, entonces es un buen conductor de la electricidad”
D. d= “La guacamaya es un pez si y solo si el tiburón en un ave”
2. Sabiendo que p es verdadera, q es falsa y r es verdadero, hallar el valor de
verdad de las siguientes proposiciones compuestas por medio del diagrama de
árbol.
A. q  (p  q)
B. ( p   q)  (p  r)
C. ~p  (~q  r)
D. p  (~p  r)
E. (~r  (p  q))  (r  q)
3. Comprobar por medio de una tabla de verdad que las siguientes
proposiciones son una tautología, una contingencia o una contradicción:
A. ~p  ~q
B. (p  q)  (p  q)
C. (p  (p  q))  p
D. ~p  (~q  r)
E. ({[(p  q)  r]  ~q}  q)  (r  q)

4. Demuestre que [p ∧ (p ⇒ q)] ⇒ q es una tautología.

5. Demuestre que (p ∨ [∼p ∧ q]) ⇔ (p ∨ q) es una contradicción.

6. Demuestre que (p ∨ [∼r ∧ q]) ⇔ (p ∨ q) es una tautología.

SOLUCION

1) Valor de verdad (proposiciones simples)


A. a = “4 es un número par y 5 es múltiplo de 2”
4 es par (V). 5 múltiplo de 2 (F).

Conjunción V ∧ F = F.
B. b = “La víbora es un reptil o el canario es un pez”
“víbora es reptil” (V). “canario es pez” (F).

Disyunción V ∨ F = V.
C. c = “Si el oro es un metal, entonces es un buen conductor de la
electricidad”
“El oro es metal” (V) y “el oro es buen conductor” (V).

Condicional V ⇒ V = V.
D. d = “La guacamaya es un pez si y solo si el tiburón es un ave”
“guacamaya es pez” (F), “tiburón es ave” (F).
Bicondicional F ↔ F = V.

2) Valores dados p = V, q = F, r = V — evaluar por diagrama/razonamiento

A. q ⇒ (¬p ∧ q)
q = F ⇒ (cualquier consecuente) → Condicional con antecedente F es V.

B. (¬p ∧ ¬q) ⇒ (p ∨ r)
¬p = F, ¬q = T → antecedente = F ∧ T = F → condicional (F ⇒ …) = V.

C. ¬p ∨ (¬q ↔ r)
¬p = F. ¬q = T, r = T → (¬q ↔ r) = T ↔ T = T. F ∨ T = V.

D. p ∨ (¬p ∧ r)
p = V → disyunción V ∨ (…) = V.

E. (¬r ⇒ (p ∨ q)) ⇒ (r ↔ q)
¬r = F, así ¬r ⇒ (p∨q) = F ⇒ (…) = T.

Entonces T ⇒ F = F.
r ↔ q = T ↔ F = F.

4) Demostrar que [p ∧ (p ⇒ q)] ⇒ q es tautología


Demostración por equivalencias (compacta):

p ∧ (p ⇒ q) = p ∧ (¬p ∨ q)
= (p ∧ ¬p) ∨ (p ∧ q) = F ∨ (p ∧ q) = p ∧ q.

Entonces [p ∧ (p ⇒ q)] ⇒ q ≡ (p ∧ q) ⇒ q, y (p ∧ q) ⇒ q es siempre verdadero


(si p∧q es verdadero entonces q es verdadero; si p∧q es falso la implicación es
verdadera).
Conclusión: tautología.
5) Demuestre que (p ∨ [¬p ∧ q]) ⇔ (p ∨ q) es una contradicción.
la fórmula dada no es una contradicción; es una tautología.
Justificación:

p ∨ (¬p ∧ q) = (p ∨ ¬p) ∧ (p ∨ q) — (distributiva)


= T ∧ (p ∨ q) = p ∨ q.

Por tanto la bicondicional (p ∨ [¬p ∧ q]) ⇔ (p ∨ q) es (p ∨ q) ⇔ (p ∨ q), que es


siempre verdadera.
Conclusión: Tautología.

6) Demuestre que (p ∨ [¬r ∧ q]) ⇔ (p ∨ q) es una tautología.


Esta equivalencia no es una tautología en general. Es contingencia

LHS = F ∨ (¬T ∧ T) = F ∨ (F ∧ T) = F ∨ F = F.
Toma p = F, q = T, r = T:

RHS = p ∨ q = F ∨ T = T.
Entonces LHS ≠ RHS → bicondicional es F en esa asignación.
Conclusión: tautología.

También podría gustarte