Lógica Proposicional - Frases célebres.
Enunciado Abierto:
Es aquel enunciado que presenta al
menos una variable.
Ejemplo:
x2
Él es menor de edad
Enunciado cerrado:
También llamado proposición lógica,
puede ser calificado como verdadero
o falso sin ambigüedad.
Ejemplo:
52
Jose Carlos es menor de edad
Notación:
En adelante utilizaremos letras para
representar una proposición.
p : El cielo es azul
q: El pisco es peruano
Clasificación de las proposiciones
Proposición simple o atómica:
Expresa una sola idea, no hay
conectores ni adverbios de negación.
Ejemplo:
p: 2 es un número primo
q: 3 < 1
Nota:
No son proposiciones:
- Juicios de valor.
- Órdenes.
- Deseos.
- Exclamaciones
- Preguntas
Proposición compuesta o molecular:
Expresa más de una idea unidas con
conectores, también se considera
proposición compuesta a la negación
de una proposición simple.
Ejemplo:
p: 2  3
p: 2 es menor que 3 o 2 es igual a 3
q: 5  3
q : No es cierto que 5 sea igual a 3
Conectores lógicos
Es una palabra que sirve para ligar dos
proposiciones o para negar una
proposición.
Tabla
1. Negación:
Dada una proposición p ; su negación
denotada por p ; leemos como “no
p”, “no es cierto que p”. Su tabla de
verdad es:
p p
V F
F V
2. Conjunción:
Dadas las proposiciones p y q ;
definimos su conjunción como “p y q”,
denotada por p  q . Su tabla de verdad
es:
 p q pq q1  q 2  q3 ...  q n  F

Las n proposiciones son falsas.

V V V
4. Condicional:
V F F
Dadas las proposiciones p y q ;
F V F definimos su condicional como “Si p,
entonces q”, denotada por p → q . Su
F F F
tabla de verdad es:

p q p→q
Solo es verdadera cuando ambas son
verdaderas. V V V
En general:
V F F
q1  q 2  q3  ...  q n  V
F V V
Las n proposiciones son verdaderas.
F F V
q1  q 2  q3  ...  q n  F

Al menos una proposición es falsa.

• p: antecedente
3. Disyunción débil (inclusiva): • q: consecuente
Dadas las proposiciones p y q ; Solo es falso cuando el antecedente es
definimos su disyunción como “p o q”, verdadero y el consecuente es falso.
denotada por p  q . Su tabla de verdad causa efecto

es: p → q
p entonces q
p q pq p es una condicion suficiente para q
q ya que p
V V V
q porque p
V F V q es una condición necesaria para p
q debido a p
F V V
p es suficiente para q : q → p
F F F
p es necesario para q: p → q

Solo es falsa cuando ambas son falsas. Observación:

En general: 1. Si el antecedente es falso, la
condicional es verdadera.
q1  q 2  q3 ...  q n  V
2. Si el consecuente es verdadero, la
Al menos una proposición es condicional es verdadera.
verdadera.
Nota:
Sea la condicional: p → q p q pq
Recíproco de la condicional: q → p
V V F
Inversa de la condicional: p→ q
V F V
Contrarecíproca o Contrapositiva de
la condicional: q → p F V V

F F F
5. Bicondicional:
Dadas las proposiciones p y q ; Es verdadera si ambas proposiciones
definimos su bicondicional como “p si tienen valores de verdad diferentes.
y solo si q”, denotada por p  q . Su
tabla de verdad es:
Combinación de valores de verdad
p q pq Si tenemos n proposiciones:

V V V # combinaciones = 2n

V F F
Ejemplo:
F V F
Una proposición:
F F V

Es verdadera si ambas proposiciones

p
tienen el mismo valor de verdad.
p  q : p es condicion necesaria y suficente V
para q
F
6. Disyunción fuerte (exclusiva): Dos proposiciones:
Dadas las proposiciones p y q ;
p q
definimos su disyunción fuerte como
“o p o q”, denotada por pq . Su tabla V V
de verdad es:
V F

