Diferencia entre revisiones de «Lógica proposicional/Proposiciones compuestas»
Contenido eliminado Contenido añadido
m Corrección |
Sin resumen de edición |
||
Línea 18:
* '''S''': La liebre es rápida.
</blockquote>
Para construir expresiones como la anterior necesitamos dos elementos adicionales: los paréntesis y un método para combinar las expresiones y garantizar que sean fórmulas lógicas bien formadas que podamos usar posteriormente en los procesos de deducción.<ref name="klement" />
=== Tipos de proposiciones ===
|