MATEMÁTICA BASICA

SIDET
MATEMÀTICA BÁSICA

ING. CARLOS OLIVA GUEVARA

E-mail: c_oliva_g@hotmail.com
 MATEMÁTICA BASICA

APRENDER Y ENSEÑAR MATEMATICA NO ES FACIL, LO SABE EL FRUSTADO

ALUMNO QUE SE ENFRENTA, CALCULADORA EN MANO, AL DESPIADADO
EJERCICIO QUE NO LE SALE Y LO SABE EL PROFESOR, CUYA
FRUSTRACCIÓN CRECE EXPONENCIALMENTE AL VER QUE SU ALUMNO SE
ESTRELLA UNA Y OTRA VEZ CON LAS MISMAS DIFICULTADES SIN PODER
SUPERARLA.

ESTO ES UNA PROBLEMÁTICA QUE NO RECONOCE PAISES, IDIOMAS O

FRONTERAS.

¿COMO SUPERARLO?

PREGUNTA QUE NO TENDRA RESPUESTA SI DE TU PARTE NO HAY DECISIÓN

DE TRABAJAR.

EL PROFESOR NO HACE MILAGROS, SI MENTALMENTE TE DISPONES A NO

ENTENDER HAS PERDIDO LA PELEA ANTES DE COMENZAR.
ES UN LARGO CAMINO EL QUE SE DEBE TRANSITAR, PARECIDO A UNA
ESCALERA ASCENDENTE, EN LA QUE NO PODEMOS SALTAR NINGUN
ESCALÓN.

NO HAY RECETAS MAGICAS SI NO MUCHO TRABAJO.

 MATEMÁTICA BASICA

CAPITULO 1: ALGEBRA DE BOOLE

1.1 Repaso de lógica proposicional y sus
aplicaciones

1.2 Repaso de teoría de conjuntos y sus

aplicaciones

1.3 Algebra de conmutadores y sus

aplicaciones
 1.1 Lógica Proposicional MATEMÁTICA BASICA

PROPOSICIONES LÓGICAS

Son enunciados frases u oraciones que tienen

sentido completo.

Tipos de enunciados.
Cerrados
Abiertos
Variables
Variables proposicionales (p, q, r, s,….etc)

Valor de verdad. (V o F), (1 o 0)

Clases de proposiciones Lógicas

I. Simples o atómicas
ej. Unix es un sistema operativo
ej. El multitester es un dispositivo
electrónico
II. Compuestas o moleculares
ej. Unix es un sistema operativo y
Word es un software
ej. Si m es par y n es entero
entonces (n) m es positivo
 OPERACIONES LÒGICAS MATEMÁTICA I

• OPERADORES LÒGICOS

• La negación: ( ~ ) ~p no p
• La conjunciòn: (Λ ) pΛ q pyq
• La disyunción inclusiva: (v ) pv q poq
• La disyunción exclusiva: (∆ ) p∆ q o p o q
• El condicional: (→ ) p→q si p entonces q
• El bicondicional: (↔ ) p↔q p si y solo si q
• La negación conjunta: (↓ ) p ↓ q ni p ni q
• La negación alterna: (↑ ) p ↑ q no p o no q
 Tabla de verdad clásica MATEMÁTICA I

p q p q pq p v q p ∆q p→q p↔q p↑q p↓q

V V F F VVV VVV VFV VVV VVV VFV VFV

V F F V VFF VVF VVF VFF VFF VVF VFF

F V V F FFV FVV FVV FVV FFV FVV FFV

F F V V FFF FFF FFF FVF FVF FVF FVF

 Ejercicios MATEMÁTICA I

Establecer la fórmula molecular de las siguientes

expresiones lógicas:

1. Escribimos a máquina o manuscribimos si y solo si no

tenemos una computadora
2. O bien 2<4 o bien m>n
3. Unix y Linux son sistemas operativos si solo si autocad y
ms Project son programas
4. 2 es múltiplo de 4 o es divisor de 6 siempre que 2 sea
un número primo
5. Si Word es un procesador de texto entonces o bien
Excel es una hoja de cálculo o es un sistema operativo
6. Si llega el verano hace calor e iremos a la playa
7. Julio no es Ingeniero ni abogado pero si es contador
8. Si salimos temprano iremos de paseo no salimos
temprano no iremos de paseo
9. Si y solo si estoy enfermo iré al médico o si no iré a
jugar fútbol y basquet
10. Si no hay calor y no hay agua y no hay oxigeno y no hay
nitrogeno y no hay carbono, no hay fotosíntesis
 Ejercicios MATEMÁTICA I

