Guia N 1. Mate 1.lògica Proposicional y de Predicados. 2013

Página 1 de 19
 GUÍA TEÓRICO - PRÁCTICA Nº 1.
Lógica Proposicional y Lógica de Predicados
Sintaxis de la lógica proposicional:
Introducción:
Lenguaje
Es una construcción a partir de ciertas unidades llamadas signos (marcas –

letras) a partir de las cuales se construyen expresiones (sucesión finita de signos sin
significado) y entre las cuales se destacan las fórmulas bien formadas (expresiones con
significado)
Observación: el lenguaje en conjunción con axiomas y reglas de inferencia constituyen

lo que se denomina un sistema deductivo formal (sintaxis)
Lenguaje de la lógica proposicional:
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).
Fórmulas proposicionales (fórmulas bien formadas, definidas en forma inductiva)

Notación: A, B, C, … (letras metalingüísticas)
o Las variables proposicionales y las constantes proposicionales son fórmulas bien

formadas (base de la definición).(
o Si A y B son fórmulas proposicionales entonces: ( A), (A  B), (A  B),
(A  B) y (A  B) son fórmulas proposicionales (paso inductivo).
o El conjunto de fórmulas proposicionales (F) es el generado por las reglas
anteriores (cláusula de cierre).
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).
Para determinar el valor de verdad de una fórmula no atómica o compuesta, lo

primero que se necesita es asociar un valor a cada una de las variables que la
forman y tener en cuenta reglas de interpretación y de precedencia para las
operaciones.
1) Dadas p y q: variables proposicionales, indicar cuáles de las siguientes expresiones

son fórmulas bien formadas:
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
2) Eliminar los paréntesis innecesarios de las siguientes fórmulas bien formadas

(fórmulas proposicionales) según criterios de reducción de paréntesis:
a) ((( p)  q)   (p  (r  q)))
b) ( (((p  q)  (q  r))  ((( p)  q)  (p  ( r)))))
c) ((p  (( p)  q))  (( q)  ( (p  q))))
Observación:
La eliminación de paréntesis está sujeta a los siguientes criterios de reducción de

paréntesis:
o se pueden eliminar los paréntesis externos.
o El alcance de los conectivos es, de mayor a menor:
, ,  -  (mismo nivel), .
o si un conectivo se usa repetidamente, se asocia según la siguiente tabla de
asociatividad:
Página 3 de 19
 izquierda
 izquierda
 derecha
 derecha
3) Indicar los árboles sintácticos (o árboles de formación o árboles de análisis) de las

fórmulas proposicionales o fórmulas bien formadas dadas en el ejercicio anterior.
El árbol sintáctico para una fórmula bien formada A (TA) se define

recursivamente en la forma:
1) TA es A, para toda fbf

2) TA es 
TA
3) para cada operación binaria  y las fbf A y B:

TA  B es

TA TB
Por ejemplo si A p  q)  r  p  q)  p  r, el árbol sintáctico

correspondiente es

 
p r
 
 r p q
p q
Página 4 de 19
Semántica de la lógica proposicional:
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.
Semántica clásica (lógica bivaluada o bivalente – semántica basada en tablas de verdad)
Hay dos valores de verdad posible: verdadero (V - 1) y falso (F - 0)
El valor de verdad de una fórmula proposicional depende del valor de verdad de las
variables proposicionales que intervienen en la fórmula.
p q pq pq pq pq

p p 0 0 0 0 1 1
0 1 0 1 0 1 1 0
1 0 1 0 0 1 0 0
1 1 1 1 1 1
4) Analizar si las siguientes oraciones son proposiciones.
a) Prolog. es un lenguaje declarativo basado en las reglas de la lógica.
b) ¿Vienes hoy a clase?
c) Visite las playas de Pinamar.
d) Visité las playas de Pinamar.
e) 5 es múltiplo de 2.
f) Pascal es un lenguaje de procedimientos.
g) Si Borges no hubiera nacido, Sábato sería el mejor escritor argentino.
h) x + 4 = 10.
i) Hay números enteros que satisfacen la ecuación x +4 = 10.
j) Si estudias hoy podrás salir mañana.
k) En la última década ha habido un creciente énfasis en el uso de métodos formales

para el desarrollo de sistemas hardware y software.
Página 5 de 19
5) Asignar letras a las proposiciones simples (átomos) y expresar, mediante el uso de

conectivos, las siguientes proposiciones:
a) Iré al médico aunque me siento bien.
b) No serán sancionados si la notificación llegó con retraso y tampoco serán

