MATEMÁTICA BÁSICA

UNIDAD I
LÓGICA MATEMÁTICA
 TABLA DE EQUIVALENCIAS LÓGICAS
~ ( ~p)  p
1 LEY DE INVOLUCIÓN

ppp
2 LEY DE IDEMPOTENCIA pp p

p q  qp
3 LEY CONMUTATIVA p q qp

(p  q )  r  p  ( q  r )
4 LEY ASOCIATIVA (pq)rp(qr)

pq ~pq
5 LEY CONDICIONAL ~(pq) p~q
 p  q  ( p  q )  ( ~p  ~ q )
6 LEY BICONDICIONAL
~( p  q )  ( p  ~ q )  ( ~ p  q )
p  ( q  r)  ( p  q )  ( p r)
p  ( q  r )  ( p  q )  ( p  r)
7 LEY DISTRIBUTIVA
( p  (q  r))  ( p  q )  ( p  r )
( p  (q  r) )  ( p  q )  ( p  r )
LEY pq~q~p
8
CONTRARECÍPROCA pq  ~q~p
~ ( p  q )  ~p  ~ q
9 LEY DE MORGAN
~(pq)  ~p~q
p(pq)p
p(pq)p
10 LEY DE ABSORCION
p(~pq) pq
p(~pq)  pq
p Tp, p C p
11 ELEMENTO NEUTRO
pT T, p CC
TAUTOLOGIA Y p~p  T
12
CONTRADICCIÓN p~p  C
 Implicancias Lógicas
Modus Ponens [(p  q)  p] q
Modus Tollens [(p  q)  ~q] ~p
Silogismo Hipotético [(p  q) (q  r)](p  r)
Silogismo Disyuntivo [(pq)  ~p] q
[(pq)  ~q]p
Ley de Simplificación pqq
pqp
Ley de Adición p pq
q  pq
 FUNCIÓN PROPOSICIONAL

Es un enunciado abierto que tiene una o más variables en

su definición. No es una proposición lógica, se convierte en
proposición cuando se le asigna un valor particular a la
variable o variables que definen la función.
Ejemplos:
p(x) : x es alumno de la Universidad de Illinois
q(x) : x2 + 3x > 0 (Si x= 3, q(x) es V, si x=0 ,q(x) es F).
p(x, y) : x es hermano de y
q(x, y) : x2 +y2 = 2
r(x, y, z) : x2 +y2 +z =1

Una proposición que contiene variables se llama proposición abierta y

una proposición que no contiene variables se llama proposición
concreta.
 Cuantificadores
Son operadores lógicos que transforman una proposición abierta
en concreta.

CUANTIFICADOR UNIVERSAL
Simbolizado por  que se lee : “ para todo ”
La expresión para todo, antepuesta a una función proposicional define
al cuantificador universal y se denota por  x / p(x),

CUANTIFICADOR EXISTENCIAL
Simbolizado por  que se lee : “ existe ”
La expresión existe, antepuesta a una función proposicional define al
cuantificador existencial expresado por  x / p(x),
NEGACIÓN DE LOS CUANTIFICADORES
La negación de los cuantificadores es la siguiente:

El universal:  [  x  A, p(x)]  x  A/  p(x)

El existencial:  [  x A , p(x)]   x A /  p(x)

Ejemplo. Escribe la negación de las siguientes proposiciones.
 Todos los gatos ladran. Existen gatos que no ladran.

 Algunos profesores son jóvenes. Todos los profesores no son

jóvenes.
 Algunos honestos son impuntuales.Todo honesto es puntual.

 Ningún peruano es francés. Algunos peruanos son

franceses
 Ningún estudioso es inculto. Algunos estudiosos son
incultos.
 Todos los hombres son fieles. Algunos hombres son infieles
Ejemplos:
Determinar el valor de verdad de las siguientes proposiciones:

a)  x  R / x2 + 2x = 3 es V , pues se cumple para

x=1

b)  x  R / x2 + 2x >3 , es F pues falla para x = 0.

 NEGACIÓN DE PROPOSICIONES
CUANTIFICADAS
i) Negación de proposiciones cuantificadas
universalmente
~ (  x / p(x) )   x / ~ p(x)
ii) Negación de proposiciones cuantificadas
existencialmente

~ (  x / p(x) )   x / ~ p(x)
 Ejemplos:

1. Simbolizar:
a) Todo hombre es un ser humano

b) Existen animales que son invertebrados

c) Todo los números enteros tienen raíces enteras

2. Negar las siguientes proposiciones

a)  x/ x  A  x  B

b)  x / x  A  x  B

c)  x / x < 4  x2 = 16

d)  x  A, x  3
4. En la siguiente tabla, hallar los valores de verdad de la
proposición compuesta:

p q (p  q)  (p  q)

V V
V F
F V
F F