MATEMTICAS

DOCENTE:
Ing. Carlos Anchundia Betancourt

Ing. Carlos Eduardo Anchundia Betancourt 1

Todos estamos familiarizados con la idea de que
algunas personas poseen una mentalidad lgica
mientras que otras no. No siempre resulta sencillo
seguir razonamientos o argumentos extensos para
obtener conclusiones vlidas.
Nosotros trabajamos con argumentos dentro de la
lgica aristotlica, donde todo argumento debe ser o
verdadero o falso, no existe una tercera posibilidad.,
Para poder manejar y operar entre estos argumentos,
el lenguaje usual puede resultar ambiguo respecto a
la validez de los argumentos.

Ing. Carlos Eduardo Anchundia Betancourt 2

Analicemos la siguiente frase:
"Pon el sobre que te sobre, sobre la mesa".
Sugiere que la palabra sobre tiene tres diferentes
significados en la misma oracin.
Por ello, se necesita de un lenguaje que sea ms
preciso: la lgica simblica.
Su propsito consiste en establecer un nuevo
lenguaje, el cual se pueda utilizar para simplificar el
anlisis de argumentos lgicos complicados.

Ing. Carlos Eduardo Anchundia Betancourt 3

La lgica es un mtodo de razonamiento que no acepta
conclusiones errneas.
Todo debe definirse de tal forma que no d lugar a dudas
o imprecisiones en la veracidad de su significado, Nada
puede darse por supuesto, y las definiciones de
diccionario no son normalmente suficientes. Por ejemplo,
en el lenguaje ordinario, un enunciado u oracin se
puede definir como "una palabra o grupo de palabras que
declara, pregunta, ordena, solicita o exclama algo.
Sin embargo, en lgica simblica una oracin tiene un
significado mucho ms especfico y se llama proposicin.

Ing. Carlos Eduardo Anchundia Betancourt 4

Definicin: Una proposicin es una unidad semntica que, o slo es verdadera
o slo es falsa.
Consideracin: Para que una proposicin sea considerada como tal, tiene que
cumplir la definicin de proposicin, es decir, tiene que ser verdadera o falsa.
Las oraciones que no son falsas ni verdaderas, las que son falsas y
verdaderas al mismo tiempo, o las que demuestran algn tipo de
imprecisin (carecen de sentido), no son objeto de estudio de la lgica y
no pueden ser proposiciones.
Una proposicin no puede tener ambigedades (se da cuando una palabra u
oracin tiene dos o ms significados o interpretaciones) .
Las oraciones imperativas (orden o advertencia), exclamativas e
interrogativas no son proposiciones.
Para representar una proposicin usualmente se utilizan las primeras letras
del alfabeto espaol en minscula (tambin p, q, r, s).
Ing. Carlos Eduardo Anchundia Betancourt 5
Definicin: El valor de verdad de una proposicin es la cualidad de veracidad
que describe adecuadamente la proposicin. Este valor puede ser verdadero o
falso.
Para representar estos valores se pueden utilizar diferentes nomenclaturas
pero la ms comn es el uso de 0 para el valor falso y 1 para el valor
verdadero, tomando como referencia el sistema de numeracin binario.

Valor Verdadero Valor Falso

1 0
V F
True False
T F

Ing. Carlos Eduardo Anchundia Betancourt 6

