Diferencia entre revisiones de «Lógica proposicional»
Contenido eliminado Contenido añadido
Se ha deshecho la revisión 135382 de 187.246.74.222 (disc.) Etiqueta: Deshacer |
Sin resumen de edición Etiquetas: Edición desde móvil Edición vía web móvil |
||
Línea 13:
|finalizado=sí
}}
Bts
Bts
Bts
Bts bts
Bts
Bts
Bts
Bts
La lógica proposicional o lógica de orden cero es la rama de la lógica matemática que estudia proposiciones, afirmaciones u oraciones, los métodos de vincularlas mediante conectores lógicos y las relaciones y propiedades que se derivan de esos procedimientos. Es una herramienta útil para razonar, pero no puede resolver problemas que requieren analizar la estructura interna de las proposiciones o de las relaciones entre ellas. Este tipo de lógica considera las proposiciones como elementos atómicos y no tiene cuantificadores o variables de entidad.
|