PORTAFOLIO DE LOGICA

MATEMATICA
INGENIERIA INDUSTRIAL

DOCENTE:

BYRON ANIBAL VITERI BRIONES

ALUMNA:

JACKELINN JIMENEZ
NIVEL:

TERCER SEMESTRE

AMBATO
2018
VISION

La Universidad Tecnológica Indoamérica será líder y

referente positivo de gestión educativa de calidad por
su contribución efectiva a la sociedad

MISION
Formar seres humanos integral con capacidad
emprendedora y de liderazgo, mediante una
educación de calidad, impulsando la investigación
para contribuir al desarrollo de la sociedad.
HOJA DE VIDA

DATOS PERSONALES

NOMBRE: Jackelinn Jimenez

DIRECCIÓN: Napo- Tena ( Av. 15 de Noviembre )

TELÉFONO DOMICILIO: 06-2887981 CELULAR:

0987450377

FECHA DE NACIMIENTO: 6 de Junio de 1997

LUGAR DE NACIMIENTO: Tena

NÚMERO DE CÉDULA: 150075330-4

E-MAIL: jakelin_lady@hotmail.es
Contenido
LÓGICA MATEMÁTICA ........................................................................................................... 4
TEORIA DEL CONJUNTO ........................................................................................................ 5
RELACION DE CONTENENCIA ................................................................................................ 5
DIAGRAMA DE VENN ............................................................................................................. 5
FORMAS DE DETERMINAR UN CONJUNTO............................................................................ 6
OPERACIONES ENTRE CONJUNTOS ....................................................................................... 6
UNION DE CONJUNTOS ........................................................................................................ 6
INTERSECCION DE CONJUNTOS ............................................................................................ 8
DIFERENCIA DE CONJUNTOS ................................................................................................. 9
DIFERENCIA SIMETRICA ....................................................................................................... 10
COMPLEMENTO DE UN CONJUNTO .................................................................................... 11
PROPIEDADES DE LOS CONJUNTOS .................................................................................... 12
1. PROPIEDAD IDEMPOTENTE .......................................................................................... 12
2. PROPIEDAD CONMUTATIVA ......................................................................................... 12
3. PROPIEDAD ASOCIATIVA .............................................................................................. 12
4. PROPIEDAD DISTRIBUTIVA ........................................................................................... 14
5. LEY DE MORGAN .......................................................................................................... 14
6. PROPIEDAD DE IDENTIDAD .......................................................................................... 15
7. PROPIEDAD DE COMPLEMENTACIÓN........................................................................... 17
8. PROPIEDAD DE COMPLEMENTACIÓN........................................................................... 18
ALGEBRA DE CONJUNTOS ................................................................................................... 19
PROPOSICIONES .................................................................................................................. 19
Enunciado. ........................................................................................................................... 19
Proposición. ......................................................................................................................... 20
CLASES DE PROPOSICIONES ................................................................................................ 20
Preposición Simple: .............................................................................................................. 20
Preposición Compuesta:....................................................................................................... 20
OPERACIONES FUNDAMENTALES CON PROPOSICIONES .................................................... 21
CONECCTIVOS Y SIMBOLOS LOGICOS ................................................................................. 21
JERARQUIA DE LOS CONECTORES LOGICOS ........................................................................ 21
NEGACIÓN .......................................................................................................................... 22
Viene a ser el complemento negativo de una determinada proposición la que dice la
preposición p niega la preposición q. ................................................................................... 22
CONJUNCIÓN ...................................................................................................................... 22
 DISYUNCIÓN ....................................................................................................................... 23
DISYUNCIÓN EXCLUSIVA ..................................................................................................... 23
PROPOSICIÓN CONDICIONAL ............................................................................................. 24
PROPOSICIÓN BICONDICIONAL .......................................................................................... 24
TAUTOLOGIA ....................................................................................................................... 25
INFERENCIA ......................................................................................................................... 25
CONTRADICCIÓN ................................................................................................................ 25
CONTINGENCIA ................................................................................................................... 26
CUANTIFIACADORES LOGICOS ............................................................................................ 26
CUANTIFICADOR UNIVERSAL: .............................................................................................. 27
CUANTIFICADOR EXISTENCIAL: ............................................................................................ 27
METODO CIENTIFICO: .......................................................................................................... 27
SILOGISMO CATEORICO: ..................................................................................................... 27
VALIDES E INVALIDES .......................................................................................................... 28
DEMOSTRACION DIRECTA ................................................................................................... 29
DEMOSTRACION INDIRECTA ............................................................................................... 29
ALGEBRA PROPOSICIONAL .................................................................................................. 29
LEYES DE BOOLE .................................................................................................................. 30
LOS CONJUNTOS DE LOS CIRCUITOS ELECTRICOS .............................................................. 32
MAPAS DE KARNAUGH .................................................................................................. 34

LÓGICA MATEMÁTICA
La lógica matemática es una disciplina que se ocupa de la lógica de razonamiento, suministrando
reglas y técnicas que nos permiten decidir si un argumento o una deducción son correcta o no, es
la base de todo razonamiento matemática teniendo numerosas aplicaciones en diferentes
ciencias
TEORIA DEL CONJUNTO
Conjunto: Es una materialización de los elementos que comparten características similares

A= { 0,1,2,3,4,5,6,7,8,9}

B= {2, 4, 6, 8, 10,12}

C= { }

RELACION DE PERTENENCIA

Es la correspondencia que se establece entre un conjunto con cada uno de sus elementos

F= {0, 1, 2, 3, 4,5} 12

0€F

1€F F

2€F 0 1 2
3€F 3 4 5 12

4€F

