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
Annotations:
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.