Establecer la fórmula molecular de las siguientes expresiones

lógicas y determinar su valor de verdad.
1. Si 3> 1 y (– 2 )3 = – 8 entonces 1 es primo

2. Unix y Windows Xp. son sistemas operativos si solo si Word y Excel

son software

3. Linux es un sistema operativo mientras que el multitester es un

dispositivo electrónico.

4. 2 es múltiplo de 8 o es divisor de 4 si y solo si 2 es natural o 2 no es

primo

5. Si 2<3 y 2 no es un real entonces o bien 2 es par o ( 2 ! ) =1

6. Word es un procesador de texto si y solo si o bien Excel es una hoja

de cálculo o bien es un sistema operativo

7. Geoogle no es un buscador informático pero si es parte lógica a

menos que el mouse sea parte física
 Construcción de tablas de verdad MATEMÁTICA I

Recomendación para construir una tabla de verdad

1. Ver cuántas proposiciones simples existen en la

expresión molecular, para realizar las combinaciones

2. Observar en que operador estará de verdad

3. Empezar en orden jerárquico a los conectivos lógicos y

también en orden a primero los paréntesis, corchete,
llaves, negaciones, etc.
Construcción de tablas de verdad MATEMÁTICA I

Ej. 1

p q (p→q) v (p↔q)

V V V V V

V F F F F

F V V V F

F F V V V

Rta
 Construcción de tablas de verdad MATEMÁTICA I

p q r {(p∆q) v ~ ( p ↔ ~ q )} → ~ r
Ej. 2
V V V F V V F V V

V V F F V V F F F

V F V V V F V V V

V F F V V F V F F

F V V V V F V V V

F V F V V F V F F

F F V F V V F V V

F F F F V V F F F

Rta
 Tautología Contradicción y Contingencia.MATEMÁTICA I

Tautología: Son expresiones moleculares

siempre verdaderas
Ej1. p v ~ p
Ej2. (p → q ) v p

Contradicción: Son expresiones moleculares

siempre Falsas
Ej. p  ~ p
Contingencia: Son expresiones moleculares
que pueden ser verdaderas o
falsas
Ej. ( p v ~p)→q
 MATEMÁTICA I

Construir la tabla de verdad y diga si es tautología

contradicción o contingencia
Ej. 1

p q (p→q) v ~ (p ↔ q)

V V V V F V

V F F V V F

F V V V V F

F F V V F V

Tautología
 MATEMÁTICA I

Construir la tabla de verdad y diga si es tautología

contradicción o contingencia
Ej. 2

p q {( p v q ) → ~ (p ∆ q)} ↔ ~ {( p v q ) Λ ~ (p ↑ q)}

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

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

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

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

Contingencia
 LEYES LÒGICAS MATEMÁTICA I

 Sirven para transformar expresiones moleculares en otras

equivalentes.

 Se aplican en circuitos lógicos y en circuitos digitales.

ej. Reducir aplicando leyes lógicas

1. q   q  ~ q  p  por absorción

Solución:

q(q p por absorción

q
 CIRCUITOS LÒGICOS MATEMÁTICA I

A) Circuitos en serie
función Booleana
p q pq
p^q
1 1 1
p q 1
0
0
1
0
0
0 0 0

B) Circuitos en paralelo función Booleana

p pVq
p q pvq

1 1 1
q 1 0 1
0 1 1
0 0 0
 MATEMÁTICA I

Ejemplos de Aplicación:

1. Grafique el circuito equivalente a: [ ( p  q) v r ]  (s v  r)

p q s

r r
 MATEMÁTICA I

2. Reducir el circuito al menor equivalente y analizarlo para que sea

a) cerrado y b) abierto
p q q

p q q

• Funcion Booleana: [ ( p  q) v ( p   q) ]  ( q v  q)

• Reduciendo por leyes lógicas: p   q

• Circuito equivalente
p q

• Analisis: a) para que sea cerrado (pasa corriente)

p: 1 q: 0
b) para que sea abierto (no pasa corriente)
p: 1 q: 1
p: 0 q: 1 o 0
CIRCUITOS DIGITALES

a b

a b a.b a+b
a b a‫סּ‬b a b a.b
1 1 0 0 1 1 0 1 0 0

1 0 0 1 0 1 1 0 0 1

0 1 1 0 0 1 1 0 0 1

0 0 1 1 0 0 0 1 1 1

NOT AND OR OREX NOREX NOR NAND

Puertas Básicas
Otras puertas