5€F

12 € F

RELACION DE CONTENENCIA
Se utiliza la relación de contenencia cuando se relaciona un conjunto con otro conjunto
empleando para esta relación el símbolo C

Ejemplos: A

A= {1, 2, 3, 4, 5, 6, 7,8} B

B= {2, 4, 6,8) 2114

1 5

3 68 7

DIAGRAMA DE VENN
Estos diagramas nos permiten representar a los conjuntos por medio de gráficos utilizando áreas
circulares y rectangulares para visualizarlos. Generalmente el conjunto universal es un rectángulo,
dentro del cual en forma de círculos se grafican los otros conjuntos.

U A B
FORMAS DE DETERMINAR UN CONJUNTO
𝑥
𝐴 = { ∈ 𝑍 + } 𝐹𝑜𝑟𝑚𝑢𝑙𝑎 𝑆𝑡𝑎𝑛𝑑𝑎𝑟 𝑜 𝑁𝑜𝑟𝑚𝑎𝑙
𝑥
𝐵 = { 𝑇𝑒𝑛𝑠𝑖ó𝑛, 𝐶𝑜𝑚𝑝𝑟𝑒𝑛𝑠𝑖ó𝑛} 𝐶𝑜𝑚𝑝𝑟𝑒𝑛𝑠𝑖ó𝑛
𝐶 = { 2, 4, 6, 8, 10, 12 } 𝐸𝑥𝑡𝑒𝑛𝑠𝑖𝑜𝑛 , 𝑇𝑎𝑏𝑢𝑙𝑎𝑐𝑖𝑜𝑛

OPERACIONES ENTRE CONJUNTOS

En la teoría de conjuntos se tiene una serie de operaciones que se utilizan para obtener otros
conjuntos a partir de los conjuntos dados siendo las operaciones más comunes las siguientes:

UNION DE CONJUNTOS
Esta forma operacional se encuentra dado por todos los elementos de los conjuntos dados.

EJEMPLOS A B
𝐴 = { 1, 2, 3, 4, 5, 6, 7, 8} ,6

𝐵 = { 2, 3, 5, 9, 10, 11, 12} 4, 6, 7, 8 5 6. 9, 10,

𝐶 = { 1, 2, 3, 10, 11, 13, 14} 12
2, 4,
𝐴⋃𝐵⋃𝐶 = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14}
1
Si el elemento se repite solo se escribe una vez
13, 14

C
EJEMPLOS

𝐴 = {𝑥/𝑥 ∈ 𝑍 + ; x < 7 }

𝐵 = {𝑥 ∈ 𝑍 + ; x ≥ 8 ∧ x ≤ 10 } STANDAR
𝐶 = {𝑥 ∈ 𝑍 + ; x > 8 ∧ x < 6 }

𝐴 = { 1, 2, 3, 4, 5, 6 }

𝐵 = { 8, 9, 10 } TABULACION
𝐶 ={∅ }

GRAFICO CONJUNTOS DISJUNTOS

A B C

4,6
𝐴⋃𝐵⋃𝐶 = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, }

𝐸 = {𝑥/𝑥 ∈ 𝑍 + ; x ≤ 10 }
𝐹 = {𝑥/𝑥 ∈ 𝑍 + ; x > 3 ∧ x < 9 }
𝐺 = {𝑥/𝑥 ∈ 𝑍 + ; x > 0 ∧ x < 7 }

𝐸 = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 }
𝐹 = {4, 5, 6, 7, 8 }
𝐺 = {1, 2, 3, 4, 5, 6 }

E F

9,10 7,8

4,5,6

1,2,3

G
𝐸⋃𝐹⋃𝐺 = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, }

INTERSECCION DE CONJUNTOS

Esta estructura operacional se encuentra determinada por todos los elementos comunes que
forman los conjuntos.

𝐴⋂𝐵 = C{𝑥 ∈ A ˄ 𝑥 ∈ B }

EJEMPLO

𝑃 = { 1, 𝟑, 𝟓, 7, 9, 11, 13 }
𝑄 = {0, 𝟑, 𝟓, 6, 10, 12}
𝑅 = {2, 𝟑, 𝟓, 11, 14, 15 }
𝑃⋂𝑄⋂𝑅 = {𝟑, 𝟓 }

P Q

0, 6,
7,9,13
10,12
3,5

1, 11

14, 15
R

𝐶 = {𝑥/𝑥 ∈ N; x ≤ 12 }
𝐷 = {𝑥/𝑥 ∈ N; x > 4 ∧ x < 10 }
𝐸 = {𝑥/𝑥 ∈ N; x > 2 ∧ x < 9 }

𝐶 = {0, 1, 2, 3, 4, 𝟓, 𝟔, 𝟕, 8, 9, 10, 11, 12 }

𝐷 = { 𝟓, 𝟔, 𝟕, 8, 9 }
C D
𝐸 = { 2, 3, 4, 𝟓, 𝟔, 𝟕, 8 }
0,1,

10, 11, 9
5,6,
12
2,3,4 7,8
𝑃⋂𝑄⋂𝑅 = { 𝟓, 𝟔, 𝟕, 𝟖 }

R = {a, b, c, d, e }
𝑆 = { 𝑓, 𝑔 }
𝑇 = { 𝑎, ℎ, 𝑖, 𝑗 }

R S

b,c,

d,e f,g

𝑅⋂𝑆⋂𝑇 = { ∅ }

h,i,j

DIFERENCIA DE CONJUNTOS

Es otra forma operacional y se presenta cuando entre dos conjuntos dados A y B se obtiene un
tercero C, el cual es conformado por elementos que pertenecen a A y no a B.

