PRÁCTICA CALIFICADA SOBRE EVALUACIÓN DE TABLAS DE

VALORES DE VERDAD

1. Evaluar la siguiente proposición: {[( q ^ ⁓ p ) ^ r ] → [( p v ⁓ r ) v q ] }↔ ⁓ r

p q r {[( ^ ⁓ ^ r] → [( p v ⁓r v q] ↔ ⁓r
q p) ) }

2. Evaluar la siguiente proposición: ⁓ [ ⁓ p v ( q → ⁓ r) ] ^ [(⁓ p v r ) ↔ ⁓ q ]

p q r ⁓ [ ⁓ v (q → ⁓ ^ [(⁓ v r ↔ ⁓q
p r) ] p ) ]

3. Evaluar la siguiente proposición: [(⁓ p ^ q) → ⁓ r] ↔ {[ r ^ ⁓ (p v ⁓ q)] → (q → ⁓

r )] }
p q r [(⁓ ^ q → ⁓ ↔ {[ r ^ ⁓ (p v ⁓ → (q → ⁓ r )]
p ) r] q)] }

4. Evaluar la siguiente proposición: { [( p ^ ⁓ q ) → r ] v ( p ^ ⁓ r )} ↔ s

 p q r s { [( ^ ⁓q → r] v (p ^ ⁓ ↔ s
p ) r) }

5. Evaluar la siguiente proposición: { [( ⁓ p ^ ⁓ q ) → ⁓ r ] ^ ( p Δ ⁓ r )} ↔ p

p q r { [(⁓ ^ ⁓ q → ⁓ r ^ (p Δ ⁓ ↔ p
p ) ] r) }

6. Evaluar la siguiente proposición: [( p Δ q) ↔ ⁓ r] →{[ r ^ (p ↔ ⁓ p)] Δ (q v ⁓ r )] }

p q r [(p Δ q) ↔ ⁓ → {[ r ^ (p ↔ ⁓ Δ (q v ⁓ r )]
r] p)] }