F V

F F

Tres proposiciones:
p q r

V V V

V V F

V F V

V F F

F V V

F V F

F F V

F F F
 Resolución:

( p  q) → ( r → s)  F
V F

p  q  V → p  F;q  V
V V

Resolución: r → s  F → r  F;s  F
V F

I. Falso
 FVFF
Es una exclamación.
Clave E
II. Verdadero
Se le puede asignar un valor de
verdad.
II. Falso
Es un enunciado abierto.
Resolución:
Clave B
p  q  F → p  F;q  F

I. p q  FV  V

II. p  q  F  F  F

III. pq  VF  F

Clave E

Resolución:
I. Verdadero
Expresa una sola idea.
II. Verdadero
Tiene a la variable Él.
III. Falso
Resolución:
Es una proposición simple, ya que
p  ( p → q )  ( q → ( r  s ))  (s → w )  V
expresa una sola idea.
Clave B p  ( p → q )  ( q → ( r  s ))  (s → w )  V
V V V V

pV

p → q  V:q  V
q → ( r  s )  V : r  s  V : r  V,s  V Resolución:

s → w  V:w  V

I. Verdadero
II. Falso
III. Falso
Clave A

Resolución:
I. p → p

p p→p

V V

F V

Resolución:  I es Tautología

p+q II. p → ( p  q )
p q + p

p q p → pq
V V V V V
V V V V V
V F V V V V F V F F
F V F V F
F V F V F
F F F V F

F F V V F
 II es Contingencia

III. p → ( p  q )
(p + q) + p  V Clave E
p q p → pq

V V V V V
V F V V V
F V F V V
F F F V F

 III es Tautología
IV. p  p

p pp

V V

F V
Resolución:

 IV es Tautología Nota:
p entonces q: p → q
V. q → ( q )
p ya que q: q → p
q q → ( q)
p porque q: q → p
V F

F V

 V es Contingencia
Hay 3 Tautologías
Clave D
Resolución:
O las chicas quieren salir con Iván porque es guapo ,
r p

o las chicas queiren salir con Iván porque es irresistible .

r q

o ( r porque p ) o ( r porque q )

o ( p → r ) o (q → r )  ( p → r )  (q → r )

Clave E
Equivalencia Lógica
Dos fórmulas lógicas A y B son
equivalentes si cuando las relacionas
por el operador bicondicional,
obtenemos una tautología, la
denotamos por:
A  B; A  B

Ejemplo:
Sean A = p → q y B = q → p , ¿son
equivalentes?

p q p→q  q→ p

V V V V V

V F F V F

F V V V V

F F V V V

p→q  q → p
Leyes del Álgebra proposicional
1. Idempotencia: 7. Absorción:
pp  p
pp  p
( )p
p p

p  (p  )  p

2. Doble negación:
p  (p  q)  p  q
( p)  p
p  (p  q)  p  q
3. Conmutativas:

pq  qp pq  qp p  ( p  q)  p  q

pqqp pq  qp p  ( p  q)  p  q

Son conmutativos todas menos la 8. Condicional:

condicional.
p →q  pq
4. Asociativa:
p→q  q → p
p  (q  r )  (p  q)  r
p  (q  r )  (p  q)  r 9. Bicondicional:

p  (q  r )  (p  q)  r p  q  ( p → q)  (q → p)
p ( qr )  ( pq ) r p  q  ( p  q )  ( p q )
p  q  ( p  q )  ( p q )
5. Distributiva: pq p q

p  (q  r )  (p  q)  (p  r ) (p  q)  pq p q

p  (q  r )  (p  q)  (p  r )
10. Disyunción fuerte:
p → (q  r )  (p → q)  (p → r )
pq  ( p q )  ( p  q )
p → (q  r )  (p → q)  (p → r )
pq  ( p  q )  ( p q )