𝐴 = { 1, 2, 3, 4, 5, 6, 7 }
𝐵 = { 2, 4, 6 } A B
2
1 3
4
𝐴 − 𝐵 = { 1, 3, 5, 7 } 5 7
6
𝐴 = { 1, 2, 3, 4, 5, 6, 7 } B A
𝐵 = { 2, 4, 6 } 2
1 3
4
5 7
𝐵−𝐴={ ∅ } 6

𝐸 = {0, 1, 2, 3, 4, 5, 6, 7, 8 }

𝐹 = { 0, 2, 4, 6, 10, 11, 12 }
E F

1 3 10,
𝐸 − 𝐹 = { 1, 3, 5, 7, 8 }
5 7 0,2 11,

8 4, 6 12

F E
𝐹 − 𝐸 = { 10, 11, 12 }
10, 1, 3

11, 0,2 5, 7,

12 4, 6 8

DIFERENCIA SIMETRICA
La teoría de los conjuntos la diferencia simétrica es una operación que resulta mediante la
estructura de operaciones de unión, intersección y diferencia, pudiendo establecer la siguiente
relación.

𝐴∆𝐵 =𝐴 ∪𝐵 ∖𝐴 ∩𝐵
𝐴∆𝐵 =𝐴∖𝐵 ∪ 𝐵∖𝐴

Dados los conjuntos:

𝐴 = { 𝑎, 𝑏, 𝑐, 𝑑, 𝑒, 𝑓 }
𝐵 = { 𝑎, 𝑏, 𝑐, 𝑔, ℎ, 𝑖 }

A B
𝐴∆𝐵 = 𝐴 ∪𝐵 ∖𝐴 ∩𝐵
d, a, g,
𝐴 ∪ 𝐵 = { 𝑎, 𝑏, 𝑐, 𝑑, 𝑒, 𝑓, 𝑔, ℎ, 𝑖 }
e, b, h,
𝐴 ∩ 𝐵 = { 𝑎, 𝑏, 𝑐 }
f, c, i,
𝐴 ∆ 𝐵 = { 𝑑, 𝑒, 𝑓, 𝑔, ℎ, 𝑖 }

𝐴∆𝐵

𝐴∆𝐵 =𝐴∖𝐵 ∪ 𝐵∖𝐴 A B

𝐴 ∖ 𝐵 = { 𝑑, 𝑒, 𝑓 } d, a, g,
𝐵 ∖ 𝐴 = { 𝑔, ℎ, 𝑖 } e, b, h,
𝐴 ∆ 𝐵 = { 𝑑, 𝑒, 𝑓, 𝑔, ℎ, 𝑖 } i,
f, c,

𝐴∆𝐵

COMPLEMENTO DE UN CONJUNTO
Se encuentra formada por todos los elementos del conjunto universo, que le faltan al conjunto
para que sea igual al mismo.

Ac = C = {𝑥/𝑥 ∈ 𝒰 ∧ 𝑥 ∉ 𝐴}
EJEMPLOS:
𝒰 Ac A
𝒰 = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9 }
1, 0,2, 3,
𝐴 = {0, 2, 4, 6, 8 }
5, 4,6, 7,
c
A = {1, 3, 5, 7, 9 } 9, 8 0
LEY DE MORGAN

𝒰 Ac A
𝒰 = {𝑥/𝑥 ∈ Ζ+ < 11 }
1, 0,2, 3,
𝒰 = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10}
5, 4,6, 7,
𝐴 = {0, 2, 4, 6, 8 }
9, 8 10
Ac = {1, 3, 5, 7, 9, 10 }
PROPIEDADES DE LOS CONJUNTOS
En el estudio operacional de conjuntos se pueden presentar las siguientes propiedades.

1. PROPIEDAD IDEMPOTENTE
Esta propiedad determina que:

a) 𝐴 ∪ 𝐴 = 𝐴
b) 𝐴 ∩ 𝐴 = 𝐴
𝐴 = { 1, 3, 5, 7, 9 }
𝐴 ∪ 𝐴 = { 1, 3, 5, 7, 9 }
𝐴 ∩ 𝐴 = { 1, 3, 5, 7, 9 }

2. PROPIEDAD CONMUTATIVA

a) 𝐴 ∪ 𝐵 = 𝐵 ∪ 𝐴
b) 𝐴 ∩ 𝐵 = 𝐵 ∩ 𝐴
𝐴 = { 1, 2, 3, 5, 7 }
𝐵 = { 2, 3, 6, 9 }
𝐴 ∪ 𝐵 = { 1, 2, 3, 5, 6, 7, 9 }
𝐴 ∩ 𝐵 = { 2, 3 }

A B A B

1, 1,
2, 6, 2, 6,
5, 5,
3, 9 3, 9
7, 7,

𝐴 ∪𝐵 𝐴 ∩𝐵

3. PROPIEDAD ASOCIATIVA
Verifica que:

a) (𝐴 ∪ 𝐵) ∪ 𝐶 = 𝐴 ∪ (𝐵 ∪ 𝐶)
𝐴 = { 1, 2, 3 }
𝐵 = { 4, 5, 6 }
𝐶 = { 7, 8, 9 }

𝐴 ∪ 𝐵 = { 1, 2, 3, 4, 5, 6 }
(𝐴 ∪ 𝐵) ∪ 𝐶 = { 1, 2, 3, 4, 5, 6, 7, 8, 9 }

𝐵 ∪ 𝐶 = { 4, 5, 6, 7, 8, 9 }
𝐴 ∪ (𝐵 ∪ 𝐶) = { 1, 2, 3, 4, 5, 6, 7, 8, 9 }

