Proposiciones

Introducción a la lógica y reglas de inferencia
Proposiciones
M.Sc. Raúl A. Beltrán Hoyos
Universidad Simon Bolivar
USB
M.Sc. Raúl A. Beltrán Hoyos (USB) Proposiciones USB 1 / 26

Lógica
La lógica es la ciencia de las formas del pensamiento (conceptos,

juicios y raciocinios).

Lógica

Estudia su estructura y abarca las leyes del conocimiento inferido.

Lógica

Permiten obtener conclusiones a partir de proposiciones admitidas
como verdaderas, llamadas premisas

Lógica


Lógica

Inferencia lógica

Lógica

Inferencia lógica
Estudia de la validez de los razonamientos, no la validez de las
proposiciones.

Lógica

Inferencia lógica
Estudia de la validez de los razonamientos, no la validez de las
proposiciones.
Se denomina lógica formal porque se ocupa de las formas o
estructuras que adopta el raciocinio, mas no del contenido de verdad
de las proposiciones particulares de que se trate.

Proposiciones
La proposición lógica es el elemento fundamental de la lógica.

Proposiciones

Una proposición lógica es un enunciado que debe cumplir con la
condición de ser susceptible de poder ser verdadero o falso, pero no
ambas a la vez.

Proposiciones

ambas a la vez.
Ejemplos:
Las plantas son seres vivos
Hoy es sábado

Proposiciones

ambas a la vez.
Ejemplos:
Hoy es sábado
La proposición puede ser verdadera o falsa en un momento dado,
decimos entonces que, el valor de verdad de una proposición lógica es,
por de…nición, verdadero o falso, y es representado por las letras V o
F.

Proposiciones

ambas a la vez.
Ejemplos:
Hoy es sábado
La proposición puede ser verdadera o falsa en un momento dado,
decimos entonces que, el valor de verdad de una proposición lógica es,
por de…nición, verdadero o falso, y es representado por las letras V o
F.
La verdad lógica es una verdad formal, que no tiene contenido.

Representación de las proposiciones
Las proposiciones se representan simbólicamente mediante el uso de

letras minúsculas del alfabeto: p, q, r, s, t..., las cuales reciben el
nombre de letras o variables proposicionales.

Representación de las proposiciones
Las proposiciones se representan simbólicamente mediante el uso de

letras minúsculas del alfabeto: p, q, r, s, t..., las cuales reciben el
nombre de letras o variables proposicionales.
Ejemplos:
p: Hoy es sábado
q: El hombre es mortal
r: 5+2 =10

Términos de enlace
Las expresiones especiales: y, o, no, si . . . entonces, sí y sólo si, sirven
para unir o enlazar enunciados; denominamos a éstas partículas
términos de enlace o conectores lógicos.

Términos de enlace
Las expresiones especiales: y, o, no, si . . . entonces, sí y sólo si, sirven
para unir o enlazar enunciados; denominamos a éstas partículas
términos de enlace o conectores lógicos.
Ejemplo: Hoy es sábado y no hay clase
Si usted se da prisa entonces llegará a tiempo
Si x + y = 2 entonces z > 0
La lógica no es difícil
4 es un número par si y sólo si se puede dividir por 2
Conector Símbolo
y (conjunción) ^
o (disyunción) _
no (negación) :
si ... entonces (condicional) )
si y sólo si (bicondicional) ,

Ejemplo
Simbolizar: Las rosas son rojas y tienen espinas

p: las rosas son rojas
q: las rosas tienen espinas
se simboliza: p ^ q

Ejemplo
Simbolizar: Las rosas son rojas y tienen espinas

p: las rosas son rojas
q: las rosas tienen espinas
se simboliza: p ^ q
Simbolizar: En el país no hay violencia
p: En el país hay violencia
se simboliza :p

Clasi…cación de las proposiciones
Proposiciones simples o atómicas:son las proposiciones de forma más

simple (o más básicas), es una proposición completa sin términos de
enlace


enlace
Ejemplos:
La Luna es un satélite de la Tierra
El hombre es mortal


enlace
Ejemplos:
El hombre es mortal
Proposiciones compuestas o moleculares: se obtienen si se juntan una
o varias proposiciones atómicas con un término de enlace


enlace
Ejemplos:
El hombre es mortal
Proposiciones compuestas o moleculares: se obtienen si se juntan una
o varias proposiciones atómicas con un término de enlace
Ejemplo: La Luna es un satélite de la Tierra y el hombre es mortal

