Please enable JavaScript.
Coggle requires JavaScript to display documents.
FORMAS PROPOSICIONALES: ESTRUCTURAS CONSTITUIDAS POR VARIABLES…
FORMAS PROPOSICIONALES: ESTRUCTURAS CONSTITUIDAS POR VARIABLES PRPOSICIONALES Y LOS OPERADORES LOGICOS
TAUTOLOGIA
Proposiciones verdaderas, para todos los valores de verdad
CONTINGENCIA
Proposiciones verdaderas y otras falsas, para proposiciones de verdad
-
IMPLICACION LOGICA
«A, por lo tanto B» es una afirmación no hipotética
Este tipo de expresiones, llamadas implicaciones, se formalizan simbólicamente en el cálculo lógico como:
A→ B
"Si llueve, el suelo está mojado"
-
"Cuando llueve, el suelo está mojado"
"Siempre que llueve, el suelo está mojado"
"Llueve, luego el suelo está mojado"
"Llueve, por lo tanto, el suelo está mojado" etc.
EQUIVALENCIA LOGICA
-
Ejemplos
Si Lisa está en Francia, entonces ella está en Europa en simbolos (p→q)
Si Lisa no está en Europa, entonces ella no está en Francia en simbolos (~p→ ~q)
-
-