Por otro lado, expresiones que no
Proposición cumplen esta propiedad no son
Una proposición lógica es una expresión algebraica que proposiciones lógicas. Ejemplos:
puede acarrear dos valores. Ser verdadera o falsa, aunque
¿Cuándo es el examen?
nunca ambas a la vez. Un ejemplo puede ser: ¡Viva la matemática ¡
No ensucie la pared
Francia es un país europeo (V)
Los gatos son omnívoros (F) No son proposiciones por que no
se puede saber si son V o F son
lógicas.
Los Conectivos u Operadores Conectivos Lógicos
Lógicos Son palabras que permiten relacionar dos proposiciones
o negar una proposición simple. Las que se representan
Son símbolos o conectivos que LOGICA MATEMATICA por símbolos se les llama operadores lógicos
permiten construir otras Los conectivos más recurrentes son:
proposiciones o simplemente unir “si y solo si”
a dos o más proposiciones a partir “o.…o” “sí. . . entonces . . .”
de proposiciones dadas. “o” “y” “no”
Cuando una preposición que no tiene conectivos lógicos es una La conjunción. - La conjunción es una proposición compuesta que
proposición. resulta de combinar dos proposiciones simples con la palabra “y”.
Atómica o Simple
Es aquella que contiene una sola afirmación y simboliza las letras p, q, r, s, La disyunción débil o inclusiva. -Es un enunciado compuesto en las
t estas son variables proposicionales. dos proposiciones se relacionan con el conectivo “o” cuyo símbolo es “v”
Y en el caso contrario diremos, que es una proposición. y se llama disyuntor.
Molecular o Compuesta
El condicional. - enunciado en el que dos proposiciones se relacionan
Son aquellas que están formadas por dos o más proposiciones simples y
con el conectivo “si…entonces…” cuyo símbolo es “→” y se llama
están ligadas por palabras como conectivos lógicos.
implicador
El bicondicional. -Es un enunciado compuesto en el que dos
proposiciones se relacionan con el conectivo “…si y sólo si…”, cuyo
símbolo es “↔” llamado doble implicador