Agrupamiento y paréntesis
Los términos de enlace pueden unir o pueden ser usados con

proposiciones moleculares de la misma forma que con las
proposiciones atómicas. En todos estos casos uno de los términos de
enlace es el dominante porque es el que actúa sobre toda la
proposición.

Agrupamiento y paréntesis
Los términos de enlace pueden unir o pueden ser usados con

proposiciones moleculares de la misma forma que con las
proposiciones atómicas. En todos estos casos uno de los términos de
enlace es el dominante porque es el que actúa sobre toda la
proposición.
Ejemplos:
Antonio no estudia en la Universidad y Ana no estudia en la
Universidad.
p : Antonio estudia en la Universidad
q : Ana estudia en la Universidad
Entonces obtenemos:
(:p ) ^ (:q )

En proposiciones que tienen más de un término de enlace es preciso
indicar la manera de agruparse, pues distintas agrupaciones pueden
tener distintos signi…cados.

Los paréntesis son los símbolos de puntuación de la lógica. Muestran
como está agrupada una proposición y, por tanto, señalan cuál es el
término de enlace dominante.

Los paréntesis son los símbolos de puntuación de la lógica. Muestran
como está agrupada una proposición y, por tanto, señalan cuál es el
término de enlace dominante.
Un paréntesis que encierre p _ q, muestra que las partes están ligadas
constituyendo una proposición única. La proposición molecular se
puede unir a alguna otra por medio de un término de enlace, de
manera análoga a como se uniría una proposición atómica.

La conjunción (p _ q ) ^ r tiene distinto signi…cado que la disjunción
p _ (q ^ r ), a pesar de tener las mismas proposiciones atómicas y los
mismos términos de enlace.

La conjunción (p _ q ) ^ r tiene distinto signi…cado que la disjunción
p _ (q ^ r ), a pesar de tener las mismas proposiciones atómicas y los
mismos términos de enlace.
Se necesitan los paréntesis para indicar cuándo un término de enlace
domina la proposición, si no es el término de enlace más fuerte en la
proposición. « No» es el más débil; después siguen « y» y « o» que
tienen la misma potencia; y « si... entonces...» es el más fuerte. Sin
embargo, cada término de enlace puede dominar, si lo indica el
paréntesis.

Eliminación de algunos paréntesis
REGLA 1: El ) es más potente que los otros términos de enlace.


Por ejemplo: (p ^ q ) ) r se puede escribir simplemente p ^ q ) r


p ) (q _ r ) se puede escribir p ) q _ r


Pero en (p ) q ) _ r no se puede eliminar el paréntesis pues es
necesario para indicar que _ es el término de enlace dominante


Pero en (p ) q ) _ r no se puede eliminar el paréntesis pues es
necesario para indicar que _ es el término de enlace dominante
También p ) (q ) r ) es diferente de (p ) q ) ) r

REGLA 2: El signo de negación : es más débil que cualquiera de los

otros tres términos de enlace.


Por ejemplo: (:p ) ^ q se puede escribir como :p ^ q


p _ (:q ) se puede escribir como p _ :q


(:p ) ) (:q ) se puede escribir como :p ) :q


(:p ) ) (:q ) se puede escribir como :p ) :q
Pero en :(p ^ q ) el paréntesis es necesario

Tablas de verdad
El valor de verdad de una proposición compuesta no sólo depende del

conectivo lógico, sino del valor de verdad de cada una de sus proposiciones
simples.

Tablas de verdad
Conjunción
Sean p y q dos proposiciones simples. La proposición compuesta p y q

simbolizada por p ^ q, se denomina la conjunción de p y q.
p q p^q
V V V
V F F
F V F
F F F

Tablas de verdad
Disyunción
Sean p y q dos proposiciones simples. La proposición p o q, simbolizada

p _ q se llama disyunción de p y q.
La disyunción puede ser inclusiva o exclusiva.
Disyunción incluyente: Juan estudia ingeniería o Paola estudia medicina
p q p_q
V V V
V F V
F V V
F F F

Disyunción excluyente: Alexandra vive en Bogotá o en Barranquilla
p q pYq
V V F
V F V
F V V
F F F

Tablas de verdad
Negación
Sea p una proposición simple. Se de…ne la negación de p mediante la

proposición compuesta no p simbolizada por: p o por :p
p :p
V F
F V

