DEMUESTRA TEOREMAS E INFIERE EN
RESULTADOS PARA SER APLICADOS EN
INVESTIGACIONES
COMPUTACION
EN LA CONSTRUCCION,
REVISION Y APLICACION DE
PROGRAMAS
VIDA COTIDIANA
EN CUALQUIER
TRABAJO O ACTIVIDAD
QUE REALICEMOS
PROPOSICIONES
CATEGORICAS
VERDADERAS O FALSAS
COMPUESTAS
SE LIGAN VARIAS POR UN
CONECTOR LOGICO
VALOR DE LA VERDAD
PARA DETERMINARLO SE DEBE
PROBAR ESTE VALOR DE LAS
PROPOSICIONES SIMPLES QUE LO
COMPONEN
SIMPLES
EXPRESIONES O CONCEPTOS
VALOR DE LA VERDAD
AL ANALIZARLOS SE CUENTA CON 2
POSIBILIDADES, ES VERDADERO O ES FALSO
SE UNEN A TRAVES DE
CONECTIVOS LOGICOS
CONJUNCION
Se asocia con el cumplimiento de requisitos, de tal
modo que ésta es verdadera únicamente cuando
las dos proposiciones simples son verdaderas
DISYUNCION
La asociamos con la “elección” o la “escogencia” de
tal modo que ésta es falsa únicamente cuando las
dos proposiciones simples son falsas.
IMPLICACION
Se asocia con la relación “causa – efecto”; p se
le llama causa o antecedente, y q se llama
efecto o consecuente.
BICONDICIONAL
Es verdadera cuando ambas proposiciones simples
son verdaderas y es falsa cuando ambas
proposiciones simples son falsas. Dos proposiciones
son lógicamente equivalentes si sus tablas de verdad
son idénticas
TAUTOLOGIA: Cuya tabla de verdad es
siempre verdadera sin importar la
falsedad o verdad de las proposiciones
que la componen.
CONTRADICCION: Cuya tabla de verdad es
siempre falsa sin importar la falsedad o
verdad de las proposiciones que la
componen.
FUNCION PROPOSICIONAL
Una expresión que contenga variables y que después, al sustituirla por constantes
determinadas, se convierta en proposición, recibe este nombre. Se define sobre un
conjunto determinado U, entonces los elementos de ese conjunto que hacen que la
función proposicional sea verdadera forman un conjunto especial llamado el
“conjunto de verdad de p(x)”.
CUANTIFICADORES
Transforman funciones proposicionales en
proposiciones.
UNIVERSAL
Indican la cantidad de elementos de un conjunto
(todos los elementos, ninguno de los elementos o
algún elemento) que cumplen una determinada
condición o característica.
EXISTENCIAL
Indica que las funciones proposicionales simples o
compuestas son cumplidas por algún elemento del
conjunto U al que están asociadas, esto es, que al
menos un elemento de U cumple la condición.
proviene del término griego logos, que significa
discurso, argumentación, y que entraña otros
significados como son idea, razón o palabra.