6. Morgan:
pq  (p  q)
pq  p q
(p  q)  p q
( pq )  pq  p q
(p  q)  p q
Resultados que deben ser inmediatos
para usted:
Conjunción Disyunción
pp  p pp  p Resolución:

p pF p pV ( p → q ) → p  → ( q → p )

pV  p pV  V ( p → q ) → p  → ( q → p )

CONDICIONAL
pF F pF  p
 
Bicondicional Disyunción Fuer.  (p → q)  p → ( q → p )
 
ppV pp  F CONDICIONAL

p pF p pV  
 ( p  q )  p → ( q → p )
pVp pV  p  MORGAN


pF p pF  p ( p  q )  p  → ( q → p )

ABSORCIÓN
Condicional
p → (q → p)
p→pV p→ p p
CONDICIONAL

p→pp p→VV
p  (q → p)
V→pp p→F p CONDICIONAL

F→pV p  ( q  p)
ASOCIATIVA

( p  p )  q  V q  V

Resolución:

p  ( p  q ) → q 
Resolución:
p  ( p  q ) → q 
CONDICIONAL ( p  q ) → ( q → p )   ( p  q)

p ( p  q )  q  ( p  q ) → ( q → p )   ( p  q)
ABSORCIÓN MORGAN
CONDICIONAL

p q  qp q →p  
CONMUTATIVA CONDICIONAL  ( p  q )  ( q → p )   ( p q)
 MORGAN

( p q )  ( q → p )  ( p q )  p q p   p q
ABSORCIÓN ABSORCIÓN

p q

Resolución:

( p  q )  ( p q )   ( p r)

  Resolución:
( p  q )  ( p q )   ( p r)
  p : Carlos estudia
MORGAN

q : Carlos sale temprano

( p  q )  ( p  q )   ( p r)
IDEMPOTENCIA Carlos no estudia o sale de casa tarde

( p  q )  ( p r ) p q

Equivalencia:
( p  q)  p  r
ABSORCIÓN p q  (p  q)
(p  q)  r No es cierto que, Carlos estudia y
Carlos sale temprano
 ( p  q )  r 
Equivalencia:
 ( p  q )  r  p qp→ q
CONDICIONAL
Si Carlos estudia, entonces Carlos sale
( p  q ) → r  tarde.

Resolución:

p  ( pq )
Resolución:
p  (  p  q    p q ) p  q  p q

( p   p  q )   p q p  q  ( p  q )  ( p q )

p  q  ( p  q)  (p  q)
ABSORCIÓN
 I. f (p  q) = f (p).f (q) …V

p q pq f (p) f (q) f (p  q)

V V V 1 1 1

Resolución: V F F 1 0 0
I. Falso
F V F 0 1 0
La condicional no es asociativa.
F F F 0 0 0
II. Falso

(p → q)  p  q
II. f ( p) = 1 − f (p) …V
(p → q)  p
p p f (p) f ( p)
( p  q)  p
V F 1 0
q  ( p  p)

qV  V F V 0 1

III. Verdadero

q  (p → q)  (q → p) III. f (p → q) = 1 + f (q) − f (p) …F

q  (p → q) p q p→q f (p) f (q) f (p → q)

V V V 1 1 1
q  ( p q )
V F F 1 0 0
q p
F V V 0 1 1
( q  p)  (q → p) F F V 0 0 1

Resolución:
 Conjuntos Representación geométrica
Noción de conjunto: Para realizar la representación
geométrica de un conjunto usaremos
Es una agrupación de objetos bien
los llamados Diagramas de Venn que
definidos y distinguibles entre sí, a
son regiones acotadas por curvas
dichos objetos los llamaremos
cerradas y simples de plano.
elementos.
Notación:
Usaremos letras mayúsculas para los A
conjuntos: A; B; C; etc. Letras xA x
minúsculas para los elementos.
Relación de pertenencia
xA
Conjuntos especiales
 : pertenece
