Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Capítulo I
Lógica Proposicional
2
Lógica
3
Proposición
4
Definición:
Son las frases declarativas, de las que tiene sentido
preguntarse si son verdaderas o falsas.
Proposición compuesta
• Aquellas constituidas por dos o mas proposiciones
simples.
• Suelen estar anexadas por conectores lógicos ∧,∨, →, ↔
Resultados del Censo Nacional 2007 Compuesta
10
Negativas:
Llevan el adverbio de la negación “no”, o sus
expresiones equivalentes como “nunca”, “jamás”,
“tampoco”, “no es cierto que”, “es falso que”, “le
falta”, “sin”, etc. Ejemplos:
11
Conjuntivas:
Llevan la conjunción “y”, o sus expresiones
equivalentes como “e”, “pero”, “aunque”, “aun
cuando”, “sino”, “sin embargo”, “además”, etc.
Ejemplos:
12
Disyuntivas:
Llevan la disyuntiva “o”, o sus expresiones
equivalentes como “u”, “ya…ya”, “bien…bien”,
“sea…sea”, “y/o”, etc. Ejemplos:
13
Condicionales :
Llevan la condicional “entonces”, o sus expresiones
equivalentes como “si”, “siempre que”, “con tal que”,
“puesto que”, “ya que”, “a menos que”, etc.
Causa- Efecto. Ejemplos:
a. Si es joven es rebelde.
b. Es herbívoro si se alimenta de plantas.
c. De salir el sol iremos a la playa.
14
Bicondicionales :
Llevan la conjunción compuesta “si y sólo si”, o sus
expresiones equivalentes como “cuando y solo
cuando”, “si …, entonces y sólo entonces..”, etc.
Ejemplos:
15
Fuente: Diario el Comercio Fuente: SENAMHI
Con 76 partidos,
Con partidos, hay
hay
729 posibilidades
2187 posibilidades
Fuente: www.intralot.com.pe
Fuente: www.intralot.com.pe 17
Tablas de Verdad
18
Formas de construcción de una
tabla de verdad p v q
V V
(p v q)
V F
22=4 F V
Formula general: F F
2n p v q ˄ r
V V V
V V F
Donde: (p v q) ˄ r
V F V
23=8 V F F
2: Valores de certeza “V o F”
n: Número de proposiciones F V V
F V F
(p, q, r , etc.)
F F V
F F F 19
𝑝 ~𝑝
Negación
V F
F V
Permite cambiar el Numérica
valor de verdad de
𝑝 ~𝑝
una proposición, se
V≅1
representa con "~“ 1 0 F≅0
0 1
20
𝑝 ˄ 𝑞
Conjunción V V V
V F F
F F V
Sólo es verdadero
F F F ˄≅ Producto
cuando las dos
proposiciones son 𝑝 ˄ 𝑞
verdaderas, en otro 1 1 1
caso es falsa, se 1 0 0
representa con “˄”
0 0 1
0 0 0 21
𝑝 v 𝑞
Disyunción V V V
V V F
F V V
Sólo es falso
F F F ˅≅ Suma
cuando las dos
proposiciones son 𝑝 v 𝑞
falsas, en otro caso 1 1 1
es verdadera, se 1 1 0
representa con “˅”
0 1 1
0 0 0 22
𝑝 → 𝑞
Condicional V V V
V F F
F V V
Sólo es falso
F V F 10≅ 0
cuando la primera
proposición es 𝑝 → 𝑞
Verdadera y la 1 1 1
segunda es falsa, en 1 0 0
otro caso es
0 1 1
verdadera, se
representa con “→” 0 1 0 23
𝑝 ↔ 𝑞
Bicondicional V V V
V F F
F F V
Es Verdadero
F V F (p≅𝑞)≅ 1
cuando ambas
proposiciones son 𝑝 ↔ 𝑞
iguales “verdaderas 1 1 1
o falsas”, se 1 0 0
representa con “↔”
0 0 1
0 1 0 24
𝑝 ∆ 𝑞
Disyunción
V F V
Exclusiva V V F
F V V
Es falso cuando
F F F (p≅𝑞)≅ 0
ambas
proposiciones son 𝑝 ∆ 𝑞
iguales “verdaderas 1 0 1
o falsas”, se 1 1 0
representa con “∆”
0 1 1
0 0 0 25
Tautología Contradicción Contingencia
V ≅1 F ≅0 V,F
(Ideal) (Problemas) (Plan B)
26
Leyes Lógicas
27
1. Involución: ~ ~𝑝 ≅ 𝑝 Doble negación
2. Idempotencia: Equivalencia
a. 𝑝 ʌ 𝑝 ≅ 𝑝 ≅, ↔
b. 𝑝 ˅ 𝑝 ≅ 𝑝
No
afecta
3. Elemento neutro:
a. 𝑝 ʌ 𝑉 ≅ 𝑝 ≅ 𝑝 ∗1 ≅ 𝑝
V≅1
F≅0
𝑏. 𝑝 ˅ 𝐹 ≅ 𝑝 ≅ 𝑝+0 ≅ 𝑝
28
4.Morgan:
a. ~ 𝑝 ʌ 𝑞 ≅ (~𝑝 ˅ ~𝑞 )
b. ~ 𝑝 ˅ 𝑞 ≅ (~𝑝 ʌ ~𝑞 ) El orden de los
factores no altera el
producto
5. Conmutativas:
a. 𝑝 ʌ 𝑞 ≅ (𝑞 ʌ 𝑝) ≅ 𝑝 ∗ 𝑞 ≅ (𝑞 ∗ 𝑝)
b. 𝑝 ˅ 𝑞 ≅ (𝑞 ˅ 𝑝) ≅ 𝑝 + 𝑞 ≅ (𝑞 + 𝑝)
c. 𝑝 ↔ 𝑞 ≅ (𝑞 ↔ 𝑝)
29
6. Asociativas:
a. [ 𝑝 ʌ 𝑞 ʌ 𝑟] ≅ [𝑝 ʌ (𝑞 ʌ 𝑟)] Tiene que Nos permite
tener el mismo eliminar (),
conector [], {}
b. [ 𝑝 ˅ 𝑞 ˅ 𝑟] ≅ [𝑝 ˅ (𝑞 ˅ 𝑟)]
7. Distributivas:
a. 𝑝 ʌ 𝑞 ˅ 𝑟 ≅ 𝑝˅𝑟 ʌ 𝑞˅𝑟
b. [ 𝑝 ˅ 𝑞 ʌ 𝑟] ≅ [ 𝑝 ʌ 𝑟 ˅ (𝑞 ʌ 𝑟)]
c. [ 𝑝 + 𝑞 ∗ 𝑟] ≅ [ 𝑝 ∗ 𝑟 + (𝑞 ∗ 𝑟)]
Matemáticamente
o Numéricamente
30
8. Absorción:
a. [ 𝑝 ʌ 𝑞 ˅ 𝑝] ≅ 𝑝
b. ~𝑝 ʌ 𝑞 ˅ 𝑝 ≅ 𝑝 ˅ q
c. 𝑝 ʌ 𝑞 ˅~𝑝 ≅ ~𝑝 ˅ q
d. [ 𝑝 ˅ 𝑞 ʌ 𝑝] ≅ 𝑝
e. ~𝑝 ˅ 𝑞 ʌ 𝑝 ≅ (𝑝 ʌ q)
f. [ 𝑝 ˅ 𝑞 ʌ~𝑝] ≅ (~𝑝 ʌ q)
9. Implicación: 𝑝 → 𝑞 ≅ (~𝑝 ˅ 𝑞)
𝐴𝑛𝑡𝑒𝑐𝑒𝑑𝑒𝑛𝑡𝑒 → 𝐶𝑜𝑛𝑠𝑒𝑐𝑢𝑒𝑛𝑡𝑒
𝐴𝑐𝑐𝑖ó𝑛 → 𝑅𝑒𝑎𝑐𝑐𝑖ó𝑛
~ 𝑝 → 𝑞 ≅ (𝑝 ʌ ~q)
~ 𝑝 → 𝑞 ≅ ~(~𝑝 ˅ q) ≅ (𝑝 ʌ ~q)
𝑀𝑎𝑛𝑒𝑟𝑎 𝑑𝑖𝑟𝑒𝑐𝑡𝑎
31
Álgebra Booleana
32
Expresiones Lógica:
❖ VARIABLES: Proposiciones
V, F
Cuyos valores son (1 o 0).
❖ COMPLELENTO:
Inverso de la variables (𝐴ҧ o 𝐴´)
̴p
❖ OPERADORES LÓGICOS:
AND (ʌ, &), OR (˅) y NOT (-, ̴ ,¬)
33
1. Elemento neutro
v ʌ
x + 0 = x x . 1 = x
1 0 1 1 1 1
1 0 1 1 1 1
0 0 0 0 1 0
0 0 0 0 1 0
OR AND
X X
0
X Función= Z, F, etc X
1
F=X+0=X
p q
Z=X.1=X
34
2. Conmutativa
X + Y = Y + X
X
1 1 1 1 1 Y
1 0 1 0 1
Y
0 1 1 1 0
X
0 0 0 0 0
X . Y = Y . X
X
1 1 1 1 1 Y
1 0 0 0 1
Y
0 1 0 1 0
X
0 0 0 0 0
35
3. Asociativa
X + (Y + Z) = (X + y) + Z
1 1 1 1 1 1 1 1 1 1
1 1 1 1 0 1 1 1 1 0
1 1 0 1 1 1 1 0 1 1
1 1 0 0 0 1 1 0 1 0
0 1 1 1 1 0 1 1 1 1
0 1 1 1 0 0 1 1 1 0
0 1 0 1 1 0 0 0 1 1
0 0 0 0 0 0 0 0 0 0
N° de variables
X
23 = 8
Y
1,0 Z
36
X . (Y . Z) = (X . y) . Z
1 1 1 1 1 1 1 1 1 1
1 0 1 0 0 1 1 1 0 0
1 0 0 0 1 1 0 0 0 1
1 0 0 0 0 1 0 0 0 0
0 0 1 1 1 0 0 1 0 1
0 0 1 0 0 0 0 1 0 0
0 0 0 0 1 0 0 0 0 1
0 0 0 0 0 0 0 0 0 0
Y
Z
37
4. Distributiva
X + (Y . Z) = (X + Y) . (X + Z)
X v (Y ʌ Z) ≅ (X v Y) ʌ (X v Z)
X . (Y + Z) = (X . Y) + (X . Z)
5. complementos
X + X´ = 1 X . X´ = 0
1 0 1 X ʌ ~X ≅ F
1 0 1 1 0 0
0 1 1 1 0 0
0 1 1 0 1 0
0 1 0
X´
38
1. Idempotencia
X + X = X x . x = x
X v X ≅ X 1 1 1
1 1 1 1 1 1
1 1 1 0 0 0
0 0 0 0 0 0
0 0 0
X X
X X
X X
F=X+X=X
39
2. Indentidad
x + 1 = 1 x . 0 = 0
1 1 1 1 0 0
1 1 1 1 0 0
0 1 1 0 0 0
0 1 1 0 0 0
X X
1 0
1 0
40
3. Absorción
X + (X . Y) = X
X v (X ʌ Y) ≅ X
X . (X + Y) = X
4. Complemento
0´ = 1 1´ = 0
41
6. Morgan
(X + Y)´ = X´ . Y´
(X . Y)´ = X´ + Y´
42
1. Afirmar la veracidad o falsedad de la siguiente función “F”:
F=(𝑋𝑌 + 𝑍𝑋´)
es equivalente a:
M=(𝑋𝑌 + 𝑌𝑍 + 𝑍𝑋´)+(XX´)
2. Demostrar:
𝑋 + 𝑋´𝑌 = 𝑋´𝑌 + (X+XY)
43
Es un método gráfico
En honor a cuya función principal
es simplificar las
Maurice funciones Booleanas
Karnaugh
44
Pasos a seguir:
45
Con 2 variables Variable=1
Complemento=0
Algebra Booleana
01 11
𝑓 = 𝐴´𝐵 + 𝐴𝐵 B B´ B
𝑓 = 𝐵 𝐴´ + 𝐴
𝑓 = 𝐵(1) A 0 1
𝑓=𝐵 A´ 0 1
A 1 1
A B f
1 1 1
1 0 22 = 4 𝑓 =B
0 1 1
0 0
46
10(1,0) (1,0)11 1(1,0)1
Con 3 variables
𝑓 = 𝐴𝐵´ + 𝐵𝐶 + 𝐴𝐶
𝑓 = 𝐴𝐵´ + 𝐵𝐶 + 𝐴𝐶(1) BC B´C´ B´C BC BC´
𝑓 = 𝐴𝐵´ + 𝐵𝐶 + 𝐴𝐶(𝐵´ + 𝐵)
𝑓 = 𝐴𝐵´ + 𝐵𝐶 + 𝐴𝐵´𝐶 + 𝐴𝐵𝐶)
A 00 01 11 10
𝑓 = 𝐴𝐵´ + 𝐵𝐶 + 𝐴𝐵´𝐶 + 𝐴𝐵𝐶) A´ 0 1
𝑓 = 𝐴𝐵´(1 + 𝐶) + 𝐵𝐶(1 + 𝐴)
𝑓 = 𝐴𝐵´(1) + 𝐵𝐶(1) A 1 1 1 1
𝑓 = 𝐴𝐵´ + 𝐵𝐶
𝑓 = 𝐴𝐵´ + 𝐵𝐶
A B C f
1 1 1 1 AB A´B´ A´B AB AB´
1 1 0
1 0 1 1 C 00 01 11 10
1 0 0 1 23 = 8 C´ 0 1
0 1 1 1
0 1 0 C 1 1 1 1
0 0 1
0 0 0 𝑓 = 𝐵𝐶 + 𝐴𝐵´ 47
1111 1110 Con 4 variables
𝑓 = 𝐴𝐵𝐶𝐷 + 𝐴𝐵𝐶𝐷´ + 𝐶
𝑓 = 𝐴𝐵𝐶(𝐷 + 𝐷´) + 𝐶 (1,0)(1,0)1(1,0)
𝑓 = 𝐴𝐵𝐶(1) + 𝐶 CD C´D´ C´D CD CD´
𝑓 = 𝐴𝐵𝐶 + 𝐶 AB 00 01 11 10
𝑓=𝐶
A B C D F
A´B´ 00 1 1
1 1 1 1 1 A´B 01 1 1
1 1 1 0 1
1 1 0 1
AB 11 1 1
1 1 0 0 AB´ 10 1 1
1 0 1 1 1
1 0 1 0 1
1 0 0 1
1 0 0 0
𝑓 =C
0 1 1 1 1
0 1 1 0 1 24 = 16
0 1 0 1
0 1 0 0
0 0 1 1 1
0 0 1 0 1
0 0 0 1
48
0 0 0 0