Please enable JavaScript.
Coggle requires JavaScript to display documents.
FORMAS PROPOSICIONALES - Coggle Diagram
FORMAS PROPOSICIONALES
-
Si cada variable proposicional es reemplazada por una proposición simple o compuesta, se convierte en una proposición.
Se denominan así a las estructuras constituidas por variables proposicionales y los operadores lógicos que las relacionan.
Las formas proposicionales no tienen valor de verdad conocido y, por lo tanto, no serán consideradas proposiciones.
Las formas proposicionales pueden ser conectadas con operadores lógicos para formar nuevas formas proposicionales.
TAUTOLOGÍA, CONTRADICCIÓN Y CONTINGENCIA
Si se tienen solamente proposiciones falsas para todos los valores de verdad de las variables proposicionales, se dice que es una CONTRADICCIÓN.
Si se tienen algunas proposiciones verdaderas y otras falsas para los valores de verdad de las variables proposicionales, se dice que es una CONTINGENCIA.
Si se tienen solamente proposiciones verdaderas para todos los valores de verdad de las variables proposicionales, se dice que es una TAUTOLOGÍA.
-
EQUIVALENCIA LÓGICA
Sean A y B dos formas proposicionales, se dice que A es equivalente lógicamente a B, denotado por A⇔B, si y sólo si A↔B es una tautología.
RAZONAMIENTO
Son proposiciones compuestas que pueden ser representadas por la conjunción de proposiciones denominadas premisas o hipótesis, la condicional como operador lógico principal; y, una proposición final denominada conclusión.
-
Un razonamiento es válido cuando la forma proposicional que representa su estructura lógica es una tautología.