Zusammenfassung der Ressource
LOGICA
- PROPORCIONA FORMAS DE RAZONAMIENTO CORRECTO EN
- FILOSOFIA
- DETERMINA LA VALIDEZ
DE UN RAZONAMIENTO
- MATEMATICAS
- 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.