A B C

1, 4, 7,

2, 5, 8,

3, 6, 9,

b) (𝐴 ∩ 𝐵) ∩ 𝐶 = 𝐴 ∩ (𝐵 ∩ 𝐶)
𝐴 ∩𝐵 = {∅}
𝐵 ∩𝐶 ={∅}
(𝐴 ∩ 𝐵) ∩ 𝐶 = { ∅ }
𝐴 ∩ (𝐵 ∩ 𝐶) = { ∅ }

A B C

1,2,3 4,5,6 7,8,9

 4. PROPIEDAD DISTRIBUTIVA
Esta propiedad se lo puede relacionar mediante operaciones de unión e intersección de la
siguiente manera.

a) 𝐴 ∪ (𝐵 ∩ 𝐶) = (𝐴 ∪ 𝐵) ∩ (𝐴 ∪ 𝐶)
𝐴 = { 1, 2, 3, 4 }
𝐵 = { 2, 5, 7 }
𝐶 = { 0, 3, 8 }

𝐵 ∩ 𝐶 ={∅ }
𝐴 ∪ (𝐵 ∩ 𝐶) = { 1, 2, 3, 4 }

𝐴 ∪ 𝐵 = { 1, 2, 3, 4, 5, 7 }
𝐴 ∪ 𝐶 = { 0, 1, 2, 3, 4, 8 }
(𝐴 ∪ 𝐵) ∩ (𝐴 ∪ 𝐶) = { 1, 2, 3, 4 }

b) 𝐴 ∩ (𝐵 ∪ 𝐶) = (𝐴 ∩ 𝐵) ∪ (𝐴 ∩ 𝐶)
𝐵 ∪ 𝐶 = { 0, 2, 3, 5, 7, 8 }
𝐴 ∩ (𝐵 ∪ 𝐶) = { 2, 3 }
(𝐴 ∩ 𝐵) = { 2 }
(𝐴 ∩ 𝐶) = { 3 }
(𝐴 ∩ 𝐵) ∪ (𝐴 ∩ 𝐶) = { 2, 3 }

5. LEY DE MORGAN
Las siguientes relaciones.

( 𝐴 ∪ 𝐵 )′ = 𝐴′ ∩ 𝐵′
( 𝐴 ∩ 𝐵 )′ = 𝐴′ ∪ 𝐵′

𝒰 = { 1, 2, 3, 4, 5, 6, 7, 8 }
𝐴 = { 1, 3, 5, 7 }
𝐵 = { 2, 4, 6, 8 }
 a) 𝐴 ∪ 𝐵 = { 1, 2, 3, 4, 5, 6, 7, 8 }

(A ∪ B)′ = { ∅ }
𝐴′ = { 2, 4, 6, 8 }
𝐵 ′ = { 1, 3, 5, 7 }
A′ ∩ B′ = { ∅ }

A B

1,2,3 4,5,6

b) 𝐴 ∩ 𝐵 = { ∅ }
(A ∩ B)′ = { 1, 2, 3, 4, 5, 6, 7, 8 }
A′ ∪ B′ = { 1, 2, 3, 4, 5, 6, 7, 8 }

A B

1,3, 2,4,

5,7, 6,8,

6. PROPIEDAD DE IDENTIDAD
Esta propiedad se encuentra relacionada mediante un conjunto con la operación de unión e
intersección, considerando el universo y el conjunto vacío.

a) 𝐴 ∪ ∅ = 𝐴
𝐴 = { 1, 2, 3, 4, 5 }
∅={∅}

𝐴 ∪ ∅ = { 1, 2, 3, 4, 5 }

1,2,3,4,5

b) 𝐴 ∪ 𝒰 = 𝒰
𝒰 = { 1, 2, 3, 4, 5, 6, ,7, 8,9, 10 }
𝐴 = { 2, 3, 5 }
𝐴 ∪ 𝒰 = { 1, 2, 3, 4, 5, 6, ,7, 8,9, 10 }

𝒰
A

1, 4,

6, 2,3,5 7

8, 9

10

c) 𝐴 ∩ 𝒰 = 𝐴 𝒰
1, A 4
𝐴 ∩ 𝒰 = { 2, 3, 4 }
6, 2,3, 7,

8, 5 9

10
 d) 𝐴 ∩ ∅ = ∅ A
𝐴 = { 2, 3, 5 }
1, 2, 3
∅={ ∅ }
𝐴 ∩ ∅={ ∅ }

7. PROPIEDAD DE COMPLEMENTACIÓN
Esta propiedad establece lo siguiente

a) 𝐴 ∪ 𝐴′ = 𝒰 𝒰
A
𝒰 = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 }
2, 4,
𝐴 = { 1, 3, 5, 7, 9 } 1, 3,
𝐴′ = { 0, 2, 4, 6, 8 } 5, 7,
′
𝐴 ∪ 𝐴 = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 }
6, 8,
𝐴𝑐

𝒰
b) 𝐴 ∩ 𝐴𝑐 = ∅ 𝐴
𝒰 = { 𝑎, 𝑏, 𝑐, 𝑑, 𝑒, 𝑓, 𝑔 } c, d,

𝐴 = { 𝑎, 𝑏, 𝑒 } a, b, e

𝐴𝑐 = { 𝑐, 𝑑, 𝑓, 𝑔 } f, g
𝐴 ∩ 𝐴′ = { ∅ }

𝒰
8, A 10,
c) ( 𝐴𝑐 )𝑐 = 𝐴
0,2,

4,6, 12

14
𝒰 = { 0, 2, 4, 6, 8, 10, 12, 14 }
𝐴 = { 0, 2, 4, 6 }

