Edición de «Práctica 4 (LyC Verano)»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual | Tu texto | ||
Línea 1: | Línea 1: | ||
== Ejercicio 01 == | == Ejercicio 01 == | ||
<br>a) v(α) = v(¬p1) = 1 | <br>a) v(α) = v(¬p1) = 1 | ||
Línea 10: | Línea 8: | ||
== Ejercicio 02 == | == Ejercicio 02 == | ||
===a)=== | ===a)=== | ||
<br>1) v(α1) = 1 ↔ p1= | <br>1) v(α1) = 1 ↔ p1=0 ٧ p3=1 ٧ p4=1 | ||
<br>2) v(α2) = 1 ↔ p2=1 | <br>2) v(α2) = 1 ↔ p2=1 ٧ (p3=0 ٧ p1=0) | ||
<br>3) v(α3) = 1 ↔ (p2=0 ٨ p3=0) ٧ (p2=1) ٧ (p5=0 | <br>3) v(α3) = 1 ↔ (p2=0 ٨ p3=0) ٧ (p2=1) ٧ (p5=0 ٧ p3=1) | ||
===b)=== | ===b)=== | ||
Línea 82: | Línea 80: | ||
*Si α=p٧q → vf(α)=vf(p٧q)=max{vf(p),vf(q)}=max{1,1}=1 | *Si α=p٧q → vf(α)=vf(p٧q)=max{vf(p),vf(q)}=max{1,1}=1 | ||
*Si α=p٨q → vf(α)=vf(p٨q)=min{vf(p),vf(q)}=min{1,1}=1 | *Si α=p٨q → vf(α)=vf(p٨q)=min{vf(p),vf(q)}=min{1,1}=1 | ||
→ No es posible construir un α tq α=¬p, por lo que no hay un | → No es posible construir un α tq α=¬p, por lo que no hay un v | v(α)=0 → No es adecuado (ABS) | ||
<br> 3) {٧,→} Sale muy similar a 2), si tomamos | <br> 3) {٧,→} Sale muy similar a 2), si tomamos | ||
*Si α=p→q → vf(α)=vf(p→q)=max{1-vf(p),vf(q)}=max{0,1}=1 | *Si α=p→q → vf(α)=vf(p→q)=max{1-vf(p),vf(q)}=max{0,1}=1 | ||
Línea 187: | Línea 185: | ||
===b)=== | ===b)=== | ||
<br> 1. F | <br> 1. F | ||
<br> 2. F | <br> 2. F | ||
<br> 3. V | |||
<br> 3. V | |||
== Ejercicio 14 == | == Ejercicio 14 == | ||
Línea 210: | Línea 203: | ||
===b)=== | ===b)=== | ||
== Ejercicio 16 == | == Ejercicio 16 == | ||
Línea 217: | Línea 209: | ||
== Ejercicio 17 == | == Ejercicio 17 == | ||
[[Category: | |||
[[Category:Lógica y Computabilidad]] |