1. Universal:
 : no pertenece
Conjunto referencial, en el cual están
Ejemplo: todos los elementos de un
determinado estudio, denotado por
A= 1;1 ;2;1;2 U.

1;2  A Nota: El Universo no es único

2. Unitario:
2  A
Conjunto con un único elemento.
Nota: x  A  x  A C
Ejemplo:
Determinación de un conjunto
A = x  /1  x  3
1. Por comprensión:
B = 3;3;3 = 3
Es dar a los elementos una propiedad
en común. 3. Vacío:
Ejemplo: Conjunto que no posee elementos,
A = x  / x es primo denotado por  o   .

2. Por extensión: Relación de Inclusión

Listar todos los elementos de dicho Se dice que A está incluido en B,

conjunto. cuando todo elemento de A pertenece
a B.
Ejemplo:
Notación: A  B
A = 2;3;5;7;11;13;...
A  B  x  U : x  A → x  B
 2.
Observación: A  B  BC  A C
1.   A Demostración:

x  U : x   → x  A A  B  x  U : x  A → x  B
F
A  B  x  U : x  B → x  A
2. A  A
A  B  x  U : x  BC → x  A C
A  A  x  U : x  A → x  A
A  B  BC  AC
Propiedades
1. Transitiva:
Si A  B  B  C , entonces A  C
2. Igualdad:
A = B  A  BB  A
Nota: A  B = B  A
A  B:
Resolución:
A está incluido en B
I. Verdadero
A está contenido en B
II. Verdadero
A es una parte de B
III. Falso
A es subconjunto de B
B es superconjunto de A
1;2  A  1; 2  A
B contiene A
Conjuntos disjuntos
Se dice que A y B son disjuntos si
AB = . Resolución:
Ejemplo:
 
A = 3; 3 ;3;3 ;3;3
A= ; B = II

Observación:

A = 3 ; 3;3;3
1. I. Verdadero

A  B =   A  BC 3  A  3  A
A  B =   B  AC II. Verdadero
III. Verdadero
 A = 1;2;3;4;5;6;7

Cardinal: 7

Resolución:


A = 11;11 ; ; ; 
I. Verdadero

11  A  11  A  11  A  11 A Resolución:

V
V
Conjunto A:
II. Verdadero
 + 
  A    A    A    A A =  2n − 1 / n   2n + 1  95
V
ELEMENTO CONDICIÓN 
V

2n + 1  95
III. Verdadero
→ 2n  94
11;  A  11;  A
→ n  47
 11;   A  11 ;   A
V
n :1; 2;3; 4;5;6;...; 45; 46
V

2n − 1:1;3;5;7;...;89;91

A = 1;3;5;7;...;89;91

Conjunto B:
Resolución:  
 x −1 
  B=  / xA 
 2x − 7    5 CONDICIÓN 
A =   / 2  x  15  ELEMENTO 
 3  CONDICIÓN 
 ELEMENTO  x :1;3;5;7;9;11;13;15;17;19; 21; 23;...;89;91

2  x  15 x :1;3;5;7;9;11;13;15;17;19; 21; 23;...;89;91

→ 4  2x  30 x −1
 : 2; 4;6;8;10;12;14;16;18
5
→ −3  2x − 7  23
2x − 7 23 B = 2;4;6;8;10;12;14;16;18
→ −1  
3 3
2x − 7
 :1; 2;3; 4;5;6;7
3
Conjunto C:

 
 x −1 
C =  xA /  
ELEMENTO 5 
 CONDICIÓN 

x :11; 21;31; 41;51;61;71;81;91

C = 11;21;31;41;51;61;71;81;91

Entonces:

A = 1;3;5;7;...;89;91

B = 2;4;6;8;10;12;14;16;18

C = 11;21;31;41;51;61;71;81;91

Los tres conjuntos no tienen

elementos en común.