𝐴𝑐 = { 8, 10, 12, 14 }
( 𝐴𝑐 )𝑐 = { 0, 2, 4, 6 }

𝒰
𝐴
d) ( 𝒰 )𝑐 = { ∅ }
a,b, c, d,
𝒰 = { 𝑎, 𝑏, 𝑐, 𝑑, 𝑒, 𝑓, 𝑔 }
𝒰′ = { ∅ }
e,f, g

𝒰
e) ( ∅ )𝑐 = { 𝒰 }
𝒰 = { 1, 2, 3, 4, 5 } 1,2,3,4,5
{ ∅ }′ = 𝒰

8. PROPIEDAD DE COMPLEMENTACIÓN

Si 𝐴 ⊂ 𝐵 => para cualquier A y cualquier B

a) 𝐴 ∪ 𝐵 = 𝐵
𝐴
𝐴 = { 1,3,5,7,9 } 𝐵
𝐵 = { 1,3,5 } 1,3,
5

𝐴
b) 𝐴 ∩ 𝐵 = 𝐴 𝐵
1,3,
𝐴 = { 1,3,5,7,9 }
5
𝐵 = { 1,3,5 }
 𝐴
𝐵
c) (𝐴 ∩ 𝐵) ⊂ 𝐴 1,3,
𝐵 = { 1,2,3,5,6 } 5

𝐴 = { 1,3,5 }

𝐵1, 2,
d) 𝐴 ⊂ (𝐴 ∪ 𝐵) 6,7,8
𝐴 = { 1,2,3,4,5 }
3,4, 5
𝐵 = { 6,7,8 }

ALGEBRA DE CONJUNTOS

𝐴 = { 𝑎, 𝑏, 𝑐, 𝑑, 𝑒, 𝑓, 𝑔, ℎ, 𝑖, 𝑗 }
𝐵 = { 𝑎, 𝑏, 𝑑, 𝑔, 𝑚, 𝑛, 𝑝 }
𝐶 = { 𝑎, 𝑏, 𝑐, 𝑙, 𝑖, 𝑠, 𝑡 }
(𝐴 ∩ 𝐵) ∪ (𝐵 ∩ 𝐶) = { a, b, d, g }
(𝐴 ∩ 𝐵) = { a, b, d, g }
(𝐵 ∩ 𝐶) = { a, b }

PROPOSICIONES

Enunciado.
Es una determinada oración o frase ejemplo.

¿Cuál es su nombre?

Hoy es lunes

Buenos días
 ¿Cómo esta?

Proposición.
Una proposición lógica es una frase a la cual se la puede asignar un valor de verdadero (V) o falso
(F), pero no ambos al mismo tiempo la proposición, generalmente se lo representa por medio de
cualquier letra p, q, r, s, t, etc.

Ejemplo:

p: La presión hidrostática esta relacionada por su altura.

q: La segunda ley de Newton establece que la fuerza es igual a la aceleración aplicada a una masa
F=m.a

r: X+7=5

s: 10+5 =15

t: 2x+3=2

u: El voltaje esta relacionado a la intensidad por la resistencia.

CLASES DE PROPOSICIONES
Las clases de preposiciones pueden ser las siguientes:

Preposición Simple:
Llamado también atómico, son aquellos que no pueden descomponerse en otra, las cuales no
tienen artículo.

Ejemplo.

p: El hidrogeno es un elemento químico del H2O

q: √−𝟏𝟐𝟓 = −𝟓
𝟑

r: 𝒍𝒐𝒈𝟐 = √𝟐

s: La fuerza es una medida de la acción de la masa y la aceleración.

t: Los transformadores de voltaje regulan la tensión de entrada.

Preposición Compuesta:
Llamadas también moleculares, son aquellas que se tienen por saciar proposiciones simples
mediante conectivos lógicos o particular de los enlaces de los cuales se los representan mediante
esquemas proposicionales.

Ejemplo:

p: Si el acero es óptimo para la construcción entonces lo adquirimos.

q: 81 es el cuadrado de 9 y 9 al cuadrado es igual a 81

r: 4 es el múltiplo de 2 y 2 x 2 = 4

s: x = 5y es igual y = x / 5.

t: Los transformadores de voltaje regulan la tensión de entrada.

OPERACIONES FUNDAMENTALES CON PROPOSICIONES

Una o más proposiciones se pueden estructurar a la mismas mediante las siguientes formas
operacionales.

1. NEGACION
2. CONJUNCIÓN
3. DISYUNCIÓN
4. CONDICIONAL
5. BICONDICIONAL

CONECCTIVOS Y SIMBOLOS LOGICOS

Dentro de las estructuras proposicionales lógicos se pueden utilizar ciertos símbolos
denominados conectivos lógicos

CONECTIVOS Y SIMBOLOGÍA LÓGICA

NOMBRE SIMBOLO NOTACIÓN LECTURA

NEGACIÓN ~¬ ~¬p Negación p

CONJUNCIÓN ˄ p˄q pyq

DISYUNCIÓN ˅ p˅q poq

DISYUNCIÓN EXCLUSIVA ˅̱ p ˅̱ q p o q pero no ambos

IMPLICACIÓN → p→q p implica q

EQUIVALENCIA ↔ p↔q p si y solo si q

JERARQUIA DE LOS CONECTORES LOGICOS

Van de menor a mayor ~ ¬ ˄ ˅ ˅̱ → ↔ a mayor jerarquía de la siguiente forma,
pudiendo establecer que los conectivos lógicos ( ˄ ˅ ) i o son de igual jerarquía.

Definición de las operaciones proposicionales y tablas de verdad básica.

