Professional Documents
Culture Documents
LAS PROPOSICIONES
Las oraciones son expresiones lingüísticas que cumplen diversas funciones. Las oraciones pueden
ser:
ü Expresivas: son las que manifiestan estados de ánimo, deseos, aprobación o
desaprobación.
Ejemplos:
“¡Es magnífico!“
“Ojalá llueva”
“¡Cómo nos divertimos!“
“¿No crees que me has hecho esperar demasiado?”
Definición
Proposición es toda expresión lingüística que tiene una función informativa:
afirma o niega algo, y tiene sentido decir de ella que es verdadera o falsa.
Actividad 1
a. “2 es mayor que 3”
1
I nstituto Superior del Profesorado “Juan N.Terrero”
Se suelen utilizar letras minúsculas p , q , r , t , etc, para designar proposiciones. Por ejemplo:
p : ”Lógica proposicional es uno de los contenidos que abordaremos en este curso”
q : “157 es un número primo”
r : “La garza es un mamífero”
t : “8 es el cubo de 2”
Estas proposiciones se llaman simples o atómicas, ya que no pueden descomponerse o
subdividirse en otras más simples.
Actividad 2
Indicar cuáles son las proposiciones componentes de las proposiciones compuestas anteriores.
a)
b)
c)
d)
e)
Las proposiciones compuestas se reconocen por la presencia de conectivos; se llama así a ciertas
palabras o expresiones del lenguaje, como por ejemplo, y, o, si-entonces, etc. Estas conectivas
tienen la función de relacionar las proposiciones que forman un enunciado compuesto.
El “no” es también un conectivo, pero a diferencia de las demás no relaciona dos proposiciones,
sino que afecta a una única proposición. Se lo denomina conectivo monádico, mientras que los que
relacionan dos proposiciones son conectivos diádicos o binarios.
Definición
Conectivo lógico es una expresión lingüística que, aplicado a uno o dos
enunciados, permite obtener una proposición compuesta.
El valor de verdad de cada proposición compuesta está determinado por el valor de verdad de las
proposiciones que la componen y de los conectivos que utiliza.
2
L ógica
1) Negación
La negación de
p : todo hombre es honesto
es − p : no todo hombre es honesto
o bien − p : no es cierto que todo hombre es honesto
− p : hay hombres que no son honestos
− p : existen hombres deshonestos
la cual es V ya que la primera es F.
Actividad 3
Actividad 4
c. “no existen subconjuntos de los reales positivos que tienen primer elemento”
2) Conjunción
Sean " p" y "q" proposiciones. La conjunción de la proposición " p" con la proposición "q" es una
nueva proposición que se denota " p ∧ q" y se lee " p y q" . La expresión “10 es múltiplo de 2 y de 6”
es la conjunción de la proposición “10 es múltiplo de 2” con la proposición “10 es múltiplo de 6”.
La proposición " p ∧ q" es verdadera cuando ambas, tanto " p" como "q" son verdaderas.
En cualquier otro caso es falsa.
La proposición “10 es múltiplo de 2 y de 6” es falsa porque es la c onjunción de la proposición “10
es múltiplo de 2”, que es verdadera, con la proposición “10 es múltiplo de 6”, que es falsa.
3
I nstituto Superior del Profesorado “Juan N.Terrero”
La conjunción es un conectivo diádico, ya que para poder definir la proposición compuesta " p ∧ q"
se necesitan dos proposiciones atómicas.
A las proposiciones que componen una conjunción se las denomina conjuntivos.
Actividad 5
Actividad 6
1 1
b. “las expresiones decimales de y son periódicas mixtas”
30 3
d. “ 2 y 9 son irracionales”
3) Disyunciones
Las proposiciones:
a) “regalo los libros viejos o que no me sirven”
b) “hoy es lunes o martes”
son proposiciones compuestas que consisten en la disyunción de dos proposiciones simples. La
palabra “o” es el conectivo. Las proposiciones que forman una disyunción se denominan disyuntivos.
Pero hay dos sentidos que tiene la “o” en el lenguaje cotidiano. Consideremos los ejemplos
anteriores:
4
L ógica
Disyunción incluyente
La expresión “ p ∨ q ” denota una nueva proposición, que es la disyunción de “ p ” con “ q ” y se
lee “ p o q ” . Aquí utilizamos la disyunción en sentido inclusivo. Esto significa que “ p ∨ q ” es una
proposición verdadera si una, la otra, o ambas proposiciones son verdaderas.
Disyunción excluyente
La expresión “ p ∨ q ” denota una nueva proposición, que es la disyunción de “ p ” con “ q ” y se
lee “ o poq” . La proposición compuesta “ p ∨ q ” es verdadera si una o la otra es
verdadera, pero no ambas proposiciones son verdaderas.
Actividad 7
Actividad 8
5
I nstituto Superior del Profesorado “Juan N.Terrero”
I ¡Atención!
A partir de ahora, con el objeto de no confundir los cone ctivos definidos precedentemente,
llamaremos disyunción a “ p ∨ q ” y diferencia simétrica o disyunción excluyente a “ p ∨ q ”
Actividad 9
a. ( x − 1) ( x + 2) > 0
1
b. x − ( x + 3) ≤ 0
2
c. x >3
5 Recordar que...
d. x≤
2 ∀ x∈ R:
e. x −5 ≥ 4 x si x ≥ 0
x =
− x si x < o
4) Implicación
Sean " p" y "q" proposiciones. La expresión “ p ⇒ q ” se utiliza para designar una nueva
proposición llamada implicación o condicional de " p" con "q" .
Se lee:
"p implica q" o bien “ si p entonces q”
p : apruebo el examen
q : te presto el apunte
6
L ógica
Quedan por analizar dos casos: cuando el antecedente es falso y el consecuente verdadero y
cuando ambos son falsos. Pero estos casos difícilmente se presentan en el uso de nuestro lenguaje;
condicionales con antecedente falso resultan raros o sin sentido en el lenguaje cotidiano y por eso es
difícil inferir qué valores de verdad le corresponden. La lógica resuelve considerar verdaderos estos
dos condicionales. Ello no es totalmente arbitrario, ni e ntra en conflicto con el lenguaje ordinario sino
que más bien completa lo que éste deja sin decidir.
De este modo:
la implicación sólo es F cuando el antecedente es V y el consecuente es F
Actividad 10
Actividad 11
a. Expresar en forma general un número natural par.
………………………………………………………………………………………………..
…………………………………………………………………………………………………
Actividad 12
Demostrar:
a. Si un número es par entonces su cuadrado es par.
b. Si un número es impar entonces su cuadrado es impar.
5) Equivalencia
Sean " p" y "q" proposiciones. La equivalencia (también llamada bicondicional o doble
implicación) de dos proposiciones " p" con "q" , es una nueva proposición que denotaremos
7
I nstituto Superior del Profesorado “Juan N.Terrero”
" p ⇔ q" o “ p ≡ q”
Se lee:
“ p es equivalente a q” o “ p si y sólo si q”
Actividad 13
Actividad 14
a. Completar la siguiente definición:
…………………………………………………………………………………………………………………………..
……………………………………………………………………………………………………………………………………
Actividad 15
Demostrar:
1. Si un número divide a un entero, divide el producto de éste por cualquier entero .
2. Si un número divide a otros dos, entonces divide a su suma .
3. Si un número divide a otros dos, entonces divide a su diferencia .
4. Si un número divide a un entero, entonces divide a su opuesto.
Ayuda: expresar simbólicamente
el enunciado y utilizar la
definición de divisor.
8
L ógica
Resumiendo ….
Proposiciones
Pueden ser
SIMPLES COMPUESTAS
Conectivos Lógicos
♦ Negación
♦ Conjunción
♦ Disyunción
o Incluyente
o Excluyente
♦ Implicación
♦ Doble implicación
“ p ⇔ q ” es verdadera cuando “ p ” y “q ”
tienen el mismo valor de verdad.
9
I nstituto Superior del Profesorado “Juan N.Terrero”
Actividad 16
Construir la tabla de valores de verdad para cada una de las siguientes proposiciones:
a. p ⇒ ( p ∨ q)
b. p ⇒ (q ⇒ r )
c. ( p ⇒ q) ⇔ r
d. p ∧ −p
e. [ p ∧ ( p ⇒ q )] ⇒ q
f. ( p ∧ q) ⇒ p
g. [( p ⇒ q ) ∧ (q ⇒ r )] ⇒ ( p ⇒ r )
h. ( p ∧ q) ⇒ p
i. [( p ⇒ q ) ∧ (q ⇒ r )] ⇒ ( p ⇒ r )
Actividad 17
p q p∨q p ⇒ ( p ∨ q) − p∧q p ∧ (− p ∧ q )
V V V
V F V
F V V
F F F
Claramente vemos en la tabla que existen proposiciones que son siempre verdaderas y otras que
son siempre falsas, independientemente de los valores de verdad de las proposiciones atómicas que
las componen.
También existen proposiciones que no son siempre verdaderas y que tampoco son siempre falsas.
Esto da lugar a las siguientes definiciones:
Definición 1
Una proposición lógica es una tautología si es verdadera para todas las
asignaciones posibles.
10
L ógica
Definición 2
Una proposición lógica es una contradicción si es falsa para todas las
asignaciones posibles.
Definición 3
Una proposición lógica que no es una tautología ni una contradicción se
denomina contingencia.
Existen dos tipos importantes de tautologías: las implicaciones lógicas y las equivalencias lógicas.
Algunas reciben nombres especiales por ser de uso muy frecuente. Daremos a continuación una
lista de las más importantes:
♦ Conmutatividad
o de la conjunción: ( p ∧ q ) ≡ (q ∧ p )
o de la disyunción: ( p ∨ q ) ≡ (q ∨ p )
♦ Asociatividad
o de la conjunción: [( p ∧ q ) ∧ r ] ≡ [ p ∧ (q ∧ r )]
o de la disyunción: [( p ∨ q ) ∨ r ] ≡ [ p ∨ (q ∨ r )]
♦ Distributividad
♦ De Morgan
o la negación de una conjunción es equivalente a la disyunción de las negaciones:
[− ( p ∧ q )] ≡ (− p ∨ −q )
o la negación de una disyunción es equivalente a la conjunción de las negaciones:
[− ( p ∨ q )] ≡ (− p ∧ −q )
11
I nstituto Superior del Profesorado “Juan N.Terrero”
♦ Definición de condicional: ( p ⇒ q ) ≡ [− ( p ∧ − q )]
( p ⇒ q ) ≡ (− p ∨ q )
♦ Definición de bicondicional: ( p ⇔ q ) ≡ [( p ⇒ q ) ∧ (q ⇒ p )]
♦ Modus Ponens: [( p ⇒ q ) ∧ p ] ⇒ q
♦ Modus Tollens: [( p ⇒ q ) ∧ −q ] ⇒ − p
♦ Transitividad o silogismo hipotético: [( p ⇒ q ) ∧ (q ⇒ r )] ⇒ ( p ⇒ r )
♦ Simplificación: ( p ∧ q) ⇒ p
♦ Adición: p ⇒ ( p ∨ q)
Actividad 18
Implicaciones asociadas
Sea el condicional p⇒q, que llamaremos directo. En conexión con él, se presentan
otros tres, obtenidos por permutaciones o negaciones del antecedente y consecuente:
q⇒ p recíproco
− p ⇒ −q contrario
− q ⇒ −p contrarrecíproco
12
L ógica
Las cuatro implicaciones propuestas se llaman conjugadas, y cualquiera de ellas puede tomarse
como directa. El siguiente esquema nos proporciona la relación que las vincula:
p ⇒q q⇒p
− p ⇒ −q − q ⇒ −p
Actividad 19
Actividad 20
Actividad 21
Completar:
……………………………………………………………………………………………..
13
I nstituto Superior del Profesorado “Juan N.Terrero”
p : “ T es equilátero”
q : “ T es isósceles”
Que un triángulo sea equilátero es suficiente para asegurar que ese triángulo es
isósceles. Diremos que p es condición suficiente para q .
Por otra parte T es equilátero sólo si es isósceles; es decir, que un triángulo sea
isósceles es condición necesaria para que sea equilátero. Diremos que q es condición
necesaria para p.
p q p⇒q
V V V
V F F
F V V
F F V
Hay tres casos en que p⇒q es V , y entre ellos hay uno en que p es V , en el cual resulta q
verdadera. Es obvio que nos referimos al primer renglón de la tabla, y se tiene que si p⇒q es V y
p es V , entonces q es V . Se dice entonces que el antecedente p es condición suficiente para el
consecuente q .
En cambio, si p es
F , nada podemos decir de q , puesto que puede ser V o F . Por otra parte,
cuando p ⇒ q es V , si q es V , entonces p puede ser V o F ; mas para que p sea V se
necesita que q lo sea. Se dice entonces que q es condición necesaria para p .
Resumiendo:
14
L ógica
c) [ p ⇒ (q ∨ − p )] ⇒ −q
d) [( p ∧ q ) ⇒ p ] ⇒ q
e) (− p ∨ −q ) ⇒ −( p ∧ q )
f) [( p ∧ q ) ⇒ r ] ≡ −[ p ⇒ (q ⇒ r )]
b) ( p ⇒ q ) ⇒ r ?
c) p ∧ q ?
6) Siendo
p : a . b es impar
q : a y b son impares
Demostrar: p ⇒ q
15
I nstituto Superior del Profesorado “Juan N.Terrero”
FUNCIÓN PROPOSICIONAL
Oraciones como “ x es un número primo”, “ x es un número mayor que 5”, “el cubo de un número
x es el número y ” no son proposiciones. Tales expresiones se convierten en proposiciones cuando
se reemplaza a la(s) variable(s) por un valor correspondiente al dominio donde se encuentra(n)
definida(s).
Definición
I ¡Atención!
No perder de vista que las funciones proposicionales no son proposiciones, pero se pueden convertir
en proposiciones. Una forma es sustituir la(s) variables(s) por un elemento perteneciente al dominio.
16
L ógica
cualquier valor entero "a" que tome la variable y, resulta Q(a ) : “ a es solución de la ecuación
x + x − 1 = 0 ” que es una proposición siempre falsa. Por ejemplo, son proposiciones falsas Q(− 5) ,
2
Q(0 ) , Q(3) .
1
En cambio si elegimos como dominio el conjunto de los números reales la sustitución de y por
2
1 1
es solución de la ecuación x + x − 1 = 0 ”, que es una proposición falsa; pero si
2
es Q : “
2 2
−1 − 5 −1 − 5
y= resulta que Q
es una proposición verdadera.
2 2
Actividad 1
Actividad 2
Hemos visto que una forma de transformar una función proposicional en proposición es sustituir
la(s) variables(s) por un elemento perteneciente al dominio.
17
I nstituto Superior del Profesorado “Juan N.Terrero”
Actividad 3
c) Existen dos números naturales tales que dos es igual a la suma de sus cuadrados.
Actividad 4
18
L ógica
I ¡Atención!
Una función cuantificada universalmente es V si y sólo si son V todas las proposiciones
particulares asociadas a aquélla.
Para asegurar la verdad de una función proposicional cuantificada existencialmente, es suficiente
que sea verdadera por lo menos una de las proposiciones asociadas a la función proposicional.
su negación es:
“No todos los números naturales son impares”
es decir:
“Existen naturales que no son impares”
y en símbolos
∃ x / − P( x )
su negación es:
“No existen naturales impares”
es decir:
“Cualquiera sea el número natural, no es impar”
o lo que es lo mismo
“Todo número natural es par”
y en símbolos
∀ x : − P( x )
19
I nstituto Superior del Profesorado “Juan N.Terrero”
Actividad 5
I.
II.
Actividad 6
Actividad 7
a) “Existen ecuaciones de primer grado con coeficientes enteros cuyas soluciones no son enteras”
b) “Todos los números enteros son múltiplos de tres”
c) “Existen números enteros que son pares y no son divisibles por 4”
d) “Para todo número real x , si x es irracional entonces su cuadrado también lo es”
e) “Para todo número natural n , si n es impar entonces su cuadrado también lo es”
Escribirlas en lenguaje simbólico, determinar su valor de verdad, negarlas y traducir las negaciones al
lenguaje simbólico.
20
L ógica
Resumiendo ….
se pueden transformar
en proposiciones
Ejemplo:
P( x ) : " x > −10, x ∈ Z "
Para x = − 20 , obtenemos
la proposición:
"−20 es un número entero Universal Existencial
mayor que − 10" , cuyo ∀x : P( x ) ∃x / P( x )
valor de verdad es F
Ejemplo: Ejemplo:
P( x ) : " x > −10, x ∈ N " P( x) : " x ≤ 100, x ∈ N "
Si la cuantificamos Si la cuantificamos
universalmente: existencialmente:
∀x ∈ N : x > −10 ∃ x ∈ N / x ≤ 100
obtenemos una obtenemos una
proposición cuyo valor proposición cuyo valor
de verdad es V de verdad es V
21
I nstituto Superior del Profesorado “Juan N.Terrero”
22
L ógica
23