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 78: | Línea 78: | ||
===b)=== | ===b)=== | ||
<br> 1) {¬} Como α solo usa el ¬, α siempre sera contingencia | <br> 1) {¬} Como α solo usa el ¬, α siempre sera contingencia | ||
<br> 2) {٧,٨} Sup que lo es. Sea f | f(p)=1 para | <br> 2) {٧,٨} Sup que lo es. Sea f | f(p)=1 para todo p, y vf la valuacion que extiende a f. Usando induccion en complejidad de α: | ||
*Si α=p → vf(α)=vf(p)=1 | *Si α=p → vf(α)=vf(p)=1 | ||
*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 |