NEGACIÓN

Viene a ser el complemento negativo de una determinada proposición la que dice

la preposición p niega la preposición q.
Ejemplo:

p: Este puente puede soportar 40 toneladas.

~p: Este puente NO puede soportar 40 toneladas.

q: Ricardo es un estudiante dedicado.

~q: Ricardo es un estudiante dedicado.

NEGACIÓN
p ~ p
V F
F V

CONJUNCIÓN
Son aquellos que están enlazados por el conectivo lógico y (˄), siendo verdad solamente cuando
ambas proposiciones sean verdaderas.

CONJUNCIÓN
p q p˄q
V V V
V F F
F V F
F F F

p: El triángulo tiene diagonales.

q: El cuadrado es un polígono irregular.

CONJUNCIÓN
p q p˄q
F F F

p: √𝟔𝟑 = 𝟗
𝟑
𝑭

q: 25 = 32 𝑉

CONJUNCIÓN
p q p˄q
F V F
DISYUNCIÓN
Esta conexión de dos preposiciones simples mediante el conectivo lógico o (˅ ), en el cual las
dos proposiciones p o q sean falsas solamente serán falsas, caso contrario sean verdaderas.

DISYUNCIÓN
p q p˅q
V V V
V F V
F V V
F F F

p: 25 > 7

q: 3 es múltiplo de 5

DISYUNCIÓN
p q p˅q
V F V

p: (−𝟑)𝟑 = 𝟐𝟕

q: √𝟐𝟐𝟓 = − 𝟏𝟓

DISYUNCIÓN
p q p˅q
V V V

DISYUNCIÓN EXCLUSIVA

Significa la una o la otra pero no ambas a la vez, la verdad la una excluye a la otra al igual que la
falsedad de la una excluye a la otra de la siguiente forma.

DISYUNCIÓN EXCLUSIVA
p q p ˅̱ q
V V F
V F V
F V V
F F F
p: Darwin estudia Física.

q: Darwin se va al Cine.

DISYUNCIÓN EXCLUSIVA
p q p ˅̱ q
V V F

PROPOSICIÓN CONDICIONAL
Esta forma proposicional se presenta cuando se conecta dos proposiciones con el conectivo
lógico “Si………… entonces es” en la aplicación en el antecedente y la consecuente puedan o no
tener relación, el valor de la verdad de la proposición condicional será falsa, cuando la primera
preposición es verdadera y la segunda es falsa caso contrario serán verdaderas de la siguiente
forma:

PROPOSICIÓN CONDICIONAL
p q p→q
V V V
V F F
F V V
F F V

p: Luis se sacó la lotería.

q: Luis se compra un vehículo.

PROPOSICIÓN CONDICIONAL
p q p→q
V V V

PROPOSICIÓN BICONDICIONAL
Se presentan cuando dos proposiciones están enlazados con el conectivo lógico “Si y solo Si” ( ↔
) , la cual será verdadero cuando las dos proposiciones tienen el mismo valor de verdad caso
contrario serán falsas

PROPOSICIÓN BICONDICIONAL
p q p↔q
V V V
V F F
F V F
 F F V
p: (√𝟕) = 𝟕
𝟑 𝟑
𝑽.

q: (−𝟐)𝟔 = 𝟑𝟐 𝑭.

PROPOSICIÓN BICONDICIONAL
p q p↔q
V F F

TAUTOLOGIA
Llamada también forma tautológica se lo obtiene cuando en una determinada estructura
proporcional todos sus valores son verdaderos, dependientemente de que valores de verdad de
sus variables proporcionales sean falsas o verdaderas.

TAUTOLOGÍA
p ˅ ~ p
V V F
F V V

INFERENCIA
Es la capacidad racional de obtener información implícita.

Ejemplo:

p: Todos los hombres son mortales.

q: Nelson es un hombre.

c: Por lo tanto, él es Mortal.

p: Quien trabaja gana.

q: Yo trabajo.

c: Por lo tanto, yo gano.

p: El que estudia aprende.

q: El que aprende enseña.

c: El que aprende es buen estudiante.

CONTRADICCIÓN
Llamada también por medio contradictorio se presento es una estructura proposicional cuando
sus valores obtenidos son falsos, independientemente de sus valores de verdad, de sus variables
proposicionales serán sus componentes falsos o verdaderos.
 CONTRADICCIÓN
P ˄ ~ p
V F F
F F V

~ [ (~ p → ~ q ) ↔ ( p → q)]

p q ~ p ~ q ~p→~q ↔ ( q→ p ) ~
V V F F V V V F
V F F V V V V F
F V V F F V F F
F F V V V V V F

CONTINGENCIA
Llamada también formula sintética se presenta cuando una estructura proposicional no existe ni
tautología ni contradicción, por lo que entre sus valores debe haber contenidas de verdad (V) o
falsedad (F)

(~ p ˄ ~ q ) → ( p ˅ ~ q )

p q ~ p ~ q ~p˄ ~q → ( p ˅ ~q )
V V F F F V V
V F F V F V V
F V V F F V F
F F V V V V V

(p ↔ q ) ≅ (p → q ) ˄ (q → p )

p q p↔ q ≅ p→ q ˄ q→ p
V V V V V V
V F F F F V
F V F V F F
F F V V V V

CUANTIFIACADORES LOGICOS
En el estudio de la lógica se ha tratado de las preposiciones de la forma como puede combinarse
para formar nuevas preposiciones sin dar mayor importancia a la forma que adquieren las
preposiciones simples.

Se clasifican en:
CUANTIFICADOR UNIVERSAL:

