RAZONAMIENTO DEDUCTIVO
lógica proposicional
Estudia las sentencias u oraciones del
lenguaje corriente o formal, a las que se
les puede asignar un valor de verdad,
esto es verdadero (V) o falso (F)
OBJETO
El objeto de la lógica es el
establecimiento de criterios que
permitan distinguir a un
razonamiento deductivo válido
de uno inválido.
Símbolos de la lógica de proposiciones
Negación: ¬
Negación: ¬ Conjunción: ∧
Simboliza la negativa de cualquier Disyunción: ∨
argumento
ej: no /no es cierto/es falso/no es Implicación: →
posible Equivalencia: ↔
Conjunción: ∧
Simboliza la conjunción Y
ej: Y/ ademas/ tambien Disyunción: ∨
Su función es enlazar 2
preposiciones
ej: o /u
TABLAS DE VERDAD Y VALUACION
una gráfica constituida por columnas y renglones: →
En las columnas se anotan las letras que representan
a las proposiciones simples (variables
proposicionales), así como la proposición compuesta
que se desea resolver. → En los renglones se anota la
combinación de posibles valores de verdad (verdadero
o falso).
LENGUAJE NATURAL vs. artificial Forma Oracional Declarativa
Estudia las sentencias u
oraciones del lenguaje corriente
o formal, a las que se les puede
asignar un valor de verdad, esto
es verdadero (V) o falso (F)
tautologías, contradicciones y contingencias
Una “tautología” es una proposición
cuya tabla de verdad es siempre
verdadera.
Una “contradicción” da siempre falso.
Implicación: → Una “contingencia” es una proposición
Son aquellas que establecen que da valores tantos falsos como
una condición que debe verdaderos.
cumplirse para q otra sea
verdadera.
ej: con tal que/pero si/a no
ser que/si ...entonces
Equivalencia: ↔ Ejemplos
Es un argumento de la forma “P
si y solo si Q” afirma que “P
sera verdadero cuando Q” lo
sea o viceversa ."Todos los triángulos tienen tres lados." Esta
afirmación es una tautología, ya que por definición,
todos los triángulos tienen tres lados.
"Si todos los pájaros vuelan, entonces algunos pájaros
no vuelan." Esta afirmación es una contradicción, ya
que si todos los pájaros vuelan, no puede haber
pájaros que no vuelen.
"Si estudio mucho, es más probable que obtenga
buenas calificaciones." Esta expresión es una
contingencia, ya que el estudio puede influir en las
calificaciones, pero no garantiza necesariamente que
sean buenas.
La forma oracional declarativa se refiere a la
estructura gramatical de una oración que se
utiliza para hacer una declaración o afirmación.
El contenido proposicional se refiere al
significado o mensaje que se transmite a través
de esa oración
PROPOSICIONES
Proposición atómica: Son aquellas que no pueden
descomponerse en proposiciones más pequeñas. Ej: "El
perro ladra" o "Hoy hace sol".
Proposición molecular: Son aquellas que se forman a
partir de la combinación de dos o más proposiciones
atómicas. Ej: "Si llueve, entonces llevaré un paraguas"
o "Estudiaré mucho para aprobar el examen y sacar
una buena nota".
Enunciado: Es una secuencia de palabras o símbolos
que tiene un significado completo y que puede ser o
verdadero o falso. Ej: "El cielo es azul" es un
enunciado que puede ser verdadero o falso.
Conectiva extensional: son conectivas lógicas que
dependen de los valores de verdad de los enunciados
que conectan. No tienen en cuenta el significado
semántico de los enunciados, sino solo sus valores de
verdad. Algunos ejemplos de conectivas extensionales
son "y", "o" y "no". Por ejemplo, "El cielo es azul y el sol
es amarillo" es una proposición donde la conectiva "y"
es extensional.
Conectiva no extensional: Son conectivas lógicas que
tienen en cuenta el significado semántico de los
enunciados que conectan, además de sus valores de
verdad. Un ejemplo de conectiva no extensional es
"si...entonces", donde el significado y la relación entre
los enunciados son fundamentales para determinar la
veracidad de la proposición. Ej: "Si estudio, entonces
aprobaré el examen" es una proposición donde la
conectiva "si...entonces" es no extensional.