sancionados si tienen justificativo médico.
c) No cometió el crimen si no pudo comprar un revolver.
d) El cuadro es de valor de verdad si y sólo tiene por lo menos 600 años.
e) Es suficiente que deje de fumar para que mi rendimiento físico mejore.
f) Es necesario que deje de fumar para que mi rendimiento físico mejore.
g) Es necesario y suficiente que no tenga deudas para que salga de garante.
Dado el condicional: A  B, además del giro idiomático asociado; “Si A entonces B”

A sólo si B
B si A

otros giros asociados son: 
A es condición suficiente para B
B es condición necesaria para A
6) Construir las tablas de verdad de las siguientes fórmulas proposicionales:
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.
Página 6 de 19
O2) Si un condicional (A  B) o (A  B) es tautológico, se dice que el antecedente

implica lógicamente el consecuente. Se indica: (A  B)
03) Si un bicondicional (A  B) es tautológico, se dice que una de sus componentes

equivale lógicamente a la otra. Se indica: (A  B) o (A  B)
7) Determinar el valor de verdad de las siguientes fórmulas proposicionales a partir de

la siguiente valuación: v(p) = v(s) = V y v(q) = v(r) = F
a) (p  q)  r Una valuación (v) es una función

que asigna valores de verdad a las variables
b) ( p)  (( (q  s))  r  s) proposicionales:
v: V {0, 1}
c) (q  s)  (r  s) (V: conjunto de variables proposicionales
que intervienen en la fórmula proposicional dada)
8) Dada la fórmula A : (r  ( p))  ( q)
a) Si v(A) = V, v(q) = V y v(p) = F, hallar v(r)

b) Si v(A) = F, v (r) = V y v(p) = F, hallar v(q)
9) Justificar si la información indicada es suficiente, en cada caso, para determinar el

valor de verdad de la fórmula proposicional indicada:
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
Semántica basada en el concepto de satisfactibilidad
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)
En función de esto se dice que:
Página 7 de 19
A es tautologia si toda valuación v la satisface (v A, cualquiera sea v)

se indica A
A es contradicción si ninguna valuación v la satisface (v A, cualquiera
sea v)
A es contingencia si A ni es tautología ni es contradicción (alguna
valuación la satisface y alguna no)
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))
B: ((p  q)  r) y ((p  r)  (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)
B: ((p  q)  (q  p))  ((p  q)  (p  q))
Observación:
A los efectos de analizar si una fórmula proposicional es tautologia, contradicción o

contingencia, en lugar de hacer una tabla completa, se puede hacer una tabla
simplificada o abreviada. La misma consiste :
en el caso de que sea tautología en descartar la posibilidad de que la tabla arroje

algún resultado falso
en el caso de que sea contradicción en descartar la posibilidad de que la tabla arroje
algún resultado verdadero
en el caso de que sea contingencia en mostrar una valuación que satisfaga la
fórmula y otra que no la satisfaga
Página 8 de 19
13) Determinar la relación de fuerza entre los siguientes pares de fórmulas:
a) true, false b) (p  q) , (p  q) c) p, (p  q)
d) p, (p  q) e) (pq), (p q) f)  p, (p q)
Se dice que una fórmula proposicional A es más fuerte que

una fórmula B (o que A fuerza B) cuando AB
¿ Hay una fórmula más fuerte que todas las demás?

¿ Hay una fórmula más débil que todas las demás?
14) Factorizar y reducir las siguientes fórmulas proposicionales:
a) (p  q  r)  (p  q)  (p  ( r))
b) (p  q)  (p  r)  (p  (q  ( r))
c) (( p)  r)  (( p)  ( r))
(observación: factorizar significa aplicar la ley distributiva con la intención de reducir la

expresión)
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.
p q r f (p ,q, r) g (p ,q, r) h (p ,q, r)

0 0 0 1 1 0
0 0 1 1 0 0
0 1 0 0 0 1
0 1 1 0 1 1
1 0 0 1 1 0
1 0 1 0 1 1
1 1 0 0 1 0
1 1 1 0 1 1
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.
Minitérmino a n variables es una conjunción a n variables en las cuales cada

variable o su negación se representa exactamente una vez.
Así por ejemplo serán minitérminos a tres variables p, q, y r:
(p  ( q)  r) y (( p)  q  ( r))
Maxitérmino a n variables es una disyunción a n variables en las cuales cada
variable o su negación se representa exactamente una vez.
Así por ejemplo serán maxitérminos a tres variables p, q, y r:
(p  ( q)  r) y (( p)  q  ( r))
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: {, , }, {}, {}
a) ((p  q)  (p))  ((p  q))
b) (p  q)  ((p  q))
c) (p  q)  ((p  q))
Observaciones:
O1) Se dice que {, , } es un conjunto adecuado o completo de conectivos ya que

