Please enable JavaScript.
Coggle requires JavaScript to display documents.
FORMAS PROPOSICIONALES - Coggle Diagram
FORMAS PROPOSICIONALES
P constituye una variable proposicional cuando puede representar a una proposicion simple o compuesta.
el valor de P sera desconocido mientras no se especifique el valor de verdad de las proposiciones involucradas
DEFINICION
Estas formas proposicionales se repesentan con las letras mayusculas del alfabeto español A, B, C....
-
Cuando las variables proposicionales P, Q Y R toman los valores de verdad 1, 0 y 1 respectivamente, se puede apreciar que la proposicion resultante es verdadera.
Se denominan formas proposicionales a las estructuras constituidas por variables proposicionales y los operadores logicos que las relacionan.
TAULOGIA
CONTRADICION
CONTIGENCIA
Si se tienen algunas proposiciones verdaderas y otras falsas para los valores de verdad de las variabes proposicionales.
-
Si se tienen solamante proposiciones FALSAS para todos los valores de verdad de las variabes proposicionales.
Si se tienen solamante proposiciones verdaderas para todod los valores de verdad de las variabes proposicionales.
EQUIVALENCIA LOGICA
Sean A y B dos formas proposicionales, se dice que A es EQUIVALENTE LOGICAMENTE a B denotado por A-B, si y solo si A-B es una taulogia
-
IMPLICACION LOGICA
Sean A y B dos formas proposicionales, se dice que A implica logicamente a B, Denotado por A-B, y solo si A-B es una taulogia.
-
