Logica Proposicional

Lógica Proposicional

La lógica proposicional también llamada lógica simbólica o lógica matemática es aquella que parte de la lógica y estudia la lógica y símbolos utilizados en la vinculación de nuevas proposiciones que podrían ser verdaderos o falsa, basándose siempre entre dos opciones como variables de respuestas.

Sinos remontamos a la historia fue en el siglo IV con aristoteles que argumento en su libro ORGANON que los juicios están atados entre el raciocinio y a su ves por los conceptos que se infieren, dando como principio de la lógica la identidad humana y el principio de la no contradicción, debió pasar mucho mas tiempo hasta que el señor Boole D'morgan nos habla de comos como la matemática moderna, la famosa álgebra booleana, las teorías de los conjuntos y la LÓGICA PROPOSICIONAL

Como se menciono en su momento la lógica proposicional puede verse como modelo matemático con tres factores importantes

1. Variables, constantes  y números
2. Operadores ( Símbolos de operaciones )
3. Reglas de las operaciones

Operandos

Letras Proposicionales = p , q , r , s , t , u , v , w , x    donde cualquiera de esa letras puede representar una argumento ya sea falso o verdadero

p = "El hombre llego a la luna"

q = "Marte es el noveno planeta del sistema solar"