Tablas de verdad
Condicional
Se dice que una proposición compuesta es condicional, si esta formada por

dos proposiciones simples enlazadas por la expresión “si. . . entonces”.
La expresión “si p entonces q” se simboliza así: p =) q y se lee p implica
q.
La proposición precedida por la expresión “si”, se llama antecedente o
hipótesis y la proposición precedida por la expresión “entonces”, se llama
consecuente o conclusión de la implicación.

Las proposiciones condicionales se pueden enunciar en nuestro lenguaje
natural de diferentes maneras, algunas son:
Si p entonces q
p sólo si q
q si p
p es su…ciente para q
q es necesaria para p
Ejemplos:
Si un entero es múltiplo de 4 entonces es divisible por 2
Apruebo el semestre sólo si estudio
El algoritmo esta bien enunciado si el programa corre
Si dos rectas nunca se cortan necesariamente son paralelas
Si es conductista entonces reduce toda conducta humana a la relación
estímulo-respuesta

p q p =) q
V V V
V F F
F V V
F F V

Tablas de verdad
Bicondicional
Se denomina bicondicional a la proposición formada por dos proposiciones

simples conectadas por la expresión “sí y sólo sí”.
El bicondicional está formado por las implicaciones p =) q y q =) p, las
cuales deben tener el mismo valor de verdad para formar una equivalencia
entre p y q; en consecuencia, se dice que la proposición p es equivalente a
la proposición q y se acostumbra a escribir p () q

La proposición bicondicional tiene varias formas de traducción:
p sí y sólo si q
q sí y sólo si p
si p entonces q y recíprocamente
si q entonces q y recíprocamente
p es una condición necesaria y su…ciente para q
q es una condición necesaria y su…ciente para p
Ejemplos:
Un triángulo es rectángulo sí y sólo sí tiene un ángulo recto.
Un triángulo tiene un ángulo recto sí y sólo sí es un triángulo
rectángulo
Si un triángulo es rectángulo entonces tiene un ángulo recto y si un
triángulo tiene un ángulo recto entonces es un triángulo rectángulo.
Una condición necesaria y su…ciente para que un triángulo sea
rectángulo es que tenga un ángulo recto.
Una condición necesaria y su…ciente para que un triángulo tenga un
ángulo recto es que sea un triángulo rectángulo.
Un triángulo rectángulo es equivalente a un triángulo con un ángulo
recto.
p q p () q
V V V
V F F
F V F
F F V

Ejemplos de tablas de verdad
Para determinar el valor de verdad de una proposición compuesta es

necesario elaborar la correspondiente tabla de verdad.
Ejemplo: Construir la tabla de verdad para la proposición : (p ^ q )
p q p^q : (p ^ q )
V V V F
V F F V
F V F V
F F F V

Ejemplo: Construir la tabla de verdad para la proposición : (p ^ :q )
p q :q p ^ :q : (p ^ :q )
V V F F V
V F V V F
F V F F V
F F V F V

Ejemplo: Tabla de verdad para la proposición (p ^ q ) _ (r ^ s )
p q r s (p ^ q ) (r ^ s ) (p ^ q ) _ (r ^ s )
V V V V V V V
V V V F V F V
V V F V V F V
V V F F V F V
V F V V F V V
V F V F F F F
V F F V F F F
V F F F F F F
F V V V F V V
F V V F F F F
F V F V F F F
F V F F F F F
F F V V F V V
F F V F F F F
F F F V F F F
F F
M.Sc. Raúl A. Beltrán Hoyos
F
(USB)
F F ProposicionesF F USB 26 / 26

Proposiciones

Cargado por

Copyright:

Formatos disponibles

Proposiciones

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Proposiciones

Cargado por

Copyright:

Formatos disponibles

Introducción a la lógica y reglas de inferencia

M.Sc. Raúl A. Beltrán Hoyos

Universidad Simon Bolivar

M.Sc. Raúl A. Beltrán Hoyos (USB) Proposiciones USB 1 / 26

