Ejercicios de logica

Solo disponible en BuenasTareas
  • Páginas : 4 (891 palabras )
  • Descarga(s) : 0
  • Publicado : 13 de diciembre de 2011
Leer documento completo
Vista previa del texto
Ejercicios de lógica Ejercicio 1 [¬ (p v r → q) ∧ p]→ ¬ r Tabla de verdad p V V V V F F F F q V V F F V V F F r V F V F V F V F ¬ r F V F V F V F V [ ¬ F F V V F F V F ( p v r V V V V V F V F → q) VV F F V V F V ∧ p] → ¬ r F V F V V F V V F V F V F V F V

CONTINGENCIA

Reducción al absurdo [¬ V 4 (p V 9 v V 7 r V 10 → F 6 q) ∧ F V 8 2 p] V 5 → F 1 ¬ F 3 r V

Fórmula NO VÁLIDA

Ejercicio2 [ ( p ∧ q → r ) ∧ p ] → ( p v ¬ r) Tabla de verdad p V V V V F F F F q V V F F V V F F r V F V F V F V F ¬ r F V F V F V F V [(p∧q V V F F F F F F → r) V F V V V V V V ∧ p] V F V V F F F F → V V V VV V V V (p v ¬ r) V V V V F V F V

TAUTOLOGÍA
1

Reducción al absurdo [(p ∧ q → V 4 r) ∧ V 2 p] → (p V F F 5 1 6 v F 3 ¬ F 7 r) V 8

Fórmula VÁLIDA

Ejercicio 3

[ [(pvq)
Tabla de verdadp V V V V F F F F q V V F F V V F F

∧ ¬ r] ∧ q ] → ( p ∧ r)

r V F V F V F V F

¬ r F V F V F V F V

[ [ (p v q)
V V V V V V F F

∧¬ r] F V F V F V F F

∧ q] F V F F F V F F

→ V F VV V F V V

(p∧r) V F V F F F F F

CONTINGENCIA

Reducción al absurdo

[ [ (p
V/F

v V 6

q) V 10

∧ V 4

¬ V 7

r] F 8

∧ V 2

q] V 5

→ (p F V/F 1

∧ F 3

r) F 9Fórmula NO VÁLIDA.

2

Ejercicio 1 O los países llevan a cabo una política antimilitar o siempre estaremos en guerra y la gente no podrá vivir tranquila. La gente podrá vivir tranquila si y sólo si sesiente a salvo y los países llevan a cabo una política antimilitar. Siempre estaremos en guerra porque los países no llevan a cabo una política antimilitar ni la gente puede vivir tranquila. Enconsecuencia, la gente no se siente a salvo. 1/ p v (q ∧ ¬ r) 2/ r ↔ (s ∧ p) 3/ ( ¬ p ∧ ¬ r) → q − ¬ s

Ejercicio 2 Si siembras temprano y podas tardío, cogerás pan y vino. p ∧ q → r ∧ s p V V V V V V VV F F F F F F F F q V V V V F F F F V V V V F F F F r V V F F V V F F V V F F V V F F s V F V F V F V F V F V F V F V F p ∧ q V V V V F F F F F F F F F F F F → V F F F V V V V V V V V V V V V r ∧ s...
tracking img