Zusammenfassung der Ressource
LÒGICA
PROPOSICIONAL
- LÒGICA
- Consiste en examinar
la validez o la ivalidez
de ua afirmacion
- PROPOSICIÒNN
- Construye una
oraaciòn que puede
der falsa o verdadera
- CLASIFICACIÒN
- SIMPLES
- son aquellas que están
estructuradas por una
única oración
- COMPUESTAS
- son aquellas que están
estructuradas por dos o
más proposiciones
simples unidas por
operadores lógicos,
- TRADUCCIÒN DEL LENGUAJE
NATURAL Y SIMBOLICO
- Lenguaje natural
- el lenguaje que hablamos en
nuestra vida cotidiana, que en
nuestro caso es el español
- Lenguaje simbólico
Anmerkungen:
- Traducir
Trabajar con proposiciones requiere la aptitud de poder traducirlas del
lenguaje natural al simbólico (también denominada traducción simbó-
lica) y viceversa.
- permite examinar con mayor
facilidad las formas del
pensamiento y sus leyes
- OPERADORES
LÒGICOS
- Doble negación
- Si la negación de cualquier
proposición p verdadera es falsa,
entonces cuando se vuelve a negar
será nuevamente verdadera;
- Negación (a)
- Sera falsa cuando se niegue
una proposicion verdadera
- son aquellos símbolos que
permiten decidir qué valor de
verdad tiene una proposición.
- Conjunción ()
- Si p y q representan dos
proposiciones simples, entonces la
proposición compuesta p q, solo
será verdadera cuando las dos
proposiciones lo sean.
- Disyunción inclusiva ()
- Disyunción exclusiva ()
- Proposiciones condicionales
- Condicional o implicación ()
- Si p y q representan dos proposiciones
simples, entonces la proposición compuesta p
q solo será falsa cuando p, llamado
antecedente o hipó- tesis, sea verdadero y q,
llamado consecuente o conclusión, sea falso.
- Bicondicional o equivalencia ()
- Si p y q representan dos proposiciones simples,
entonces la proposición compuesta p q, solo
será verdadera cuando ambas proposiciones
tengan el mismo valor de verdad.
- TABLAS DE VERDAD
- es una tabla que muestra el valor de verdad de una proposición
compuesta, así como de algunos casos de proposiciones simples, cuando
estas utilizan los operadores lógicos de negación y doble negación,
dependiendo de los operadores lógicos usados y de los valores de verdad
de las proposiciones simples involucradas.