Un enunciado: Denominamos as a toda frase u oracin.
ENUNCIADOS ABIERTOS: Los enunciados que usan las palabras el, ella
o las letras x, y, z, ... , etc. No tienen la propiedad de ser verdaderos o falsos, es
decir, no son proposiciones. Pero, si a estas palabras o letras se les asigna un
determinado objeto o valor, llamado constante, el resultado es una
proposicin. A este tipo de enunciados se les denomina enunciados
abiertos. Ejemplos:
- Ella es estudiante de matemticas
- x3>7
Si en el primer ejemplo reemplazamos ella por Sofa, se tiene, Sofa es
estudiante de matemticas, que es una proposicin donde su valor de verdad
es V F dependiendo de que si Sofa sea o no estudiante de matemticas.
Si en el segundo ejemplo x toma un valor menor o igual que 10 la
proposicin es falsa y si x toma un valor mayor a 10 la proposicin es
verdadera.
Ing. Carlos Eduardo Anchundia Betancourt 7
ENUNCIADOS CERRADOS: Es un enunciado que puede ser VERDADERO o
FALSO, cuando identificamos claramente el sujeto que realiza la accin.
Ejemplo:
2 es un nmero par y primo (Verdadero)
Martes es un da de la semana (Verdadero)
7 es un nmero par y primo (Falso)
Carlos es un da de la semana (Falso)
Existe premio Nobel de Informtica (falso)
la tierra es el nico planeta del universo que tiene vida (falsa)
los nmeros divisibles para 8 son divisibles para 2. (verdadera)
Gabriel Garcia Marquz escribi Cien aos de soledad (verdadero)
El pentgono tiene cuatro lados (falso)
Mario Vargas Llosa escribi conversacin en la catedral (verdadero)
Ing. Carlos Eduardo Anchundia Betancourt 8
a: 5 es un nmero primo Proposicin. Verdadera
b: lava el auto, por favor No es una Proposicin.
c: -15+10= -6 Proposicin. Falsa
d: Simn Bolvar descubri Amrica Proposicin. Falsa
a: 15 es un nmero primo Proposicin. Falsa
b: todos los nmeros enteros son positivos Proposicin. Falsa
c: x+10= 20 No es una Proposicin.
d: Cristbal Coln descubri Amrica Proposicin. Verdadera
a: Maana se acabar el mundo! No es una Proposicin.
b: Hola, Cmo ests? No es una Proposicin.
c: Hola! No es una Proposicin.
d: 8-6= 2 Proposicin. Verdadera
a: 42+3 No es una Proposicin
b: Leer No es una Proposicin
Ing. Carlos Eduardo Anchundia Betancourt 9
Existen dos tipos de proposiciones.

Proposiciones simples son aquellas que no poseen operador

lgico alguno.
Las proposiciones compuestas o polinomios booleanos estn
formadas por otras proposiciones y operadores lgicos.

Ing. Carlos Eduardo Anchundia Betancourt 10

Definicin: Una tabla de verdad es una representacin de los posibles valores
de verdad que podra tomar una proposicin.
Las tablas de verdad sirven para mostrar los valores, las relaciones y los
resultados posibles al realizar operaciones lgicas.
La cantidad de combinaciones (filas de la tabla de verdad) depende de la
cantidad de proposiciones presentes en la expresin lgica.
a a b a b c
0 0 0
0 0 0
0 0 1
1 0 1
0 1 0
1 0 0 1 1
1 1 1 0 0
1 0 1
2 =
1 1 0
=
1 1 1
Ing. Carlos Eduardo Anchundia Betancourt 11
Los operadores lgicos son utilizados para crear nexos entre proposiciones a
los cuales se los denominan tambin como conectores .

Negacin
Conjuncin
Disyuncin
Disyuncin exclusiva
Condicional
Bicondicional.

Ing. Carlos Eduardo Anchundia Betancourt 12

Sea a una proposicin, la negacin de a, representada simbolgicamente por
a, es una nueva proposicin, cuyo valor de verdad est dado por la siguiente
tabla de verdad:

a a
0 1
1 0

Ing. Carlos Eduardo Anchundia Betancourt 13

Este operador lgico cambia el valor de verdad de una proposicin: si a es
una proposicin verdadera, a es falsa; si a es una proposicin falsa, a es
verdadera.
La negacin se presenta con los trminos gramaticales: "no", "ni", "no es
verdad que", "no es cierto que".

Si se tienen las siguientes proposiciones:

a: Tengo un billete de cinco dlares.
La negacin de a es:
a: No tengo un billete de cinco dlares.
b: No quiero hacer el viaje.
La negacin de b es:
b : Quiero hacer el viaje.

Ing. Carlos Eduardo Anchundia Betancourt 14