toda proposición compuesta se puede expresar usando únicamente los conectivos de
dicho conjunto
O2) Se puede decir lo mismo de los conjuntos {, }; {, } y {, }
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).
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
y llevan naturalmente a las tablas:

p q pq pq
0 0 1 1
0 1 0 1
1 0 0 1
1 1 0 0
18) Demostrar, en la forma indicada, que los siguientes condicionales son verdaderos:
en forma directa:
a) Si un número entero es múltiplo de 6 entonces dicho número es múltiplo

de 2 y múltiplo de 3.
b) El producto de dos enteros impares es impar.
en forma indirecta o por contrarecíproco:
a) Si el cuadrado de un número entero es impar, dicho número es impar

b) Si al multiplicar un número entero por cinco y a dicho resultado se le
suma tres se obtiene un entero par, el número dado es impar.
por absurdo:
a) Si un número entero es menor que otro, necesariamente el primero es

menor o igual que el sucesor del segundo.
b) Un número entero es impar sólo si su sucesor es par.
19) Refutar las siguientes afirmaciones:
a) La suma de dos naturales pares es un natural impar.
b) El producto de dos naturales impares es un natural par
c) La suma de dos múltiplos de 3 es un número par.
d) La suma de un múltiplo de 3 y de un múltiplo de 2 nunca es múltiplo de 3.
20) Demostrar o refutar (según corresponda) las siguientes afirmaciones:
a) Si un número natural es múltiplo de 100 entonces es múltiplo de 10.
Página 11 de 19
b) Si un número natural es múltiplo de 10 entonces es múltiplo de 100.
c) Si n = 3 k + 2 con k  N , entonces n es impar.
d) Si n = 3 k + 2 con k  N , entonces n es divisible por 3.
e) Si n = 3 k + 2 con k  N , entonces n es divisible por 2.
21) Indicar cuáles de los siguientes enunciados son esquemas proposicionales y

establecer en dichos casos su conjunto de verdad, acorde al conjunto universal asumido.
a) x + 1 = 8
b) x es materia del Núcleo Básico Obligatorio de la TPI.
c) x = x2
d) El profesor de y
e) x es número natural múltiplo de 6 y x es menor que 20
f) x2 – 3
22) Utilizar cuantificadores para convertir los siguientes predicados en proposiciones

verdaderas en el conjunto universal asumido.
a) x2 - 4 = (x – 2). (x + 2)
b) 4. x - 3 = 7
c) x es alumno de la TPI.
23) Simbolizar las siguientes proposiciones categóricas, indicando previamente en cada

caso el universo de definición y el diccionario empleado:
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.
Página 12 de 19
24) Si U = {x/ x es x es el nombre de un país del Mercosur} y

p(x) : x empieza con consonante

q(x) : x termina en vocal,
r(x) : x limita con Chile.

a)  x : (p(x)   q(x))
b) x : (r ( x)  q( x))

Hallar el valor de verdad de: 
c) x : (r ( x)  p( x))
d ) x : ( p( x)  q( x))
Valor de verdad de proposiciones categóricas a una variable:
Proposición categórica a Verdadera Falsa

una variable
x: p(x) Para al menos una Para cada constante a,
constante a, p(a) es falsa
p(a) es verdadera
Vp(x)   Vp(x) = 
x: p(x) Para cada constante a, Para al menos una

p(a) es verdadera constante a, p(a) es falsa
Vp(x) = U Vp(x)  U
U (universo de definición): con junto en el cual tiene sentido lo que se enuncia

Vp(x) (conjunto de verdad del esquema p(x)) = {a / a  U  v (p(a)) = V}
25) Analizar, en el universo indicado, el valor de verdad de las siguientes proposiciones

y formular sus respectivas negaciones:
a) x: y: x + y = 1 U = {1, 2, 3, 4}
b) x: y: x + y = 1 U = {1, 2, 3, 4}
c) x: y: x + y = 1 U=R
d) x: y: (x + y  0  x + y < 5) U=R
e) x: y: (x  y  x2  y) U=R
Página 13 de 19
f) x: y: (x – y  0  y  -2) U=R
g) x: y: z (x  y  x  z  y) U=R

Valor de verdad de proposiciones categóricas a dos variables:
Proposición categórica a Verdadera Falsa

