UNIVERSIDAD CENTRAL DEL

ECUADOR
FACULTAD DE CIENCIAS
ECONOMICAS
TICS
TEMA: LOGICA MATEMATICA

 INTEGRANTES: Daniel Gaona, Nicole Viteri

 AULA: 34
 FECHA: 20/10/2015
 Toda proposicion tiene que tener un valor de veracidad
el cual puede ser verdadero o falso

Proposiciones abiertas o predicados PROPOSICIONES

oracion interrogativa

No pueden ser proposiciones: oracion exclamativa

oracion imperativa

A una proposicion abierta se le conoce

tambien predicado y se representa por:
p(x),q(x),r(x,y), etc.
Donde (x) y (y) representan variables

Ejemplo:
p(x): Las computadoras se ...
(x)= programan
= VERDADERO
OPERADORES LOGICOS Y TABLAS DE VERDAD (NEGACION)

TABLA DE VERDAD La negación de una proposición es verdadera cuando

dicha proposición es falsa, y viceversa.

EJEMPLO:
a ˜a a: la semana tiene siete dias
V F -a: la semana no tiene siete dias

F V
 EJEMPLO:
a: Hoy es Lunes Es un conector lógico cuyo valor de la verdad
b: esta lloviendo. resulta cierto
a^b sólo si ambas proposiciones son ciertas,
y en falso de cualquier otra forma.
LA CONJUNCIÓN "^"

La conjuncion es verdadera solo

TABLA DE VERDAD
si las dos proposiciones son verdaderas.

a b a^b
V V V
V F F
F V F
F F F
 EJEMPLO:
a: Hoy es martes
b: esta lloviendo
avb
LA DISYUNCIÓN "v" TABLA DE VERDAD

La disyuncion es falsa solo si ambas

proposiciones son falsas

a b avb
V V V
V F V
F V V
F F F

Una contradiccion es una proposicion
cuya tabla resulta fal
Una tautologia es una proposicion
TAUTOLOGIAS, CONTRADICCIONES Y
cuya tabla
EQUIVALENCIAS.
resulta verdadera en cada renglon.

a -a av-a Dos proposiciones son equivalentes cuando, para cada renglón de sus a -a av-a
respectivas tablas de verdad, tiene los mismos valores de verdad.
V F F
V F V

F V F
F V V

SON
EQUIVALENTES
a b c bvc av(bvc) avb (avb)vc

V V V V V V V

V V F V V V V

V F V V V V V

V F F F V V V

F V V V V V V

F V F V V V V

F F V V V F V

F F F F F F F
 p^ (pvq) <-> p v (p^q) ABSORCION

p^F <-> F pv V <-> V ELEMENTO ABSORBENTE DOBLE NEGACION -(-p) -> p

pvp <->p p^p <-> p IDEMPOTENCIA LEYES BASICAS DE LA LOGICA CONMUTATIVIDAD pvq <-> qvp p^q <-> q^p

pvF <-> p p^V <-> p IDENTIDAD ASOCIATIVIDAD (pvq) v r <-> p v (qvr) (p^q)^r <-> p ^ (q^r)

p^(qvr) <-> (p^q) v (p^r) p v (q^r) <-> (pvq) ^ (pvr) DISTRIBUTIVIDAD

p -p NEGACIÓN
Otra forma de representar los valores V y F
0 1
NOTACION BOOLEANA es utilizando 1 y 0 respectivamente.
1 0 0 = Falso y 1 = Verdadero
CONJUNCION

DISYUNCION

p q p^q

0 0 0

0 1 0
p q pvq
1 0 0

1 1 1 0 0 0

0 1 1

1 0 1

1 1 1
EJEMPLO:

Construir una tabla de verdad para -q(x,y)^[-p(x) v q(x,y)]

p q -p -pvq -q -q^(-pvq)
V V F V F F
V F F F V F
F V V V F F
F F V V V V
Construir una tabla de verdad para: (pvq) ^ (-pvr)

p q r -p pvq -pvr (pvq)^(-pvr)

V V V F V V V
V V F F V F F
V F V F V V V
V F F F V F F
F V V V V V V
F V F V V V V
F F V V F V F
F F F V F V F
EJEMPLO :

Sustituyendo los valores de verdad se obtiene:

-p v (q^-r)
-F v (F^-V)
V v (F^F)
VvF Usando tabla de
V verdad

p q r -p pvq -pvr (pvq)^(-pvr)

V V V F V V V
V V F F V F F
V F V F V V V
V F F F V F F
F V V V V V V
F V F V V V V
F F V V F V F
F F F V F V F
Se tiene que para (-p^-q)

p q -p -q -p^-q

V V F F F

V F F V F

F V V F F

F F V V V