Sean a y b proposiciones, la conjuncin entre a y b, representada
simblicamente por a ^ b, es una nueva proposicin, cuyo valor de verdad
est dado por la siguiente tabla de verdad:

a b a ^ b

0 0 0

0 1 0

1 0 0

1 1 1

Ing. Carlos Eduardo Anchundia Betancourt 15

Este operador lgico relaciona dos proposiciones para formar una nueva,
en la cual la proposicin resultante ser verdadera solamente cuando el
valor de verdad de ambas proposiciones es verdadero, En espaol, la
conjuncin se presenta con los trminos gramaticales: "y", "pero", "mas", y
signos de puntuacin como: la coma, el punto, y el punto y coma.

Si se tienen las proposiciones:

a: Obtengo buenas notas.
b: Apruebo el curso.
La conjuncin entre a y b es:
a ^ b: Obtengo buenas notas y apruebo el curso.

Ing. Carlos Eduardo Anchundia Betancourt 16

Si se tienen las proposiciones:
a: Trabajo mucho.
b: Recibo un bajo sueldo.
La conjuncin entre a y b se puede expresar como:
a ^ b: Trabajo mucho pero recibo un bajo sueldo.

Ing. Carlos Eduardo Anchundia Betancourt 17

Sean a y b proposiciones, la disyuncin entre a y b, representada
simblicamente por a v b, es una nueva proposicin, cuyo valor de verdad
est dado por la siguiente tabla de verdad:

a b a v b

0 0 0

0 1 1

1 0 1

1 1 1

Ing. Carlos Eduardo Anchundia Betancourt 18

Este operador lgico relaciona dos proposiciones para formar una nueva,
en la cual la proposicin resultante ser falsa solamente cuando el valor
de verdad de ambas proposiciones es falso.
En espaol, la disyuncin se presenta con el trmino gramatical " o ".

Si se tienen las proposiciones:

a: Tengo un libro de Trigonometra.
b: Tengo un libro de Algebra.
La disyuncin entre a y b es:
a v b: Tengo un libro de Trigonometra o uno de lgebra.

Como se puede notar en el anterior ejemplo, existe la posibilidad de poseer

ambos libros, razn por la cual esta disyuncin recibe el nombre de
disyuncin inclusiva.
Ing. Carlos Eduardo Anchundia Betancourt 19
Sean a y b proposiciones, la disyuncin exclusiva entre a y b, representada
simblicamente por a v b, es una nueva proposicin, cuyo valor de verdad
est dado por la siguiente tabla de verdad:

a b a v b

0 0 0

0 1 1

1 0 1

1 1 0

Ing. Carlos Eduardo Anchundia Betancourt 20

Este operador lgico relaciona dos proposiciones para formar una nueva,
en la cual la proposicin resultante ser verdadera cuando los valores de
verdad sean diferentes, y ser falsa cuando los valores de verdad sean iguales.

La disyuncin exclusiva a v b puede expresarse como:

( a v b ) ^ ( a ^ b )

En espaol, la disyuncin exclusiva se presenta con el trmino gramatical

" o ", " o slo ", " o solamente ", " o , o ".

Ing. Carlos Eduardo Anchundia Betancourt 21

Si se tienen las proposiciones:
a: Estoy en Quito.
b: Estoy en Guayaquil.
La disyuncin exclusiva entre a y b es:
a v b: O estoy en Quito o estoy en Guayaquil.

En el lenguaje espaol suelen presentarse situaciones que son

mutuamente excluyentes entre s.

La proposicin "o estoy en Quito o estoy en Guayaquil" denota la

imposibilidad de estar fsicamente en Quito y Guayaquil al mismo
tiempo.

Ing. Carlos Eduardo Anchundia Betancourt 22

Sean a y b proposiciones, la condicional entre a y b, representada
simblicamente por a b, es una nueva proposicin, cuyo valor de verdad
est dado por la siguiente tabla de verdad:

a b a b

0 0 1

0 1 1

1 0 0

1 1 1