Está determinado a la proporción es todo para todo y se representa con V, a este cuantificador se
lo representa con el símbolo Vx el cual expresa para cualquier x que nos indica que esa x, es un
elemento de proporción o conjunto determinado.

CUANTIFICADOR EXISTENCIAL:
Determina la existencia de algún o algunos elementos las cuales cumplen con la característica de
la proporción indicada al cual se lo expresa mediante el símbolo Ǝ el cual hace referencia a los
elementos que forman una proporción de Ǝx/p[x]

NEGACION DE CUANTIFICADORES

Para realizar la negación de los cuantificadores se pueden aplicar ciertas reglas como las
siguientes:

~ (Vx, x ) ↔ Ǝx/~x , ~ (Ǝx, x) ↔ Vx,Vx

p: todos los mineros son cuteros

~p: existe al menos un número que no es entero

q: algunos triángulos son rectángulos

~p: todos los triángulos no son rectángulos

METODO CIENTIFICO:

El método científico es el proceso mediante el cual una teoría científica es validada o bien descartada y
contiene una serie ordenada de pasos a seguir para la resolución de un problema determinado.

Todo proceso científico comienza con la OBSERVACIÓN directa o indirecta (a través de instrumentos) de los
fenómenos que ocurren en la naturaleza. Estas observaciones involucran, además de las impresiones
visuales, la percepción sonora, la degustación de sabores, el registro de temperaturas y texturas, los
diferentes olores, etc. y registra detalladamente sus características y luego se interroga acerca de la causa
de estos fenómenos.

SILOGISMO CATEORICO:

Es un razonamiento que consta de 2 premisas y un conducción en donde las premisas y la conducción si

proporciones categóricas determinadas por un argumento deductivo y valido.
P1: Todos los mamíferos son animales que se alimentan de leche

P2: Todos los gatos son mamíferos

C: Luego todos los gatos son animales que toman leche

P1: Todos los recién nacidos se alimentan con la leche materna

P2: Todos los bebes toman leche

C: Luego todos los bebes toman la leche materna

Indique si los siguientes silogismos son verdaderos o no? En caso de los silogismos no sea
verdadero indicar.

P1: Todas las calles son rutas de trasporte

P2: ninguna calle es una pista

C: las pistas no son rutas de trasporte

Todas las calles son pistas y son rutas de transporte

P1: Todos los árboles son plantas

P2: Ningún árbol es un arbusto

C: Ninguna planta es un arbusto

Todos los arbustos son plantas

P1: Todas las bicicletas son medios de transporte

P2: Algunas bicicletas son estáticas

C: Ningún medio de transporte es estático

VALIDES E INVALIDES

Es una de las propiedades de las proporciones o enunciados pudiendo construir razonamientos

adecuados los cuales pueden ser validos o inválidos.

P1: El ladrón entro por la puerta y salió por la ventana

P2: El ladrón no entro por la puerta

C: Por lo tanto entro por la ventana

P1: Hoy es viernes

P2: Hoy no es viernes

C: Por lo tanto mañana es domingo

P1: Tania se va al supermercado o al SPA

P2: Tania no se va al SPA

C: Por lo tanto se va al supermercado

P1: Argentina iba a pasar a finales

P2: Argentina perdió ante Francia

C: Por lo tanto no paso a cuartos de final

DEMOSTRACION DIRECTA
Consiste de obtener mediante una sucesión de proporciones encadenadas por reglas de
deducción directamente la proporción que como consecuencia de p. el método de la
demostración directa tiene como fundamento lógico ña regla de la diferencia clásica o esquema
argumentativo valido llamado “modun ponens” el cual establece la siguiente estructura
proporcional.¨

[p^( p→q)] →q

DEMOSTRACION INDIRECTA
Llamada también por deducción, consiste en negar la tesis del teorema y a partir de esta
proporción y con la ayuda de las reglas de la lógica y l teoría desarrollada encontrar una
contradicción con respecto a las premisas.

Una proporción verdadera en respecto a la suposición

ALGEBRA PROPOSICIONAL
Esta algebra realiza el estudio de las propiedades de las operaciones lógicas para hacerlos
uso. Los conectivos tienen relación y semejanza con el álgebra de los números reales los
conjuntos con la aplicación de las leyes conmutativa, asociativa, distributiva y de algunas
relaciones de negación. Considerando la expresión P y Q

~P Y ~Q

Por lo que esta relación podría resultar un tanto complejo representarla en la lógica conceptual a
la cual la podemos emplear una relación más simple. Utilizando el álgebra de los circuitos
binarios pudiendo establecer lo siguiente:
 pyq ~a → a

~p y ~q avb→a+b
a^b → a . b

LEYES DE BOOLE

Las leyes de Boole se encuentran relacionados con el álgebra proporcional con el fin de
establecer lo siguiente:

1. A∩E=A
2. AUØ=A
3. A∩ ( BUC)= (A∩B)U (A∩C)
4. AU ( B∩C)= (AUB)∩ (AUC)
5. A∩ (AUB)=A
6. AU (A∩B)=A
7. A∩Ø=Ø
8. AUE=E
9. A∩A=A
10. AUA=A
11. (AUB)’=A’∩B’
12. (A∩B)’=A’UB’

E=1  Conjunto universal

E
E representa al conjunto universal conteniendo los subconjuntos ABC. Si relacionamos
las propiedades indicadas con una nueva notación y considerando al conjunto universal
E. con un valor equivalente a la unidad y al conjunto vacío con un valor de o podemos
representar a las leyes de Boole de la siguiente manera.

1. a. 1=a
2. a+a=a
3. a( b+c)=(a.b)+(a.c)
4. a( b.c)=(a+b).(a+c)
5. a(a+b)=a
6. a+a.b=a
 7. a.a=a
