Modificar y demostrar

Aplicar los cambios necesarios al siguiente razonamiento presentado en clase y luego demostrar su validez. 

1) (¬p ∧ ¬r) → r

2) ¬p ∨ ¬r

3) p
---------------------

.·. p ∧ (p ∨ r)

4) ¬r                                 Silogismo Disyuntivo (2,3)

5) ¬ (¬p ∧ ¬r)                            Modus Tollens (1,4)

6) (p ∨ r)                                  De Morgan de ∧ (5)

7) p ∧ (p ∨ r)                             Combinación (3,6)

¿Existe alguna expresión equivalente a la que obtuvimos?

 

Demostración con reglas de inferencia

1. ¬r V ¬s
2. ¬s → ¬p
3. ¬r → ¬q
4. ¬q

       ----------------

       .·. ¬p ^ ¬q 

1. p → ¬q
2. ¬q → ¬s
3. ( p → ¬s ) → ¬t
4. r → t

       -------------------------

       .·. ¬r 

 

Reglas de Inferencia

Anallogica

El siguiente software, tras ingresarle una expresión lógica, devuelve la correspondiente tabla de verdad.
Este les servirá para facilitar la verificación de la equivalencia de dos expresiones, entre otras cosas.

http://anallogica.sourceforge.net

Actividad sobre Equivalencias Lógicas

Debido a que hoy no pudimos realizar la actividad escrita que teníamos planeada, utilizaremos este medio para realizar una sencilla actividad que les permita autoevaluarse. 
Cualquier duda o consulta surgida mientras realizan los trabajos serán evacuadas en clase.

1. (p ↔ q) ↔ [(p ∨ ¬q) ∧ (¬p ∨ q)]
2. ¬(¬p ↔ q) ↔ ¬[(p ∧ q) ∨ (¬p ∧ ¬q)]
3. p → [¬p ∨ ( p ∧ q ) ]
4. (¬p ∧ q ) ∨ ¬ ( p ∨ q )
5. ¬p ∧ [ ( p ∧ q ) ∨ ( p ∧ r ) ]

 

①

(p ↔ q) ↔ [(p ∨ ¬q) ∧ (¬p ∨ q)]                                          p ↔ q ≡ (p → q) ∧ (q → p)

[(p → q) ∧ (q → p)] ↔ [(p ∨ ¬q) ∧ (¬p ∨ q)]                                         p → q ≡ ¬p ∨ q

[(¬p ∨ q) ∧ (q → p)] ↔ [(p ∨ ¬q) ∧ (¬p ∨ q)]                                         p → q ≡ ¬p ∨ q

[(¬p ∨ q) ∧ (¬q ∨ p)] ↔ [(p ∨ ¬q) ∧ (¬p ∨ q)]                           Leyes conmutativas de V

[(¬p ∨ q) ∧ (p ∨ ¬q)] ↔ [(p ∨ ¬q) ∧ (¬p ∨ q)]                           Leyes conmutativas de ∧

[(p ∨ ¬q) ∧ (¬p ∨ q)] ↔ [(p ∨ ¬q) ∧ (¬p ∨ q)]

②

¬(¬p ↔ ¬q) ↔ ¬[(p ∧ q) ∨ (¬p ∧ ¬q)]                                             p ↔ q ≡ ¬p ↔ ¬q

¬(p ↔ q) ↔ ¬[(p ∧ q) ∨ (¬p ∧ ¬q)]                                      p ↔ q ≡ (p ∧ q) ∨ (¬p ∧ ¬q)

¬(p ↔ q) ↔ ¬(p ↔ q)

③

p → [¬p ∨ (p ∧ q)]                                                                              p → q ≡ ¬p ∨ q

¬p ∨ [¬p ∨ (p ∧ q)]                                                                               Asociativa de ∨

(¬p ∨ ¬p) ∨ (p ∧ q)                                                                            Idempotente de ∨

¬p ∨ (p ∧ q)

④

(¬p ∧ q) ∨ ¬(p ∨ q)                                                                           De Morgan de V

(¬p ∧ q) ∨ (¬p ∧ ¬q)                                                                       Distributiva de ∧,V

¬ p ∧ (q ∨ ¬q)                                                                                       Negación de V

¬ p ∧ V                                                                                                  Identidad de ∧

¬ p

 

 

⑤

¬p ∧ [(p ∧ q) ∨ (p ∧ r)]                                                                  Distributiva de ∧,V

¬p ∧ [p ∧ (q V r)]                                                                                 Asociativa de ∧

(¬p ∧ p) ∧ (q V r)                                                                              Conmutativa de ∧

(p ∧ ¬p) ∧ (q V r)                                                                                   Negación de ∧

F ∧ (q V r)                                                                                         Conmutativa de ∧

(q V r) ∧ F                                                                                                                 Dominación de ∧

F

Deber Equivalencias Lógicas

Resolver y comentar en esta publicación, las siguientes equivalencias lógicas:

• (p ^q) → (p v q) ↔ V
• ¬(p v (¬p ^q)) ↔ (¬p ^ q)

Reglas y Equivalencias Lógicas

En la siguiente dirección pueden descargar un documento con las tablas de verdad, operadores lógicos y equivalencias lógicas: Reglas y Equivalencias Lógicas.pdf

Equivalencias lógicas relacionadas con implicaciones.

Equivalencias lógicas

Preparando el escrito

Construye las tablas de verdad de las siguientes expresiones lógicas:

1. (p ^ q) → p

2. ¬(p v q) → r

3. ¬(p ^ q) ↔ (p v q) 

4. (q v p) ↔ (¬p ^ ¬ q)

5. (r w p) ↔ ¬(¬q ^ (r v p) )

6. (s ^ r) v (q ^ p)

7. (p v q)  ↔ (¬p v ¬q)

8. (s w p) → (q ^ r) v (r ↔ p) ^ (¬s w ¬p)


Encuentra el error en la siguiente tabla de verdad. 
Indica su ubicación y represéntala correctamente.

(	p	→	q	)	^	(	p	^	¬	q	)
	F	V	F		F		F	F	V	F
	F	V	V		F		F	F	F	V
	V	F	F		F		V	V	V	F
	V	V	V		V		V	V	V	V

Conectores Lógicos

Negación

p	¬ p
F	V
V	F

Conjunción

p	q	p ^ q
F	F	F
F	V	F
V	F	F
V	V	V

Disyunción Inclusiva

p	q	p V q
F	F	F
F	V	V
V	F	V
V	V	V

Condicional

p	q	p → q
F	F	V
F	V	V
V	F	F
V	V	V

Bicondicional

p	q	p ↔ q
F	F	V
F	V	F
V	F	F
V	V	V

Disyunción Exclusiva

p	q	p W q
F	F	F
F	V	V
V	F	V
V	V	F

Cómo editar el Blog