módulo 1

Anuncio
Facultad de Informática
Módulo 1 – Lógica
Matemática 0 UNLP Curso de Ingreso 2013 – Matemática 0 Página 1 Facultad de Informática
Módulo 1 – Lógica
Contenido 3
1.1 Álgebra de proposiciones
Expresiones No Proposicionales 4
Enunciados Abiertos 4
Clasificación de las Proposiciones 4
5
1.2 Conectivos Lógicos
1.2.1 Operaciones Proposicionales 5
Negación
5
Conjunción
6
Disyunción
6
Condicional (o implicación)
7
Ejercicio
9
El recíproco del implicador
9
El contrarrecíproco del implicador
10
Ejercicio
10
El bicondicional (o coimplicación)
10
1.2.2 Tautología 13
1.2.3. Contradicción 15
1.2.4 Equivalencia lógica 16
16
1.3 Esquemas proposicionales en una indeterminada
Ejercicios
16
17
1.4 OPERADORES: Universal y Existencial
Alcance de un operador
18
Negación de operadores
19
Ejercicios
19
Adicionales
21
Curso de Ingreso 2013 – Matemática 0 Página 2 Facultad de Informática
Módulo 1 – Lógica
MÓDULO 1
Este módulo tiene por objetivo el familiarizarse con los elementos básicos de la lógica
simbólica; lo que permitirá establecer la validez de un enunciado complejo a partir de
sus componentes. El álgebra proposicional abarca conceptos que se son muy
utilizados en la carrera que elegiste.
1.1 Álgebra de proposiciones
El álgebra proposicional, que trata de determinar el valor de verdad de una combinación de
enunciados se basa en reglas análogas.
DEFINICIÓN:
Proposición: oración con valor declarativo o informativo, de la cual se puede predicar su
verdad o falsedad.
Es decir,
Una proposición o enunciado es una oración que puede ser falsa o verdadera pero no
ambas a la vez. La proposición es un elemento fundamental de la lógica matemática.
La proposición es el significado de una idea, enunciado, conjunto de palabras o letras a las
que se les puede asignar uno y sólo uno de los valores de verdad, que pueden ser:
VERDADERO (V) o FALSO (F)
En resumen, podemos dar la siguiente definición: Proposición es toda oración declarativa.
Por lo general, a las proposiciones se las representa por las letras del alfabeto desde la letra
p, es decir, p, q, r, s, t,... etc. Así, por ejemplo, podemos citar las siguientes proposiciones y
su valor de verdad:
p: 15 + 5 = 21 (F)
q: Santa Fe es una provincia Argentina. (V)
r: El número 15 es divisible por 3. (V)
s: El perro es un ave. (F)
Aclaremos que la mayor parte de las veces los enunciados adquieren el carácter de
proposición en un contexto determinado; esto es un enunciado puede ser una proposición
en un sistema determinado, y no serlo en otro. Para ser más claro: la oración “María va al
teatro” no es una proposición, a menos que yo sepa a qué María (de los millones que
Curso de Ingreso 2013 – Matemática 0 Página 3 Facultad de Informática
Módulo 1 – Lógica
existen) se refiere, y si “va al teatro” quiere decir que va habitualmente al teatro o que lo
hace de vez en cuando o que está yendo al teatro en este instante determinado. Por otra
parte si María es mi hermana, y en este momento está saliendo, la afirmación “María va al
teatro” es una proposición, puesto que claramente es verdadera o falsa. Entonces, cuando
digamos que cierto enunciado es una proposición tendremos en claro que lo es en un
determinado contexto, en el cual es sin lugar a dudas verdadera o falsa.
Expresiones No Proposicionales
Son aquellos enunciados a los que no se les puede asignar un valor de verdad. Entre ellos
tenemos a los exclamativos, interrogativos o imperativos.
Así tenemos, por ejemplo:
– ¿Cómo te llamas?
– Prohibido pasar.
– Borra el pizarrón.
Enunciados Abiertos
Si en la proposición: "cinco es mayor que tres" (en símbolos: 5 > 3) reemplazamos al
número 5 por la letra x, se obtiene la expresión "x es mayor que tres" (x > 3), y si
convenimos que x no represente necesariamente al número 5, sino a un número cualquiera,
entonces al enunciado x > 3 se le denomina enunciado abierto.
Clasificación de las Proposiciones
Aquellas proposiciones que constan o se las puede representar por una sola variable, se
llaman proposiciones simples o atómicas. Por ejemplo, sea la proposición "p: 3 + 6 = 9" es
una proposición simple o atómica.
Cuando una proposición consta de dos o más enunciados simples, se le llama proposición
compuesta o molecular. Así, por ejemplo:
Encontramos dos enunciados. El primero (p) nos afirma que Pitágoras era griego y el
segundo (q) que Pitágoras era geómetra
No es necesario conocer si una afirmación es verdadera o falsa (es decir, su valor de
verdad) para saber que es una proposición. Por ejemplo: “Hay vida extraterrestre” es una
proposición, independientemente de que algunos crean que es verdadera y otros que es
falsa, puesto que claramente o bien existe vida extraterrestre o bien no existe.
Nuestro sencillo estudio de las proposiciones no tratará de establecer el valor de verdad
de una proposición dada, lo que muchas veces es tarea de los científicos (“el universo se
originó en la gran explosión”), los filósofos (“pienso, por lo tanto existo”), los jueces, o las
novias y novios (“te quiero…”).
Curso de Ingreso 2013 – Matemática 0 Página 4 Facultad de Informática
Módulo 1 – Lógica
Lo que haremos es analizar el valor de verdad de proposiciones complejas, construidas
con ciertas reglas a partir de proposiciones más simples, conociendo el valor de verdad de
estas últimas.
1.2 Conectivos Lógicos
A partir de proposiciones simples es posible generar otras, simples o compuestas. Es decir
que se puede operar con proposiciones, y para ello se utilizan ciertos símbolos llamados
conectivos lógicos. A continuación vemos una concreta definición de cada uno:
1.2.1 Operaciones Proposicionales
Definiremos las operaciones entre proposiciones en el sentido siguiente: dadas dos o más
proposiciones, de las que se conoce los valores de verdad, se trata de caracterizar la
proposición resultante a través de su valor de verdad. A tal efecto, estudiaremos a
continuación el uso y significado de los diferentes conectivos lógicos.
Negación
Dada una proposición p, se denomina la negación de p a otra proposición denotada por ⌐ p
(se lee "no p") que le asigna el valor de verdad opuesto al de p. Por ejemplo:
p: Diego estudia matemática
⌐ p: Diego no estudia matemática
Por lo que nos resulta sencillo construir su tabla de verdad:
p
⌐p
V
F
F
V
Observamos aquí que al valor V de p, la negación le hace corresponder el valor F, y
viceversa.
Se trata de una operación unitaria, pues a partir de una proposición se obtiene otra, que es
su negación.
Ejemplo: La negación de " p: todos los alumnos estudian matemática" es
⌐ p: no todos los alumnos estudian matemática
O bien:
⌐ p: no es cierto que todos los alumnos estudian matemática
⌐ p: hay alumnos que no estudian matemática
Curso de Ingreso 2013 – Matemática 0 Página 5 Facultad de Informática
Módulo 1 – Lógica
Conjunción
Dadas dos proposiciones p y q, se denomina conjunción de estas proposiciones a la
proposición p Λ q (se lee "p y q"), cuya tabla de verdad es:
p
q
pΛq
V
V
V
V
F
F
F
V
F
F
F
F
La tabla que define esta operación, establece que la conjunción es verdadera sólo si lo son
las dos proposiciones componentes. En todo otro caso, es falsa.
Ejemplos: Sea la declaración:
Vemos que está compuesta de dos proposiciones a las que llamaremos p y q, que son
p: 5 es un número impar
q: 6 es un número par
Por ser ambas verdaderas, la conjunción de ellas es verdadera.
Ahora bien, sea la declaración:
Hoy es el día 3 de noviembre y mañana es el día de 5 de noviembre
Esta conjunción es falsa, ya que no pueden ser simultáneamente verdaderas ambas
proposiciones.
Disyunción
Dadas dos proposiciones p y q, la disyunción de las proposiciones p y q es la proposición
compuesta p ∨ q, cuya tabla de valor de verdad es:
p
Curso de Ingreso 2013 – Matemática 0 q
p∨q
Página 6 Facultad de Informática
Módulo 1 – Lógica
V
V
V
V
F
V
F
V
V
F
F
F
Ejemplo: Tiro las cosas viejas o que no me sirven.
La disyunción compuesta por p y q (p: tiro las cosas viejas, q: tiro las cosas que no me
sirven) es verdadera, pues puedo tirar algo viejo, y que además no me sirve.
Condicional (o implicación)
Consideremos el enunciado: "Si apruebas Filosofía, te dejaré ir al viaje de fin de curso".
Este enunciado está formado por dos atómicas:
p: "Apruebas Filosofía"
q: "Te dejaré ir al viaje de fin de curso"
Lo que nuestro enunciado original afirma es esto: si p es verdad, entonces q también es
verdad, o, dicho de modo más sencillo, si p, entonces q. Se trata de un enunciado
condicional cuya formalización es p q, y que se puede leer también como p implica q.
En el enunciado p q, se dice que p es el antecedente (o hipótesis) y q el consecuente (o
conclusión).
El condicional p q se lee "p implica q" o bien "si p, entonces q". Un condicional
siempre es verdadero, excepto cuando el antecedente es verdadero y el
consecuente falso.
Por lo tanto, su valor de verdad queda definido por la siguiente tabla de verdad.
p
V
V
F
F
q
V
F
V
F
p q
V
F
V
V
En las columnas p y q aparecen las cuatro posibles combinaciones de los
valores de verdad para p y q, y en la columna p q aparecen enumerados los
valores de verdad de p q para cada una de esas combinaciones. Por ejemplo,
la segunda fila de la tabla nos dice que cuando p es verdadero y q falso, el
enunciado p q es falso.
Curso de Ingreso 2013 – Matemática 0 Página 7 Facultad de Informática
Módulo 1 – Lógica
Importante: Es destacable que la implicación puede ser cierta aunque el consecuente sea
falso (q en p q). Así, si no apruebas Filosofía, pero yo no te permito ir al viaje de fin de
curso, la implicación "Si apruebas Filosofía, te dejaré ir al viaje de fin de curso" es
verdadera.
Otras denominaciones para la proposición p → q son:
p sólo si q
q si p
p es condición suficiente para q
q es condición necesaria para p
Así, una condición necesaria (pero no suficiente) para que un triángulo sea equilátero es
que sea un triángulo isósceles y una condición suficiente (pero no necesaria) para que un
triángulo sea isósceles es que sea un triángulo equilátero
Ser divisible por 2 es condición necesaria para ser divisible por 6, pero no suficiente.
Ser divisible por 8 es condición suficiente para ser divisible por 4, pero no necesaria.
Ejemplos sobre el condicional
Primer ejemplo: Verdad implica verdad, es cierto.
Como hemos visto, si p y q son verdad, entonces p q es verdad. Por ejemplo, sea p: "la
Tierra es redonda", y q: "3x5=15". La fórmula p q dice que:
"Si la Tierra es redonda, entonces 3x5=15".
Fíjate que los dos enunciados p y q de este ejemplo no tienen nada que ver entre ellos.
Pero con p q no queremos decir (no decimos) que hay una relación causal entre ambos
enunciados.
En el caso de p q siendo p: "la Tierra es redonda", y q: "3x5=15" solamente decimos que el
enunciado "Si la Tierra es redonda, entonces 3x5=15" es lógicamente verdadero.
Segundo ejemplo: Verdad no puede implicar falsedad.
Si p es un enunciado verdadero y q falso, entonces p q es falso. Por ejemplo:
"Cuando hay sol, voy al monte"
En este caso p: "Hace sol" y q: "voy al monte". En otras palabras, podemos reformular
nuestra frase como "Si está haciendo sol, entonces estoy en el monte". Pero hay muchos
días que hace sol (p es verdadero) en los que no voy al monte (q es falso). En esos días el
enunciado p q es claramente falso.
Fíjate que hemos interpretado "Cuando p, q" como "Si p, entonces q".
Tercer ejemplo: la falsedad implica cualquier cosa.
Curso de Ingreso 2013 – Matemática 0 Página 8 Facultad de Informática
Módulo 1 – Lógica
En las dos últimas filas de la tabla de verdad del condicional observamos que, siendo falso
el antecedente, la implicación es falsa sea verdadero o falso el consecuente. Es decir, si p
es falso, entonces p q es verdadero sea q verdadero o falso. Por ejemplo:
"Si la Tierra es plana, entonces yo he ganado el premio Nobel"
En este caso p: "La Tierra es plana", que es un enunciado falso, y q: "He ganado el premio
Nobel", y el enunciado p q es verdadero haya ganado el hablante el premio Nobel o no.
Lo esencial es que si el antecedente es falso, el condicional será verdadero diga lo que diga
el consecuente.
Ejercicio
Determina el valor de las siguientes implicaciones y justifica por qué.
a) Si llueve hacia arriba, entonces eres un ser humano.
b) Si 2 + 2 = 4, entonces las ranas tienen pelo.
c) Si sabes leer, entonces los círculos son cuadrados.
d) Si los burros vuelan, entonces las tortugas saben álgebra
Propiedades de los enunciados condicionales
Ya hemos visto que tanto la conjunción como la disyunción tienen la propiedad conmutativa,
es decir el orden de los enunciados de las conjunciones o de las disyunciones no altera su
valor de verdad: es lo mismo p q que q p, y también es lo mismo p q que q p.
El recíproco del implicador
Pero, ¿ocurre lo mismo con el implicador? ¿Es lo mismo p q que q p? La respuesta es
que no. Veámoslo con cierto detenimiento.
Se dice que q p es el recíproco de p q. El implicador no tiene la propiedad conmutativa y
esto se aprecia en la comparación de las tablas de verdad de p q y de su recíproco q p:
Valores diferentes
P
V
V
F
F
q
V
F
V
F
p q
V
F
V
V
q p
V
V
F
V
Veámoslo con un ejemplo:
Sea p el enunciado "Llueve", y q: "El suelo está mojado", siendo, por consiguiente p q "Si
llueve, entonces el suelo está mojado". Veamos el recíproco de este enunciado: q p: "Si el
suelo está mojado, entonces llueve". Vemos que los dos enunciados no son lógicamente
equivalentes, pues si p es verdadero, y q falso:
Curso de Ingreso 2013 – Matemática 0 Página 9 Facultad de Informática
Módulo 1 – Lógica
p q ("Si llueve, entonces el suelo está mojado") es necesariamente falso
q p ("Si el suelo está mojado, entonces llueve") es verdadero, pues una falsedad implica
cualquier cosa manteniendo la verdad del condicional.
El contrarrecíproco del implicador
Aunque un enunciado condicional y su recíproco no son equivalentes, sí lo son un
enunciado condicional y su contrarrecíproco.
El contrarrecíproco del enunciado p q es ¬q ¬p (es decir, la negación de cada uno de los
enunciados del recíproco). Veámoslo comparando tablas de verdad:
Mismos valores
p
V
V
F
F
q
V
F
V
F
p q
V
F
V
V
¬q
F
V
F
V
¬p
F
F
V
V
¬q ¬p
V
F
V
V
Comparemos el mismo ejemplo:
En el ejemplo anterior donde p: "Llueve", q: "El suelo está mojado", p q "Si llueve,
entonces el suelo está mojado". El contrarrecíproco es ¬q ¬p, que significa que "Si el suelo
no está mojado, entonces no llueve", que es lógicamente equivalente al enunciado primitivo
p q.
Nota
El contrario de p→q es ⌐p→⌐q
Ejercicio
Escribe el recíproco y el contrarrecíproco de los siguientes condicionales
(¬p)
p
(s q )
(r
(q Λ h)
¬ q)
(¬s Λ ¬t)
El bicondicional (o coimplicación)
Ya hemos comprobado que p q no es lo mismo que q p. Puede ocurrir, sin embargo, que
tanto p q como q p sean verdaderos. Por ejemplo, si p:"La Tierra es cúbica", y q:"El Sol
Curso de Ingreso 2013 – Matemática 0 Página 10 Facultad de Informática
Módulo 1 – Lógica
es un planeta", entonces tanto p q como q p son verdaderos, porque tanto p como q son
falsos. Es necesario tener esto en cuenta para entender bien el concepto de bicondicional
Mediante el bicondicional
lo que queremos decir es que un enunciado es a la vez
condición necesaria y suficiente para otro. Así, si digo que p: "apruebo Filosofía" y q: "saco
un 5 o más en el examen de Lógica" la fórmula p q significa "apruebo Filosofía si y sólo si
saco un 5 o más en el examen de Lógica". Con este "si y sólo si" quiero poner de manifiesto
tres cosas:
1.
2.
3.
Al introducir el primer condicional "si" (en "si y sólo si"), introduzco el antecedente, y por
tanto afirmo que p q, (es decir aprobaré Filosofía si saco 5 o más en el examen de
Lógica),
Al introducir "sólo si" (en "si y sólo si"), introduzco el consecuente, buscando comunicar
que q p, (es decir, que si saco un 5 o más en el examen de Lógica, entonces apruebo
la Filosofía), y
Al utilizar el conectivo "y" (en "si y sólo si"), quiero comunicar la conjunción de p q con
q p.
Así pues, el enunciado "apruebo Filosofía si y sólo si saco un 5 o más en el examen de
Lógica" se puede formalizar de dos formas equivalentes: (p q) (q p), o bien p q.
En consecuencia, el enunciado p q queda definido por el enunciado (p q) (q p). Por
esta razón, el símbolo se llama bicondicional, y la tabla de verdad para p q es la misma
que la de (p q) (q p).
El bicondicional o coimplicador p q, que se lee "p si y sólo si q" o "p es equivalente
a q", se define por la siguiente tabla de verdad:
p
V
V
F
F
La doble flecha horizontal
q
V
F
V
F
p
V
F
F
V
q
es el operador bicondicional
Fíjate que de la observación de la tabla de verdad deducimos que para que p q sea
verdadera, tanto p como q han de tener los mismos valores de verdad, y en caso
contrario es falsa.
La formalización del bicondicional
El coimplicador puede tener varias expresiones equivalentes en lenguaje natural. Así p
es la formalización de las siguientes expresiones de lenguaje natural:
•
•
•
q
p si y sólo si q
p es necesario y suficiente para q
p es equivalente a q
Fíjate que p q y q p tendrían totalmente los mismos valores de verdad, puesto que
ambas son coimplicaciones y por lo tanto si sus valores de verdad son los mismos, son
verdaderas, y son falsas en los demás casos. En consecuencia, podemos reformular los
enunciados anteriores intercambiando p y q:
Curso de Ingreso 2013 – Matemática 0 Página 11 Facultad de Informática
•
•
•
Módulo 1 – Lógica
q si y sólo si p
q es necesario y suficiente para p
q es equivalente a p
Ejemplos del bicondicional
Ejemplos de bicondicionales
verdaderos:
Motivos por
verdadera:
los
que
p
q
es
p q
(a) "La Tierra es cúbica si y sólo si
el Sol es un planeta"
p: "La Tierra es
cúbica": F
q: "El Sol es un
planeta": F
(b) "La Tierra es esférica si y sólo si
el Sol es una estrella"
p: "La Tierra es
esférica": V
q: "El Sol es
una estrella": V
(c) "Los cocodrilos tienen ruedas si
y sólo si los sapos bailan flamenco"
p:
"Los
cocodrilos
tienen ruedas":
F
q: "Los sapos
bailan
flamenco": F
(d) "Los cocodrilos no tienen ruedas
si y sólo si los sapos no bailan
flamenco".
p:
"Los
cocodrilos no
tienen ruedas":
V
q: "Los sapos
no
bailan
flamenco": V
Ejemplos de bicondicionales falsos:
Motivos por los que p q es falsa:
p q
(a) "La Tierra es cúbica si y sólo si
2+2=4"
p: "La Tierra es
cúbica": F
q: "2+2=4": V
(b) "El Sol es una estrella si y sólo
si 1+2=4"
p: "El Sol es
una estrella": V
q: "1+2=4": F
(c) "Los cocodrilos tienen ruedas si
y sólo si los sapos no bailan
flamenco"
p:
"Los
cocodrilos
tienen ruedas":
F
q: "Los sapos
no
bailan
flamenco": V
(d) "El sol es una estrella si y sólo
si Napoleón escribió el Quijote"
p: "El sol es
una estrella": V
q:
"Napoleón
escribió
el
Quijote": F
Curso de Ingreso 2013 – Matemática 0 Página 12 Facultad de Informática
Módulo 1 – Lógica
1.2.2 Tautología
Tautología, es aquella proposición (compuesta) que es cierta para todos los valores de
verdad de sus variables. Un ejemplo típico es la contrapositiva cuya tabla de verdad se
indica a continuación.
p
q
¬p
¬q
p
q
¬q
¬p
(p q)
(¬ q
)
F
F
V
V
V
V
V
F
V
V
F
V
V
V
V
F
F
V
F
F
V
V
V
F
F
V
V
V
¬p
Note que en las tautologías para todos los valores de verdad el resultado de la proposición
es siempre V. Las tautologías son muy importantes en lógica matemática ya que se
consideran leyes en las cuales nos podemos apoyar para realizar demostraciones.
A continuación citemos una lista de las tautologías más conocidas y reglas de inferencia de
mayor uso en las demostraciones formales.
1.- Doble negación.
a) ¬ ¬ p ⇔ p
2.- Leyes conmutativas.
a) (p Λ q) ⇔ (q Λ p)
b) (p ∨ q) ⇔ (q ∨ p)
3.- Leyes asociativas.
a) [(p ∧ q) ∧ r] ⇔ [p ∧ (q ∧ r)]
b) [(p ∨ q) ∨ r]? ⇔ [p ∨ (q ∨ r)]
4.- Leyes distributivas.
a) [p ∨ (q ∧ r)] ⇔ [(p ∨ q)∧(p ∨ r)]
b) [p ∧ (q ∨ r)] ⇔ [(p ∧ q)∨(p ∧ r)]
5.- Leyes de idempotencia.
a) (p ∨ p) ⇔ p
b) (p ∧ p) ⇔ p
Curso de Ingreso 2013 – Matemática 0 Página 13 Facultad de Informática
Módulo 1 – Lógica
6.- Leyes de De Morgan
a) ¬ (p ∨ q) ⇔ (¬p ∧ ¬q)
b) ¬ (p ∧ q) ⇔ ( ¬p ∨ ¬q)
c) (p ∨ q) ⇔ ¬ (¬ p ∧ ¬q)
d) (p ∧ q) ⇔ ¬ (¬p ∨ ¬q)
7.- Contrapositiva.
a) (p→q) ⇔ (¬ q → ¬ p)
8.- Implicación.
a) (p→q) ⇔ (¬ p ∨ q)
b) (p→q ) ⇔ ¬ (p ∧ ¬q)
c) (p ∨ q) ⇔ (¬ p → q)
d) (p ∧ q) ⇔ ¬ (p→ ¬q)
e) [(p → r) ∧ (q → r)]⇔[(p ∧ q) →r]
f). [(p→q) ∧ (p → r)]⇔[p → (q ∧ r)]
9.- Equivalencia
a) (p↔q)⇔[(p→q)∧(q→p)]
10.- Adición.
a) p⇒ (p ∨ q)
11.- Simplificación.
a) (p ∧ q) ⇒p
12.- Absurdo
a) (p → F ) ⇒ ¬ p
13.- Modus ponens.
a) [p ∧ (p→q)]⇒q
Curso de Ingreso 2013 – Matemática 0 Página 14 Facultad de Informática
Módulo 1 – Lógica
14.- Modus tollens.
a) [(p→q) ∧ ¬q]⇒ ¬p
15.- Transitividad del ↔
a) [(p ↔ q) ∧ (q ↔ r)]⇒(p ↔ r)
16.- Transitividad del →
a) [(p→q) ∧ (q→r)]⇒(p→r)
17.- Más implicaciones lógicas.
a) (p → q) ⇒ [(p ∨ r) → (q ∨ r)]
b) (p→q) ⇒ [(p ∧ r) → (q ∧ r)]
c) (p→q) ⇒ [(q→r) → (p→r)]
18.- Dilemas constructivos.
a) [(p→ q) ∨ (r→s)] ⇒ [(p ∨ r) → (q ∨ s)]
b) [(p→ q) ∧ (r→s)] ⇒ [(p ∧ r) → (q ∧ s)]
1.2.3. Contradicción
Es aquella proposición que siempre es falsa para todos los valores de verdad, una de las
más usadas y más sencilla es p ∧ ⌐p. Como lo muestra su correspondiente tabla de verdad.
p
¬p
p ∧ ¬p
F
V
F
V
F
F
Si en el ejemplo anterior
p: La puerta es verde.
La proposición p ∧ ¬p equivale a decir que "La puerta es verde y la puerta no es verde". Por
lo tanto se esta contradiciendo o se dice que es una falacia.
Curso de Ingreso 2013 – Matemática 0 Página 15 Facultad de Informática
Módulo 1 – Lógica
Una proposición compuesta cuyos resultados en sus diferentes líneas de la tabla de verdad,
dan como resultado V y F le llama contingente o contingencia.
1.2.4 Equivalencia lógica
Se dice que dos proposiciones son lógicamente equivalentes, o simplemente equivalentes.
Si coinciden sus resultados para los mismos valores de verdad. Se indican como p ⇔ q.
Considero que un buen ejemplo es el que se estableció para ilustrar la tautología en donde
se puede observar que las columnas de (p ↔ q) y (¬q ↔¬p) para los mismo valores de
verdad, por lo tanto se puede establecer que (p ↔q) ⇔(¬q ↔¬p).
1.3 Esquemas proposicionales en una
indeterminada
En Álgebra y Aritmética suele decirse que la siguiente expresión
x+2 =5
Es una ecuación.
Tal expresión no es una proposición, pues no tiene sentido afirmar que sea verdadera o
falsa, pero existe algún reemplazo de x por un número de modo tal que se transforma en
una proposición.
Por ejemplo, si x = 7 reemplazamos, 7 + 2 = 5, la cual en este caso es Falsa.
Definición: Se llama esquema proposicional en la indeterminada x a toda expresión
que contiene a x, y posee la siguiente propiedad: “Existe por lo menos un nombre tal que la
expresión obtenida sustituyendo la indeterminada por dicho nombre, es una proposición“.
Convención
Llamaremos simplemente esquema en lugar de “esquema proposicional”.
Las indeterminadas suelen llamarse variables o incógnitas.
Ejemplos
1. “x es blanca” es esquema pues existe una constante “esta flor” que en
lugar de la variable x produce la siguiente proposición: Esta flor es blanca.
Que esta proposición sea Verdadera o Falsa dependerá de cual sea la flor
particular que se está señalando.
2. ¿Qué es x? NO es un esquema, pues no hay constante que sustituida en
la variable produzca una proposición.
Ejercicio
Si x es una indeterminada, decir cuáles de las siguientes expresiones son
esquemas:
1)
2)
3)
Juan y x fueron al teatro
x es perro
Distancia de P a x es igual a 2 (El punto P es conocido )
Curso de Ingreso 2013 – Matemática 0 Página 16 Facultad de Informática
4)
5)
Módulo 1 – Lógica
x doy
x≥0yx≤ 3
Vamos a utilizar símbolos tales como P(x), Q (x), F (x), para designar
esquemas de incógnita x.
DEFINICIÓN
Si F(x) es un esquema en x y a es una constante, se llama valor de F(x) en
la constante a a la expresión obtenida de F(x) sustituyendo x por a.
El valor de F(x) para a se designa F(a).
Ejemplo
F(x): x no es un objeto y a es “esta casa”
F(a): “Esta casa no es un objeto”
DEFINICIÓN
Sea F(x) un esquema en x y a una constante El objeto a se llama raíz del
esquema F(x) o se dice que satisface a F(x) si y sólo si F(a) es Verdadera
1.4 OPERADORES: Universal y Existencial
Hasta ahora se ha visto un método para obtener proposiciones a partir de esquemas F(x):
sustituir la variable x por una constante adecuada a de tal forma que F(a) sea una
proposición.
Hay otro método distinto que transforma un esquema en proposición a partir del esquema
F(x): es el método de los operadores o cuantificadores.
Tomemos un ejemplo, sea P(n) el esquema siguiente
(notar que se cambió la variable x por n):
P(n): n es un número primo
Si a este esquema le anteponemos la locución “para todo n” se obtiene
Para todo n. n es un número primo.
Esta afirmación establece que cualquiera sea el objeto n, ese objeto será un número primo y
es sinónimo a: Todos los objetos son números primos.
No cabe duda que la anterior es una proposición. Más aún, es Falsa.
Curso de Ingreso 2013 – Matemática 0 Página 17 Facultad de Informática
Módulo 1 – Lógica
Importante: Si a un esquema le anteponemos la locución “Para todo x” se obtiene una
proposición!!
La locución “Para todo x” se simboliza “ ∀x ” y se llama operador universal
También existe otro operador que transforma un esquema en proposición y es el operador
existencial, simbolizado “ ∃x ”
Veamos el ejemplo anterior
P(n): n es un número primo y antepongamos la locución “Existe n tal que “, obtenemos:
Existe n tal que n es un número primo
La cual es sinónimo de: Hay algún número primo, la cual es una proposición, y además es
verdadera.
Si a un esquema le anteponemos la locución “Existe x tal que” se obtiene una proposición.
POR LO TANTO: Si se tiene un esquema P(n) puede obtenerse de él una proposición
mediante la adjunción de los operadores:
UNIVERSAL:
EXISTENCIAL:
(∀ n ) : ( P ( n ))
( ∃ n ) : ( P ( n ))
Ejercicio
En cada caso decir si se trata de esquemas, en tal caso transformarlo en una proposición y
hallar su valor de verdad:
1 P(n): n + 1 > n.
2
2 Q(n): n + 1 .
3 R(n): n 2 − 3 n + 2 = 0 .
4 S(n): n es un número racional.
Alcance de un operador
Sea el siguiente ejemplo:
(∃x ) : x es verde ∧ x es rojo
. (*)
Vemos que el operador existencial se refiere únicamente al esquema x es verde y NO a x
es rojo, o sea que el alcance del operador llega únicamente al primer esquema, si
quisiéramos que alcance a los dos esquemas, tendríamos que poner
( ∃ x ) : ( x es verde ∧ x es rojo )
o sea usaríamos paréntesis.
Del ejemplo precedente podemos deducir que: La expresión “x es verde “es el esquema
más simple que aparece en (*) inmediatamente después del operador.
La expresión “x es verde ∧ x es rojo“ también es un esquema pero no es el más simple.
Curso de Ingreso 2013 – Matemática 0 Página 18 Facultad de Informática
Módulo 1 – Lógica
La expresión x es rojo es un esquema también simple pero no aparece después del
operador.
Definición: Se llama alcance de un operador en x al esquema más simple que aparece
inmediatamente después del operador, salvo que se presenten paréntesis, en cuyo caso deben
aplicarse las reglas habituales referentes al uso de paréntesis.
Negación de operadores
Sea la siguiente proposición:
(∀ n ) : n es un número primo , la cual sabemos que es Falsa.
Vamos ahora a negarla
¬ (∀ n ) : n es un número primo
En lenguaje corriente esto nos dice que no todos los números son primos con lo cual su
sinónima será algunos números no son primos, y simbólicamente
( ∃ n ) : n no es un número primo
De lo anterior se puede deducir que son expresiones sinónimas
De
igual
manera
se
¬(∀n ) : P ( n ) y (∃n)¬ P ( n )
obtiene:
¬ ( ∃ n ) : P ( n ) y (∀ n)¬ P ( n )
Por lo tanto, en palabras decimos que:
LA NEGACIÓN DE UN OPERADOR UNIVERSAL ES EQUIVALENTE A LA
AFIRMACIÓN DE UN OPERADOR EXISTENCIAL CUYO ALCANCE ES LA
NEGACIÓN DEL ALCANCE DEL PRIMERO.
LA NEGACIÓN DE UN OPERADOR EXISTENCIAL ES EQUIVALENTE A LA
AFIRMACIÓN DE UN OPERADOR UNIVERSAL CUYO ALCANCE ES LA
NEGACIÓN DEL ALCANCE DEL PRIMERO.
Ejercicios
1.- Expresar las siguientes proposiciones en forma simbólica, negarlas y retraducir
negación al lenguaje corriente
su
a) Juana no es justa pero mantiene el orden.
b) Los alumnos conocen a los simuladores y los desprecian.
c) Si los alumnos conocen a los simuladores, entonces los desprecian.
2.- Determinar en cada caso si la información que se da es suficiente para conocer el valor de
verdad de las siguientes proposiciones compuestas. Justifica tu respuesta.
Curso de Ingreso 2013 – Matemática 0 Página 19 Facultad de Informática
a)
( p → q) → r
b)
(p
c)
( p ∨ q ) ↔ ( ¬p ∨ ¬q )
Módulo 1 – Lógica
r es V
∧ q ) → ( p ∨ r ) p es V y r es F
q es V
3.- Expresar mediante operadores y el símbolo de implicación, la proposición
“Todos los hombres son mortales”
“Hay algún número que no es primo”
4.- Expresar mediante operadores, signos de implicación y conectivos lógicos las siguientes
proposiciones
a) Hay honrados y además hay ladrones.
b) Hay ladrones o hay honrados.
c) Hay individuos que son ladrones o comen uvas.
d) No todos comen uvas.
e) En las fórmulas obtenidas anteriormente indicar el alcance de los operadores.
5.- Expresar en lenguaje corriente las siguientes proposiciones. Establecer el alcance de los
operadores
a) ∀ x : (x es metal ⇒ x se funde)
b) ( ∀ x : x es metal) ∨ el oro se funde
c) ( ∃ x : x es cuadrado) ⇒ (∃ x : x es paralelogramo)
d)
¬[∀x: (x es hombre ⇒ x es mortal)]
6.- a) Expresar simbólicamente el siguiente teorema.
“Si un número es par entonces su cuadrado es par”.
b) Enunciar el contrarrecíproco, el contrario y el recíproco del teorema anterior.
c) Demostrar el enunciado dado.
7-. Indicar cuáles de las siguientes frases son proposiciones
a) Un cuadrado tiene 3 lados.
b) x > 2.
c) x + 3 = 2 x
∈ℜ .
d) El dígito 26003 de π es 4.
e) El mes de abril del 2006.
8.- Escribir las siguientes proposiciones en la forma p entonces q, simbolizar cada una de ellas
y negar a) y b).
a) No existe una factorización de n cuando n es primo.
Curso de Ingreso 2013 – Matemática 0 Página 20 Facultad de Informática
Módulo 1 – Lógica
b) x es un número entero si es natural.
c) Los triángulos son polígonos.
d) La función f es continua cuando es diferenciable.
9.- Construir las tablas de verdad de:
a)
¬( p ∧ q )
b)
¬ ( ¬p ∧ ¬r ) ∧ q
c)
( p → q) → r
10.- Justificando cada resolución.
a) Escribir una proposición equivalente a ¬ ( p → q )
b) Escribir el condicional de todas las maneras posibles, citándolas.
Adicionales
(Es importante hacer estos ejercicios ya que se repasa todo lo visto)
1) Simbolizar las siguientes proposiciones, usando proposiciones simples, asignando letras a
las componentes.
a) Todo conjunto infinito contiene un subconjunto infinito y el conjunto de los números
naturales es infinito.
b) Todo número distinto de cero es divisible por 1, -1, por el mismo y por su opuesto.
c) 25 no es divisible por 2 ni por 3 pero es múltiplo de 5.
2) Consideremos las siguientes proposiciones p, q, r, s.
p: La galera era un barco antiguo de comercio.
q: La galera era un barco antiguo de guerra.
r: La galera era un barco antiguo que se movía con velas.
s: La galera era un barco antiguo que se movía con remos.
Escribir con palabras los resultados de las siguientes operaciones
a) p ∧ q
b) (¬q ) ∨ (¬r )
¬r ∧ s
d) q ∨ s
c)
3) Hacer las tablas de verdad de las siguientes proposiciones
a) ¬( p ∧ q )
b) (¬q ) ∧ (¬r )
Curso de Ingreso 2013 – Matemática 0 Página 21 Facultad de Informática
Módulo 1 – Lógica
c) (¬s ∧ p ) ∨ ( s ∧ ¬p )
4) Simbolizar las siguientes proposiciones:
5 ≥ 3 entonces 5 – 3 ≥ 0.
a) Si
b) Si A, B y C son números racionales tales que 2A+3B-5C = 0 entonces A=B=C=0 .
c) Si dos números enteros A y B son consecutivos y si otro entero T satisface que T divide
a A y T divide a B entonces T=1 o T = -1.
5) a) Pasar a la forma si…….entonces y simbolizar
i) Juan irá a Córdoba sólo si consigue pasaje en avión.
ii) Es necesario ser argentino para ser presidente de la república.
b) Expresar y simbolizar utilizando la palabra suficiente
i) La temperatura bajará si comienza a soplar el viento del sur.
ii) Si aprobó el exámen entonces contestó bien el 40 % de sus preguntas.
c) Expresar y simbolizar utilizando la palabra necesario
i) Si un triángulo está inscripto en un semicírculo entonces es rectángulo.
ii) Pedro es argentino sólo si es americano.
6) Dado el condicional p → q enunciar éste y los condicionales recíproco, contrario y
contrarrecíproco:
a) p: n es divisible por 3.
q: 2n es divisible por 6.
b) p: x 2 = 36.
q: x = -6.
c) p: r es solución de A+X=B.
q: - r es solución de B+X = A.
7) Establecer si las siguientes fórmulas constituyen tautologías, contradicciones o
contingencias.
( p ∧ q) ⇔ (q ∧ p)
( p ∨ q) → p
(q → p) ∨ p
8) Simbolizar utilizando esquemas, cuantificadores y conectivos lógicos.
a) Hay objetos rojos y además hay objetos verdes.
b) Hay números pares o todos los números son múltiplos de 3.
c) No todos los números son múltiplos de 5.
d) Todos los números no son múltiplos de 5.
9) Dados los siguientes esquemas proposicionales:
•
x es ser vivo entonces x es mortal.
Curso de Ingreso 2013 – Matemática 0 Página 22 Facultad de Informática
•
•
Módulo 1 – Lógica
x-1 > 0 entonces x > 1.
x es par y x es múltiplo de 5.
a) Anteponer el cuantificador universal a cada uno de ellos y pasar la proposición obtenida
al lenguaje corriente.
b) Anteponer el cuantificador existencial a cada uno de ellos y pasar al lenguaje corriente la
proposición obtenida.
10) Pasar al lenguaje corriente los esquemas:
N(x): x es natural
D (x, y): x divide a y
I(x, y): x es igual a y
E(x): x es entero
M (x, y): x es menor que y
a )∀( x )( N ( x ) → E ( x ))
b)∃( x )( E ( x ) ∧ N ( x ))
c )∀( x )∀( y )(( N ( x ) ∧ N ( y ) ∧ D ( x, y )) ∧ D ( y , x ) → I ( x, y ))
d )¬(∀( x ))( N ( x ) ∧ M ( x,0))
e)∃( x )( E ( x ) ∧ M ( x,0))
11) Simbolizar utilizando cuantificadores y esquemas convenientes:
a) Algunos hombres son santos.
b) Ninguna virtud es una cualidad natural.
c) No todo número real es un número racional.
d) Todos los números primos son impares excepto el 2.
e) Si existe un número natural menor que 4 entonces todo múltiplo de 6 es múltiplo de 5.
12) Escribir en lenguaje coloquial y luego simbolizar las siguientes definiciones matemáticas:
a)
x ≠ y ⇒ f ( x) ≠ f ( y )
b)
f ( x) = f ( y ) ⇒ x = y
Ayuda para escribir en lenguaje coloquial:
f (x) se lee: imagen de x.
¿A qué conclusión arriba? Justifique.
Curso de Ingreso 2013 – Matemática 0 Página 23 Facultad de Informática
Curso de Ingreso 2013 – Matemática 0 Módulo 1 – Lógica
Página 24 
Descargar