8. a+1=1
9. a.a=a
10. a+a=a
11. (a+b)’=a’.b’
12. (a.b)’=a’+b’

Empleando las reglas de Boole simplificar al máximo las siguientes expresiones:

𝑎2 (𝑎 + 𝑏)
𝑎. 𝑎 (𝑎 + 𝑏)
𝑎(𝑎 + 𝑏)
𝑎

𝑎2 + 2𝑎𝑏 + 𝑏 2
𝑎 + 𝑎𝑏 + 𝑎𝑏 + 𝑏
(𝑎 + 𝑎𝑏) + (𝑎𝑏 + 𝑏)

𝑎+𝑏

𝑎3 + 𝑎2
𝑎. 𝑎. 𝑎 + 𝑎. 𝑎 + 1
𝑎. 𝑎 + 𝑎 + 1
𝑎+1
1

(𝑎 + 𝑏)(𝑎 + 𝑏 ′ )

𝑎2 + 𝑎𝑏 ′ + 𝑎𝑏 + 𝑏𝑏 ′
𝑎 + 𝑎𝑏 ′ + 𝑎𝑏 + 0
𝑎 + 𝑎𝑏
𝑎
𝑎′ 𝑏 ′ (𝑎 + 𝑏)
(𝑎′ 𝑎𝑏 ′ + 𝑎′ 𝑏 ′ 𝑏)
0 + 0
0

LOS CONJUNTOS DE LOS CIRCUITOS ELECTRICOS

Una aplicación de los conjuntos y de la lógica matemática es atreves de las observaciones de

unión intersección y completacion atreves de las llamadas estructuras de circuitos eléctricos
las cuales se fundamentan en la edición sustracción y multiplicación aritmética como se
puede determinar a continuación.

Conjunto Aritmética Lógica Matemática Conexión de Circuito

AUB A+B AvB Paralelo
A∩B A*B A^B Cero

En nuestro caso A y B van a representar los interruptores o contactares los cuales pueden
estar abiertos o cerrados en los cuales huye la corriente si estos cerrados casos contrarios
estarán abiertos.

A continuación determinaremos estas 2 formas de circuitos eléctricos conexión en serie, caso

contrario no dejan pasar corriente eléctrica.

1. CONEXIÓN EN SERIE
 2. CONEXIÓN PARALELA
Este tipo de conexión el foco enciende si está cerrado el contacto en el punto A o también está
cerrado en el B.

INTERRUPTOR ABIERTO

INTERRUPTOR CERRADO

Algunas de las reglas del algebra se puede representar mediante las siguiente simbologías.

3. CONMUTATIVA DE LA SUMA

4. CONMUTATIVA DEL PRODUCTO

≡
 5. LEY ASOCIACION DE LA SUMA

𝐴+(𝐵+𝐶) = (𝐴+𝐵)+𝐶

(𝐴+𝐵)+𝐶

6. LEY ASOCICION DEL PRODUCTO

𝐴. ( 𝐵. 𝐶 ) = ( 𝐴. 𝐵 ). 𝐶

( 𝐴. 𝐵 ). 𝐶

7. LEY DISTRIBUTIVA

𝐴. ( 𝐵 + 𝐶 ) = 𝐴. 𝐵 + 𝐴. 𝐶

𝐴.𝐶( 𝐵 + 𝐶 ) 𝑋 = (𝐴. 𝐵 ) + (𝐴. 𝐶)

𝑋 = 𝐴. ( 𝐵 + 𝐶 ) 𝑋 = (𝐴. 𝐵 )𝑋+=(𝐴.

MAPAS DE KARNAUGH
Es un diagrama utilizado para la simplificación de funciones algebraicas booleanas
reduciendo la velocidad de hacer cálculos extremos para poder simplificar las expresiones
booleanas el mapa de carnao es una representación bidimensional de la tabla de verdad de la
función o simplificar puesto que esta tabla de verdad de la función a simplificar puesto que
esta tabla de función de variables se puede calcular en número de términos mediante la
expresión 2𝑛

La transferencia de los términos de la tabla e verdad al mapa de carnao se lo realiza de

forma directa considerando 0 y1 ordenando del valor que toma la función de cada fila
pudiendo realizar el proceso con funciones de hasta variables x lo que para funciones de
mayor cantidad de variables es más eficiente el uso de un software la metodología que
podemos aplicar para poder obtener una expresión MSP (Mínima Suma de Producto).

Considerando el siguiente ejemplo:

F (x, y, z)= x’ y’ z’ + x’ y’ z’ + x’ y z’ * x y’ z + x y z’

Los pasos a seguir para reducir esta forma de expresión son los siguientes:

Convertimos la expresión dada a una suma de productos si es necesario esta puede realizar
varias maneras como puede ser ALGEBRAICAMENTE.

Construyendo una tabla de verdad trasladando los valores del mapa del carnao siendo esta la
más utilizada.

X Y Z RESULTADO
0 0 0 1 YZ 00 01 11 10
0 0 1 1 X
0 1 0 1 1
0 1 0
0 1 1 0 1
1 0 0 1 1 1 1 0 0
1 0 1 1
1 1 0 0
1 1 1 0

A B RESULTADO
0 0 0
0 1 1
 1 0 0 B 0 1
1 1 1 A
1
0 0

1 0 1

A B C RESULTADO
0 0 0 0
0 0 1 0
0 1 0 1
0 1 1 0
1 0 0 1
1 0 1 1
1 1 0 1
1 1 1 0

BC
00 01 11 10
A
0
0 0 0 1

1 1 1 0 1