Ing. Carlos Eduardo Anchundia Betancourt 23

Este operador lgico tambin se denomina enunciacin hipottica o
implicacin.
En la proposicin a b, a es el antecedente, hiptesis o premisa; b es el
consecuente, conclusin o tesis; y la proposicin resultante ser falsa
solamente cuando el valor de verdad del antecedente sea verdadero y el
valor de verdad del consecuente sea falso.

Ing. Carlos Eduardo Anchundia Betancourt 24

Sean a y b proposiciones, la bicondicional entre a y b, representada
simblicamente por a b, es una nueva proposicin, cuyo valor de verdad
est dado por la siguiente tabla de verdad:

a b ab

0 0 1

0 1 0

1 0 0

1 1 1

Ing. Carlos Eduardo Anchundia Betancourt 25

Este operador lgico tambin se denomina doble implicacin. La
proposicin a b ser verdadera cuando los valores de verdad de ambas
proposiciones sean iguales. Tambin se puede observar que la proposicin
a b ser falsa cuando los valores de verdad de ambas proposiciones sean
diferentes.
En espaol la proposicin a b se puede encontrar con los siguientes
trminos gramaticales "a si y slo si b ", " a si y solamente si b ", " a implica b y
b implica a ", " a cuando y slo cuando b ".

Ing. Carlos Eduardo Anchundia Betancourt 26

Combinando los operadores lgicos podemos formar nuevas expresiones.
En trminos formales la negacin de a, deber ser ( a), as como la
conjuncin de a y b sera (a b),etc.
Con el uso de parntesis evitamos la ambigedad, por ejemplo a b podra
significar dos cosas distintas .
Por un lado podra significar: (( a)b) o tambin: ( (ab)).
En la prctica para no usar tantos parntesis se considera que el operador
tiene jerarqua sobre , , , .
As ab significa (( a)b).
En algunos casos se considera , tienen mayor jerarqua que por lo que,
a b c sera (a (bc)) y tambin que tiene prioridad sobre , por lo
que a b c, sera (ab)c.
Es necesario indicar que el operador negacin tiene mayor prioridad que los
dems operadores lgicos.
Ing. Carlos Eduardo Anchundia Betancourt 27
ORDEN OPERADOR NOMBRE
1 Negacin
2 Conjuncin
3 Disyuncin
4 V Disyuncin Exclusiva
5 Condicional
6 Bicondicional

Ing. Carlos Eduardo Anchundia Betancourt 28

Resolver los siguientes ejercicios aplicando las propiedades de los operadores
lgicos y utilizando tablas de verdad.

1.
2. V [ ( ) ]
3.

Ing. Carlos Eduardo Anchundia Betancourt 29

1. Si los valores de verdad resultantes de una
tabla de verdad solamente son verdaderos,
se dice que es una TAUTOLOGA.
2. Si los valores de verdad resultantes de una
tabla de verdad solamente son falsos, se dice
que es una CONTRADICCIN.
3. Si los valores de verdad resultantes de una
tabla de verdad son combinaciones de
verdaderos y falsos, se dice que es una
CONTINGENCIA.
Ing. Carlos Eduardo Anchundia Betancourt 30
Si el clima es propicio y la tierra es frtil entonces la flor crecer
a: El clima es propicio.
b: La tierra es frtil.
c: La flor crecer.

Solucin:

La traduccin del enunciado original es:

(ab)c
Ing. Carlos Eduardo Anchundia Betancourt 31
 :
b: hace sol
1.
2.
3.
4.
5.
6.
7. a

Ing. Carlos Eduardo Anchundia Betancourt 32

Con las siguientes proposiciones:

a: necesita un doctor
b: necesita un abogado
c: tiene un accidente
d: est enfermo
e: es injuriado

Expresar en espaol las siguientes sentencias:

(da)(cb)
a(de)
(ab)c
(ab)(de)
(de)a
Ing. Carlos Eduardo Anchundia Betancourt 33
Ing. Carlos Eduardo Anchundia Betancourt 34