Please enable JavaScript.
Coggle requires JavaScript to display documents.
LÓGICA MATEMÁTICA, Proposición simple:, Proposición compuesta - Coggle…
LÓGICA MATEMÁTICA
-
Valor verdadero
Es un concepto fundamental en lógica que permite determinar la veracidad de una afirmación y es esencial para el razonamiento lógico y la construcción de argumentos válidos
Tabla de verdad
La tabla de verdad es una herramienta que se utiliza para determinar el valor de verdad de proposiciones compuestas
En proposición: “La semana tiene 8 días“. El valor de verdad es Falso (F) en la realidad la semana tiene 7 días
-
-
Se centra en el análisis de los métodos de razonamiento y en la validez de las demostraciones, utilizando un lenguaje formal y simbólico para representar proposiciones y relaciones lógicas.
Es la rama de la lógica que se enfoca en el estudio formal y simbólico de la lógica, aplicando sus principios a las matemáticas y otras áreas de la ciencia.
-
La lógica matemática estudia la inferencia mediante la construcción de sistemas formales como la lógica proposicional, la lógica de primer orden o la lógica modal. Estos sistemas capturan las características esenciales de las inferencias válidas en los lenguajes naturales, pero al ser estructuras formales susceptibles de análisis matemático, permiten realizar demostraciones rigurosas sobre ellas.
-
-
Proposición simple:
Es una afirmación que expresa una idea o hecho y que solo puede ser verdadera o falsa, pero no ambas a la vez. No contiene otras proposiciones ni conectivos lógicos como "y", "o", "si", "entonces".
-
-
Proposición compuesta
)
Esta conformada por 2 o más proposiciones simples, que se unen mediante conectores lógicos como:
-
p → q: "Si hoy llueve, entonces hace frío
-
-
-
-
-
"si... entonces" ( implicación o condicional, →)
"si y solo si" (doble implicación o bicondicional, ↔