dos variables
x: y: p(x, y) Para al menos una Para cada constante a, y
constante a y una constante cada constante b, p(a, b) es
b, p(a, b) es verdadera falsa
Vp(x, y)   Vp(x, y) = 
x: y: p(x, y) Para cada constante a, y Para al menos una

cada constante b, p(a, b) es constante a, y una
verdadera constante b, p(a, b) es falsa
Vp(x, y) = U x U Vp(x, y)  U x U
x:y: p(x) Para cada constante a y al Para al menos una

menos una constante b constante a, y cada
(que dependerá de a), constante b,
p(a, b) es verdadera.. p(a, b) es falsa.
(a, b = f(a))  Vp(x, y) (a, b)  Vp(x, y)
(a. cualquiera, b: constante (a. constante determinada, b:

determinada en función de a) cualquiera)
x: y: p(x) Para al menos una Para cada constante a y al

constante a, y cada menos una constante b(que
constante b, dependerá de a) ,
p(a, b) es verdadera p(a, b) es falsa
(a, b)  Vp(x, y) (a, b)  Vp(x, y)
(a. constante determinada, b: (a. cualquiera, b: constante

cualquiera) determinada en función de a)
U (universo de definición): con junto en el cual tiene sentido lo que se enuncia

Vp(x, y) = {(a, b) / a  U  b  U  v (p(a,b)) = V}
(conjunto de verdad del esquema p(x,y)
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
 A  A  A Involución o doble negación)

Idempotencia)      A   A
 A  A  A
Contrarecíproco)  A  B     B   A
A, B, C: fórmulas proposicionales
Definición de condicional)  A  B     A  B  cualesquiera
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  
Transitividad del bicondicional)   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
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
7) Determinar el valor de verdad de las siguientes fórmulas proposicionales sabiendo

que: v(p) = v(s) = V y v(q) = v(r) = F
a) falsa
b) falsa
c) verdadera
8) Dada la fórmula A : (r  ( p))  ( q)
a) v (r) = F
b) v(q) = V
Página 17 de 19
9) Justificar si la información indicada es suficiente, en cada caso, para determinar el

valor de verdad de la fórmula proposicional indicada:
a) La información es suficiente y la fórmula proposicional es V.

b) La información es suficiente y la fórmula proposicional es F.
c) La información no es suficiente ya que por ejemplo:
o Si v ( r) = F, la fórmula es F
o Si v (r) = v (p) = v( q) = V, la fórmula es V
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) (pq) es más fuerte que(p q) f)  p es más fuerte que (p q)
14) Factorizar y reducir las siguientes fórmulas proposicionales:
 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)
Página 18 de 19
15)
f (p, q, r) = ( p   q   r)  ( p   q  r)  (p   q  r) (FND)
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 pp
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
21) Indicar cuáles de los siguientes enunciados son esquemas proposicionales y

establecer en cada caso su conjunto de verdad, acorde al conjunto universal asumido.
a) Sí / V = {7}.con U = ℝ.
b) Sí / V = {Introducción a la Programación, Organización de Computadoras,

Matemática I, Programación con Objetos, Bases de Datos, Estructuras de Datos,
Programación con objetos II} con U = {x / x es materia de la TPI}.
c) Sí / V = {0, 1} con U = ℝ.
d) No es esq. proposicional
e) Sí / V = {6, 12, 18} con U = ℕ.
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}
Página 19 de 19
24)
Considerando que:
Mercosur = {Argentina, Brasil, Paraguay, Uruguay}
(obs: Venezuela, Chile, Colombia, Ecuador y Perú son países asociados)
a) Falsa ( A: no satisface el enunciado)
b) Verdadera (A satisface el enunciado)
c) Falsa ( A: no satisface el enunciado)
d) Verdadero (A o B o P satisface el enunciado)
25) Analizar, en el universo indicado, el valor de verdad de las siguientes proposiciones

y formular sus respectivas negaciones:
a) Falsa ya que ninguna asignación de valores satisface la ecuación.

Su negación es: x: y: x + y  1
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
c) Verdadera ya que el par (x, 1 – x) satisface la ecuación para cualquier asignación de

“x”.
Su negación es: x: y: x + y  1
d) Verdadera ya que por ejemplo el par (x, - x) hace verdadera la disyunción.

Su negación es: x: y: (x + y < 0  x + y  5).
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).
g) Verdadera ya que por ejemplo la terna (x, y, (x + y) / 2) hace verdadero el