La lógica es la ciencia de las formas del pensamiento (conceptos,

M.Sc. Raúl A. Beltrán Hoyos (USB) Proposiciones USB 2 / 26

La lógica es la ciencia de las formas del pensamiento (conceptos,

M.Sc. Raúl A. Beltrán Hoyos (USB) Proposiciones USB 2 / 26

La lógica es la ciencia de las formas del pensamiento (conceptos,

M.Sc. Raúl A. Beltrán Hoyos (USB) Proposiciones USB 2 / 26

La lógica es la ciencia de las formas del pensamiento (conceptos,

M.Sc. Raúl A. Beltrán Hoyos (USB) Proposiciones USB 2 / 26

La lógica es la ciencia de las formas del pensamiento (conceptos,

M.Sc. Raúl A. Beltrán Hoyos (USB) Proposiciones USB 2 / 26

La lógica es la ciencia de las formas del pensamiento (conceptos,

M.Sc. Raúl A. Beltrán Hoyos (USB) Proposiciones USB 2 / 26

La lógica es la ciencia de las formas del pensamiento (conceptos,

M.Sc. Raúl A. Beltrán Hoyos (USB) Proposiciones USB 2 / 26

La proposición lógica es el elemento fundamental de la lógica.

M.Sc. Raúl A. Beltrán Hoyos (USB) Proposiciones USB 3 / 26

La proposición lógica es el elemento fundamental de la lógica.

M.Sc. Raúl A. Beltrán Hoyos (USB) Proposiciones USB 3 / 26

La proposición lógica es el elemento fundamental de la lógica.

M.Sc. Raúl A. Beltrán Hoyos (USB) Proposiciones USB 3 / 26

La proposición lógica es el elemento fundamental de la lógica.

M.Sc. Raúl A. Beltrán Hoyos (USB) Proposiciones USB 3 / 26

La proposición lógica es el elemento fundamental de la lógica.

M.Sc. Raúl A. Beltrán Hoyos (USB) Proposiciones USB 3 / 26

Las proposiciones se representan simbólicamente mediante el uso de

M.Sc. Raúl A. Beltrán Hoyos (USB) Proposiciones USB 4 / 26

Las proposiciones se representan simbólicamente mediante el uso de

M.Sc. Raúl A. Beltrán Hoyos (USB) Proposiciones USB 4 / 26

M.Sc. Raúl A. Beltrán Hoyos (USB) Proposiciones USB 5 / 26

M.Sc. Raúl A. Beltrán Hoyos (USB) Proposiciones USB 5 / 26

Simbolizar: Las rosas son rojas y tienen espinas

M.Sc. Raúl A. Beltrán Hoyos (USB) Proposiciones USB 6 / 26

Simbolizar: Las rosas son rojas y tienen espinas

M.Sc. Raúl A. Beltrán Hoyos (USB) Proposiciones USB 6 / 26

Proposiciones simples o atómicas:son las proposiciones de forma más

M.Sc. Raúl A. Beltrán Hoyos (USB) Proposiciones USB 7 / 26

Proposiciones simples o atómicas:son las proposiciones de forma más

M.Sc. Raúl A. Beltrán Hoyos (USB) Proposiciones USB 7 / 26

Proposiciones simples o atómicas:son las proposiciones de forma más

M.Sc. Raúl A. Beltrán Hoyos (USB) Proposiciones USB 7 / 26

Proposiciones simples o atómicas:son las proposiciones de forma más

M.Sc. Raúl A. Beltrán Hoyos (USB) Proposiciones USB 7 / 26

Los términos de enlace pueden unir o pueden ser usados con

M.Sc. Raúl A. Beltrán Hoyos (USB) Proposiciones USB 8 / 26

Los términos de enlace pueden unir o pueden ser usados con

M.Sc. Raúl A. Beltrán Hoyos (USB) Proposiciones USB 8 / 26

M.Sc. Raúl A. Beltrán Hoyos (USB) Proposiciones USB 9 / 26

M.Sc. Raúl A. Beltrán Hoyos (USB) Proposiciones USB 9 / 26

M.Sc. Raúl A. Beltrán Hoyos (USB) Proposiciones USB 9 / 26

M.Sc. Raúl A. Beltrán Hoyos (USB) Proposiciones USB 10 / 26

M.Sc. Raúl A. Beltrán Hoyos (USB) Proposiciones USB 10 / 26

REGLA 1: El ) es más potente que los otros términos de enlace.

M.Sc. Raúl A. Beltrán Hoyos (USB) Proposiciones USB 11 / 26

REGLA 1: El ) es más potente que los otros términos de enlace.

M.Sc. Raúl A. Beltrán Hoyos (USB) Proposiciones USB 11 / 26

REGLA 1: El ) es más potente que los otros términos de enlace.