PROPOSICIONES LOGICAS, ATOMICAS Y MOLECULARES

UNA PROPOSICION LOGICA ES VALIDA CUANDO SE DETERMINA SI ES FALSA O VERDADERA; PERO NO AMBAS A LA VEZ Y ESTA ES UN ELEMENTO BASICO DE LA LOGICA MATEMATICA, SE REPRESENTA CON UNA LETRA MINUSCULA, DOS PUNTOS Y LA PROPOSICION.

EJP:

a: LA LUNA ES AMARILLA.
b: -25+50=50
ESTAS SON VALIDAS YA QUE a Y b PUEDEN TOMAR UN VALOR DE FALSO O VERDADERO.

c: NOS VEMOS MAÑANA
ESTA NO ES VALIDA, PUESTO QUE NO PUEDEN TOMAR UN VALOR DE FALSO O VERDADERO.

UNA PROPOSICION ATOMICA ES AQUELLA QUE EXPRESA QUE UNA COSA TIENE UNA DETERMINADA PROPIEDAD.

UNA PROPOSICION MOLECULAR ESTA CONSTITUIDA APARTIR DE PROPOSICIONES ATOMICAS MEDIANTE CONECTORES LOGICOS Y CUANTIFICADORES.
CONECTORES LOGICOS:"NO", "SI....ENTONCES", "Y"
EJP: "NO IRE"
CONECTORES CUANTIFICADORES: "PARA TODO X" "EXISTE UN X TAL QUE..."
EJP: "SI HACE CALOR, TOMARE UN BAÑO"
LA VERDAD O FALSEDAD DE LAS PROPOSICIONES MOLECULAR DEPENDE DE LA VERDAD O FALSEDAD DE LAS PROPOSICIONES ATOMICAS.