Please enable JavaScript.
Coggle requires JavaScript to display documents.
Lógica Proposicional - Coggle Diagram
Lógica Proposicional
Como formalizar
- Identificar las proposiciones simples y asignarlas a una letra, estas deben ser afirmaciones.
- Identificar proposiciones negadas y definirlas.
-
-
-
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.
Simples
Las proposiciones simples son aquellas que no tienen otras oraciones dentro de sí mismas, es decir, que sólo tienen un sujeto, un verbo y un predicado, y por lo tanto, carecen de conectiva lógica.
Compuestas
Se dice que una proposición lógica es compuesta si está formada por varias proposiciones simples enlazadas por conectivos lógicos.
-
-
Utilidad
Es una disciplina que mediante reglas y técnicas estudia la forma del razonamiento. Nos ayuda a demostrar teoremas y en la vida diaria a encontrar soluciones a problemas cotidianos.
Tablas de verdad
Las tablas de verdad es una estrategia de la lógica simple que permite establecer la validez de varias propuestas en cuanto a cualquier situación.
Tautologia
Es aquella proposición compuesta que es cierta para todos los valores de verdad que se asignen a cada una de las proposiciones.
Contradicción
Una proposición compuesta corresponde a una contracción cuando los valores de verdad que se asignen a cada una de las proposiciones son falsas.
Contingencia
Una proposición compuesta cuyos valores en sus diferentes líneas de la tabla dan como resultado 1 y 0 se conoce como contingencia, inconsistencia o falacia.
-
-