Diferencia entre revisiones de «Práctica 4 (LyC Verano)»
De Cuba-Wiki
| Línea 19: | Línea 19: | ||
== Ejercicio 03 == | == Ejercicio 03 == | ||
٧٨←→↔αβγδЄ¬ | |||
(Para simplificar, T=tautologia, F=contradiccion, C=contingencia) | |||
<br>a) v(α٨β)=1 ↔ v(α)=1 ٨ v(β)=1 ↔ α T y β T | |||
<br>b) v(α٧β)=0 ↔ ¬v(α)=1 ٨ ¬v(β)=1 ↔ v(α)=0 ٨ v(β)=0 ↔ α F y β F | |||
<br>c) v(α→β)=0 ↔ v(α)=1 ٨ v(β)=0 ↔ α T y β F | |||
<br>d) | |||
<br> ←) Si v(α)=0 ٧ v(β)=1 → v(α→β)=1 | |||
<br> →) Sup que no. Hay 4 casos: | |||
*α T y β F → v(α→β)=0 | |||
*α T y β C → v(α→β)=0 si v(β)=0 | |||
*α C y β F → v(α→β)=0 si v(α)=1 | |||
*α C y β C → Sea el caso α=β → v(α→β)=T, pero α C y β C (Abs) | |||
== Ejercicio 04 == | == Ejercicio 04 == | ||
== Ejercicio 05 == | == Ejercicio 05 == | ||
Revisión del 12:38 26 feb 2007
Ejercicio 01
a) v(α) = v(¬p1) = 1
b) v(α) = v( (p5 ٧ 0) → 0 ) = v(p5 → 0) = v(p5) = ?
c) v(α) = v( (0 ٧ 0) → 0 ) = v(0 → 0) = 1
d) v(α) = v(¬p4) = ?
e) v(α) = v( (p8 → p5)→(p8 ٨ p0) ) = ?
Ejercicio 02
a)
1) v(α1) = 1 ↔ p1=0 ٧ p3=1 ٧ p1=1
2) v(α2) = 1 ↔ p2=1 ٧ (p3=0 ٨ p1=0)
3) v(α3) = 1 ↔ (p2=0 ٨ p3=0) ٧ (p2=1) ٧ (p5=0 ٧ p3=1)
b)
1) Esto vale si pasa a.1) ٨
2) Idem 1) para α2
3) Idem 1) para α3
Ejercicio 03
٧٨←→↔αβγδЄ¬
(Para simplificar, T=tautologia, F=contradiccion, C=contingencia)
a) v(α٨β)=1 ↔ v(α)=1 ٨ v(β)=1 ↔ α T y β T
b) v(α٧β)=0 ↔ ¬v(α)=1 ٨ ¬v(β)=1 ↔ v(α)=0 ٨ v(β)=0 ↔ α F y β F
c) v(α→β)=0 ↔ v(α)=1 ٨ v(β)=0 ↔ α T y β F
d)
←) Si v(α)=0 ٧ v(β)=1 → v(α→β)=1
→) Sup que no. Hay 4 casos:
- α T y β F → v(α→β)=0
- α T y β C → v(α→β)=0 si v(β)=0
- α C y β F → v(α→β)=0 si v(α)=1
- α C y β C → Sea el caso α=β → v(α→β)=T, pero α C y β C (Abs)
