Diferencia entre revisiones de «Práctica 4 (LyC Verano)»
De Cuba-Wiki
| Línea 14: | Línea 14: | ||
<br>b) | <br>b) | ||
<br>1) Esto vale si pasa a.1) ٨ | <br>1) Esto vale si pasa a.1) ٨ | ||
<math> (\forall j) pj \ | <math> (\forall j) pj \notin Var(\alpha1) \rightarrow pj=0 </math> | ||
<br>2) Idem 1) para α2 | <br>2) Idem 1) para α2 | ||
<br>3) Idem 1) para α3 | <br>3) Idem 1) para α3 | ||
Revisión del 12:25 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