condicional para cualquier asignación de “x” e “y”..
Su negación es: x: y: z (x  y  ( x  z  z  y )

Guia N 1. Mate 1.lògica Proposicional y de Predicados. 2013

Hochgeladen von

Dokumentinformationen

Originalbeschreibung:

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Guia N 1. Mate 1.lògica Proposicional y de Predicados. 2013

Hochgeladen von

Copyright:

Verfügbare Formate

Página 1 de 19

 GUÍA TEÓRICO - PRÁCTICA Nº 1.

Lógica Proposicional y Lógica de Predicados

Sintaxis de la lógica proposicional:

Es una construcción a partir de ciertas unidades llamadas signos (marcas –

Observación: el lenguaje en conjunción con axiomas y reglas de inferencia constituyen

Lenguaje de la lógica proposicional:

Fórmulas proposicionales (fórmulas bien formadas, definidas en forma inductiva)

o Las variables proposicionales y las constantes proposicionales son fórmulas bien

Para determinar el valor de verdad de una fórmula no atómica o compuesta, lo

1) Dadas p y q: variables proposicionales, indicar cuáles de las siguientes expresiones

2) Eliminar los paréntesis innecesarios de las siguientes fórmulas bien formadas

b) ( (((p  q)  (q  r))  ((( p)  q)  (p  ( r)))))

c) ((p  (( p)  q))  (( q)  ( (p  q))))

La eliminación de paréntesis está sujeta a los siguientes criterios de reducción de

3) Indicar los árboles sintácticos (o árboles de formación o árboles de análisis) de las

El árbol sintáctico para una fórmula bien formada A (TA) se define

1) TA es A, para toda fbf

3) para cada operación binaria  y las fbf A y B:

Por ejemplo si A p  q)  r  p  q)  p  r, el árbol sintáctico

Semántica de la lógica proposicional:

Semántica clásica (lógica bivaluada o bivalente – semántica basada en tablas de verdad)

Hay dos valores de verdad posible: verdadero (V - 1) y falso (F - 0)

p q pq pq pq pq

4) Analizar si las siguientes oraciones son proposiciones.

a) Prolog. es un lenguaje declarativo basado en las reglas de la lógica.

b) ¿Vienes hoy a clase?

c) Visite las playas de Pinamar.

d) Visité las playas de Pinamar.

f) Pascal es un lenguaje de procedimientos.

g) Si Borges no hubiera nacido, Sábato sería el mejor escritor argentino.

i) Hay números enteros que satisfacen la ecuación x +4 = 10.

j) Si estudias hoy podrás salir mañana.

k) En la última década ha habido un creciente énfasis en el uso de métodos formales

5) Asignar letras a las proposiciones simples (átomos) y expresar, mediante el uso de

a) Iré al médico aunque me siento bien.

b) No serán sancionados si la notificación llegó con retraso y tampoco serán

c) No cometió el crimen si no pudo comprar un revolver.

d) El cuadro es de valor de verdad si y sólo tiene por lo menos 600 años.

e) Es suficiente que deje de fumar para que mi rendimiento físico mejore.

f) Es necesario que deje de fumar para que mi rendimiento físico mejore.

g) Es necesario y suficiente que no tenga deudas para que salga de garante.

Dado el condicional: A  B, además del giro idiomático asociado; “Si A entonces B”

6) Construir las tablas de verdad de las siguientes fórmulas proposicionales:

O2) Si un condicional (A  B) o (A  B) es tautológico, se dice que el antecedente

03) Si un bicondicional (A  B) es tautológico, se dice que una de sus componentes

7) Determinar el valor de verdad de las siguientes fórmulas proposicionales a partir de

a) (p  q)  r Una valuación (v) es una función

8) Dada la fórmula A : (r  ( p))  ( q)

a) Si v(A) = V, v(q) = V y v(p) = F, hallar v(r)

9) Justificar si la información indicada es suficiente, en cada caso, para determinar el

Semántica basada en el concepto de satisfactibilidad

En función de esto se dice que:

A es tautologia si toda valuación v la satisface (v A, cualquiera sea v)

B: ((p  q)  r) y ((p  r)  (q  r))

B: ((p  q)  (q  p))  ((p  q)  (p  q))

A los efectos de analizar si una fórmula proposicional es tautologia, contradicción o

en el caso de que sea tautología en descartar la posibilidad de que la tabla arroje

13) Determinar la relación de fuerza entre los siguientes pares de fórmulas:

d) p, (p  q) e) (pq), (p q) f)  p, (p q)

Se dice que una fórmula proposicional A es más fuerte que

¿ Hay una fórmula más fuerte que todas las demás?