Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Introducción:
Lenguaje
Consta de:
Alfabeto de signos:
o Variables proposicionales: p, q, r, s,… (simbolizan proposiciones simples o
atómicas)
o Constantes proposicionales: 0 (representa el valor falso) y 1 (representa el valor
verdadero).
o Conectivos lógicos u operadores lógicos: negación (), disyunción no
excluyente (), conjunción (), condicional () y bicondicional () entre
otros, enlazan variables o constantes proposicionales para formar fórmulas
proposicionales compuestas.
o Signos auxiliares: “ ( “, “ ) ” (paréntesis).
Lógica Proposicional y de Predicados. Lic. María H. Arriola. Matemática I. TPI. UNQ. 2013
Página 2 de 19
Toda proposición, puede ser representada por una fórmula bien formada del
cálculo proposicional, por lo que, si a las primeras se les puede asignar un valor de
verdad también se les puede asignar a las segundas. Las fórmulas más simples
son las que constan de solo un símbolo de variable o constante proposicional (p, q,
r, 1, 0, etc.), a estas se les llama fórmulas simples o atómicas. En el caso de las
fórmulas 0 y 1 sus valores de verdad serán siempre falso (0) y verdadero (1)
respectivamente. Las variables por su parte, como su nombre lo indica, pueden
tomar cualquier valor (0 o 1).
a) p q b) (p q)
c) p q r d) (p q) r
e) ((p q) r) f) (true p)
g) (p p q) h) p = q
a) ((( p) q) (p (r q)))
Observación:
Lógica Proposicional y de Predicados. Lic. María H. Arriola. Matemática I. TPI. UNQ. 2013
Página 3 de 19
izquierda
izquierda
derecha
derecha
TA
TA TB
p r
r p q
p q
Lógica Proposicional y de Predicados. Lic. María H. Arriola. Matemática I. TPI. UNQ. 2013
Página 4 de 19
Hasta ahora las fórmulas proposicionales son meras combinaciones de símbolos que
responden a ciertas reglas de formación pero sin sentido alguno. Ahora se dotará al
lenguaje de un poder de expresión a través de una interpretación. La semántica hace
referencia fundamentalmente a la manera en que se asignan valores de verdad a las
expresiones del cálculo.
El valor de verdad de una fórmula proposicional depende del valor de verdad de las
variables proposicionales que intervienen en la fórmula.
e) 5 es múltiplo de 2.
h) x + 4 = 10.
Lógica Proposicional y de Predicados. Lic. María H. Arriola. Matemática I. TPI. UNQ. 2013
Página 5 de 19
a) (p q) q
b) (p q) p
c) ( p q) ( p q)
d) p (p q) p
e) p p q
f) (p q) (p q)
Observaciones:
O1) Una fórmula proposicional es una tautología o ley lógica ó verdad lógica, si para
toda asignación de valores de verdad de las componentes simples resulta ser verdadera.
Si para toda asignación resulta ser falsa, es una contradicción. Finalmente una fórmula
que no es ni tautología ni contradicción, es una contingencia.
Lógica Proposicional y de Predicados. Lic. María H. Arriola. Matemática I. TPI. UNQ. 2013
Página 6 de 19
a) (p q) (p r) v (p) = V y v(r) = F
b) (( p) ( q )) (p q) v (p) = V
c) (p q) r v (r p) = V
Dada una valuación (v) y una fórmula proposicional A, se define que “v satisface A”, y
se indica v A , en forma inductiva:
v p si v (p) = 1
v true
v false (no es cierto que v false)
v A B sii v A y v B
v A B sii v A o v B
v A B sii v A o v B
v A B sii (v A sii v B)
Lógica Proposicional y de Predicados. Lic. María H. Arriola. Matemática I. TPI. UNQ. 2013
Página 7 de 19
10) Obtener una fórmula proposicional más simple equivalente a la dada en cada caso.
Indicar las leyes lógicas aplicadas:
a) ( p q) ( p q)
b) ( (p q ) ) (q p)
c) ((p q) ( p q)) p
d) ((p (q q) ( r r)) p ( r)
11) Verificar que las siguientes fórmulas son equivalentes mediante el uso de leyes
lógicas:
A: ((p q) r) y (p (q r))
12) Verificar que las siguientes fórmulas son tautologías a través de una “tabla
simplificada”
A: (p (q r)) ( p q)
Observación:
Lógica Proposicional y de Predicados. Lic. María H. Arriola. Matemática I. TPI. UNQ. 2013
Página 8 de 19
a) true, false b) (p q) , (p q) c) p, (p q)
a) (p q r) (p q) (p ( r))
b) (p q) (p r) (p (q ( r))
15) Hallar en cada caso una fórmula proposicional, cuya tabla de verdad arroje el
resultado indicado, en su forma normal disyuntiva (FND) o bien en su forma normal
conjuntiva (FNC), según convenga.
Lógica Proposicional y de Predicados. Lic. María H. Arriola. Matemática I. TPI. UNQ. 2013
Página 9 de 19
Así como dada una fórmula proposicional se puede confeccionar una única tabla de
verdad correspondiente (salvo el orden en que arman las filas), dada una tabla de
verdad arbitraria, se puede hallar una fórmula proposicional (standard) asociada a
la misma: FND: disyunción de conjunciones básicas o minitérminos o la FNC:
conjunción de disyunciones básicas o maxitérminos.
16)
Un nuevo modelo de motor debe pasar cuatro controles antes de dejar la línea de
producción. Si no pasa el primero, es descartado. Si lo pasa, su aceptación se confirma
si logra pasar al menos dos de los otros controles.
Construir una fórmula proposicional que responda a la situación planteada en su FND o
FNC según convenga (de las dos formas posibles) y la forma simplificada de modo tal
que valga 1 cuando el motor sea aceptado y 0 cuando sea rechazado.
17) Hallar una fórmula proposicional equivalente a la dada usando sólo los conectivos
de los siguientes conjuntos adecuados de conectivos: {, , }, {}, {}
b) (p q) ((p q))
c) (p q) ((p q))
Observaciones:
Hay dos conectivos que merecen especial atención por las consecuencias en el
diseño y estudio de computadoras.
Estos son el conectivo NOR (negación de disyunción), denotado por y
caracterizado por el giro idiomático “ni ...ni” (negación conjunta) y el conectivo
NAND (negación de conjunción), denotado por y caracterizado por el giro
idiomático “o no... o no...” (negación alternativa).
Lógica Proposicional y de Predicados. Lic. María H. Arriola. Matemática I. TPI. UNQ. 2013
Página 10 de 19
Observación: los giros idiomáticos que caracterizan a las operaciones NOR y NAND,
tienen que ver con las equivalencias:
(p q) (p q) p q
(p q) (p q) p q
18) Demostrar, en la forma indicada, que los siguientes condicionales son verdaderos:
en forma directa:
por absurdo:
Lógica Proposicional y de Predicados. Lic. María H. Arriola. Matemática I. TPI. UNQ. 2013
Página 11 de 19
a) x + 1 = 8
c) x = x2
d) El profesor de y
f) x2 – 3
a) x2 - 4 = (x – 2). (x + 2)
b) 4. x - 3 = 7
c) x es alumno de la TPI.
a)
1. Hay automóviles veloces y confortables.
2. Si un automóvil es confortable su precio es considerablemente más alto.
3. Los automóviles veloces son considerablemente más caros
b)
1. No todos los números múltiplos de 5 son impares.
2. Los pares son múltiplos de 2
3. Hay números que son a la vez múltiplos de 2 y de 5.
Lógica Proposicional y de Predicados. Lic. María H. Arriola. Matemática I. TPI. UNQ. 2013
Página 12 de 19
Vp(x) Vp(x) =
Vp(x) = U Vp(x) U
Lógica Proposicional y de Predicados. Lic. María H. Arriola. Matemática I. TPI. UNQ. 2013
Página 13 de 19
Vp(x, y) Vp(x, y) =
Vp(x, y) = U x U Vp(x, y) U x U
Lógica Proposicional y de Predicados. Lic. María H. Arriola. Matemática I. TPI. UNQ. 2013
Página 14 de 19
LEYES LÓGICAS
Principales:
A B B A
A B B A
Ley conmutativa)
A B C A (B C )
A B C A (B C )
Ley asociativa)
A B C A B A C
Ley distributiva)
A B C A B A C
A 1 A 1: neutro para la conjunción
0: neutro para la disyunción
Ley de identidad)
A 0 A
A A F
Ley de complementación)
A A V
A B A
A ( A B)
A B B
Simplificación)
Adición)
B ( A B)
Otras
Lógica Proposicional y de Predicados. Lic. María H. Arriola. Matemática I. TPI. UNQ. 2013
Página 15 de 19
Negación de condicional) A B A B
Definición de bicondicional) A B A B B A
A A B A A 0 0
Absorción) Dominación)
A A B A A 1 1
A B A B
De Morgan)
A B A B
Transitividad del condicional) A B B C A C
RESPUESTAS
1)
a) NO b) SI c) NO d) NO
e) SI f) SI g) NO h) NO
2)
a) p q (p (r q))
b) ((p q) (q r) ( p q p r))
c) p ( p q) q (p q)
4)
Las oraciones: b) – c) – g) – h) no son proposiciones
Las restantes oraciones son proposiciones.
5)
i : Ir al médico
a) i s con
s : Me siento bien
Lógica Proposicional y de Predicados. Lic. María H. Arriola. Matemática I. TPI. UNQ. 2013
Página 16 de 19
s : Serán sancionados
b) (n s) (j s) con n : La notificación llegó con retraso
j : Tienen justificativo médico
c : Cometió el crimen
c) r c con
r : Pudo comprar un revólver
v : El cuadro es de valor
d) v s con
s : El cuadro tiene por lo menos seiscientos años
d : Dejo de fumar
e) d r con
r : Mi ren dim iento físico mejora
d : Dejo de fumar
f) r d con
r : Mi ren dim iento físico mejora
d : Tengo deudas
g) d g con
g : Sa lg o de garante
6)
a) Tautología
b) Contingencia
c) Contingencia
d) Tautología
e) Tautología
f) Contingencia
a) falsa
b) falsa
c) verdadera
a) v (r) = F
b) v(q) = V
Lógica Proposicional y de Predicados. Lic. María H. Arriola. Matemática I. TPI. UNQ. 2013
Página 17 de 19
10)
a) (p q) (p q) p
b) ( (p q )) (q p) f con f: letra proposicional que representa una
proposición falsa.
c) ((p q) (p q)) p (p q)
d) ((p (q q) (r r)) p (r) (r p)
13)
a) false es más fuerte que true b) (p q) es más fuerte que (p q)
c) (p q) es más fuerte que p d) p es más fuerte que (p q)
e) (pq) es más fuerte que(p q) f) p es más fuerte que (p q)
q r) (p q) (p (r)) (p (r q))
a) (p
b) (p q) (p r) (p (q (r)) p
c) ((p) r) ((p) (r)) ( p)
Lógica Proposicional y de Predicados. Lic. María H. Arriola. Matemática I. TPI. UNQ. 2013
Página 18 de 19
15)
g (p, q, r) = (p q r) (p q r) (FNC)
h (p, q, r) = ( p q r) ( p q r) (p q r) (p q r)
(entre FND y FNC se privilegia la FND)
17)
a) p p p pp
b) p q (p p) q
(p (q q)) (p (q q))
c) p q (p (q q)) (p (q q))
(p p) q
20)
a) Verdadera b) Falsa c) Falsa
d) Falsa e) Falsa
a) Sí / V = {7}.con U = ℝ.
c) Sí / V = {0, 1} con U = ℝ.
d) No es esq. proposicional
f) No es esq. proposicional
22)
a) x: p (x) o x : p(x) con U = ℝ.
b) x : p(x) con U = ℝ.
c) x : p(x) con U = {x / x es alumno de la UNQ}
Lógica Proposicional y de Predicados. Lic. María H. Arriola. Matemática I. TPI. UNQ. 2013
Página 19 de 19
24)
Considerando que:
Mercosur = {Argentina, Brasil, Paraguay, Uruguay}
(obs: Venezuela, Chile, Colombia, Ecuador y Perú son países asociados)
b) Falsa ya que por ejemplo el par (1, y) no satisface la ecuación cualquiera sea el
valor de “y”.
Su negación es: x: y: x + y 1
e) Falsa ya que por ejemplo el par (x, x + 1) hace falsa la conjunción para cualquier
asignación de “x
Su negación es: x: y: ( x < y x2 > y).
f)Verdadera ya que por ejemplo el par (0, y) hace verdadero el condicional para
cualquier asignación de “y”.
Su negación es: x: y: (x – y 0 y - 2).
Lógica Proposicional y de Predicados. Lic. María H. Arriola. Matemática I. TPI. UNQ. 2013