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 122: | Línea 122: | ||
</pre> | </pre> | ||
Como se ve, entre esos conectivos estan ↓ y |, que por a) son adecuados. Vemos los otros 2: | Como se ve, entre esos conectivos estan ↓ y |, que por a) son adecuados. Vemos los otros 2: | ||
<br> | <br> *1(α,β) = (¬α٨β)٧(¬α٨¬β) = ¬α | ||
<br> | <br> *2(α,β) = (α٨¬β)٧(¬α٨¬β) = ¬β | ||
<br> Es decir, ambos usan el conjunto {¬} que no era adecuado, con lo cual no hay otros conectivos adecuados ademas de ↓ y | (ABS) | <br> Es decir, ambos usan el conjunto {¬} que no era adecuado, con lo cual no hay otros conectivos adecuados ademas de ↓ y | (ABS) | ||