Universidad Central del Ecuador

Facultad de Ciencias Qumicas

Curso de nivelacin

LOGICA
MATEMATICA

Lgica matemtica
Qu es un proposicin?

Valores de verdad de una proposicin

Clasificacin de las proposiciones

Simples

Compuestas

Tablas de verdad

Conectores lgicos

Negacin

Conjuncin

Disyuncin inclusiva

Disyuncin exclusiva

Conjuncin negativa

Condicional

Bicondicional

Tautologa

Contradiccin

Contingencia

Propiedades de los operadores lgicos

Cuantificadores
Qu es un cuantificador?

Tipos de cuantificador
Cuantificador universal

cuantificador existencial

Valor de verdad de los cuantificadores

cuantificador existencial

Cuantificador universal

QU ES UNA PROPOSICIN?

Una proposicin es una oracin que puede ser

verdadera o falsa pero no las dos cosas a la vez.
Ejemplo:
Los nmeros primos son impares

Falso

9 es mltiplo de 3

Verdadero

Un lustro tiene 5 aos

Verdadero

Valores de verdad o de certeza de una

proposicin
1.

Cuando una proposicin es verdades se dice que su valor de verdad es

verdadero y se representa por la V o 1
Ejemplo: 9 es divisor de 27 ;
si es proposicin
p: 9 es divisor de 27
v(p)= V

2.

Cuando una proposicin es falsa se dice que su valor de verdad es falso y

se representa con la F o 0
Ejemplo: Ningn numero primo es par ;
q : Ningn numero primo es par
v(q): F

si es preposicin

Clasificacin de las proposiciones

Simple: una proposicin es simple cuando en ella no aparecen
conectores lgicos. A las proposiciones simples se les nota con letras
minsculas
Ejemplo:
p: 2 es un numero par

~P: 2 no es un numero par

q: un siglo tiene 100 aos

~q: un siglo no tiene 100 aos

r: 9 es mltiplo de 3

~r: 9 no es mltiplo de 3

Compuesta: una proposicin es compuesta cuando en ella

aparecen uno o mas conectores lgicos. A las proposiciones
compuestas se las representa por letras maysculas.
Ejemplo: p: 2 es un numero par
q: un siglo tiene 100 aos
Si 2 es un numero par entones un siglo tiene 100 aos
W(p,q)= Si 2 es un numero par entones un siglo tiene 100
aos
W(p,q)= p q

Tablas de verdad o de certeza de

las proposiciones compuestas
Las proposiciones compuestas toman nombres de
acuerdo al conectivo lgico con el que estn enlazadas
las proposiciones simple adems, el valor de verdad o
de certeza de una proposicin compuesta depende
tambin del valor de verdad de las proposiciones
simple que la forman.

Negacin = o

~p

Lectura: no , no es verdad que

Ejemplo:

p: 8 7
v(p)= Verdadero

~p: 8 7
v(~p) = Falso

Conjuncin: ^

La conjuncin de
las

proposiciones

p^ q

cuando

proposiciones son

verdaderas

p y q es verdadera
las

Lectura: y ; pero ; mas y signos de puntuacin

Ejemplo:

p:8-2=6
p^ q=

b:5+5=20
8-2=6 y 5+5=20

Disyuncin inclusiva: v
La

pvq

disyuncin

inclusiva

es

falsa cuando las

proposiciones
simples

son

falsas

Lectura: o
Ejemplo:

p:10 5

b: 8-4=4

p v q= 10 5 o 8-4=4

Disyuncin exclusiva: v
q

La

disyuncin

exclusiva

es

cuando

proposiciones simples

tienen el mismo valor

de verdad

las

falsa
2

Lectura: , o solo , o solamente, o lo uno o lo otro pero no

ambos.
Ejemplo:
ambos

p:8-2=6

b:5+5=20

p q= o 8-2=6 o 5+5=20 pero no

Conjuncin negativa:
p

pq

es

verdadera

las

simples son falsas.

La conjuncin negativa
cuando

proposiciones

Lectura: ni, ni lo uno ni lo otro

Ejemplo:

p: 14 15

b: 4+6=10

p q= ni 14 15 ni 4+6=10

Condicional:

p : antecedente o hiptesis
q : consecuente o tesis

El condicional es falso

pq

cuando la hiptesis es
verdadera y la tesis es
falsa.

Lectura: si p entonces q, p solo si q, q si p

Ejemplo:

p: 14 15

b: 4+6=10

p q= si 14 15 entonces 4+6=10

Bicondicional:
El

bicondicional

verdadero

es

cuando

ambas proposiciones

simples

mismo

verdad

tiene
valor

el
de

Lectura: p si y solo si, p implica q, a si solamente si b, p

cuando y solo cuando b
Ejemplo:

p: 8*4=4*8 b: 84=48
p

q= 8*4=4*8 si y solo si 84=48

Tautologas
Una proposicin compuesta es una tautologa cuando en la ultima
columna de su tabla de verdad se obtienen nicamente verdad.
Ejemplo: [ (p ^q) v r ] [ ( p v r) ^ (q v r) ]
C

(pv
r)

(q v
r)

C^D

B
E

1 0 1

1 0 0

0 1 1

0 1 0

0 0 1

0 0 0

p q r

A
(p
^q)

B
Av r

1 1 1

1 1 0

Contradiccin
Una proposicin compuesta es una contradiccin cuando es su
ultima columna de su tabla de verdad se obtienen nicamente
falsedades
Ejemplo: (p q) ^ (~q ^ p)
p

~q

(p q)

(~q ^
p)

(p q) ^ (~q ^
p)

Contingenci
a
Una proposicin compuesta es una contingencia cuando es su
ultima columna de su tabla de verdad se obtienen verdades y
falsedades
Ejemplo: [ (p q) r ] p
p

A
(p
q)

B
A r

Bp

Propiedades de los
operadores lgicos
1) Idempotencia
pp p
pp p

2) AsociativA
(pq)r p(qr)
(pq)r p(qr)

3) Conmutatividad
pq qp
pq qp
4) Distributiva
p(qr) (pq)(pr)
p(qr) (pq)(pr)

5) Identidad
p(F) (F)
p(F) p
p(V) p
p(V) (V)

6) Complemento
p(~p) (F)
p(~p) (V)
~(~p) p
~(V) (F)
~(F) (V)
7) Condicionantes
(p q) (~p q)
(p q) (~q ~p)
(p q) (p q) (q p)
(p q) (~p q) (~q p)
8) De Morgan
~(p q) (~p ~q)
~(p q) (~p ~q)
~(p q) (p ~q)
~(p q) (~p ~q)
9) Absorcin
(p0) 0
(p1) 1

10) Doble negacin o involutiva

~( ~p) p

11) Tercero excluido

(p ~p) 1

12) Contradiccin
(p~p) 0
13) Exportacin
((p q)r) (p (q r))
14) Reduccin al
absurdo
(p q) ((p ~q) 0)
15) Contra positiva o
Contra reciproca
(p q) (~q ~p)

16) Negacin
~01
~1o

CUANTIFICADORES
Qu son los cuantificadores?
Es una palabra o frase que indican
cuantos elementos de un conjunto
cumplen con una determinada propiedad.

Cuantificador
universal:
Se llama as a las palabras o frase como las siguientes:
todos, todo, para todos, para todo, para cada, cualquier.

Ejemplo: para todo elemento x que pertenece al

conjunto A, la funcin proposicional p(x) es verdadera

x A, p(x)

Cuantificador existencial:
Se llama as a las palabras o frases como las
siguientes: existe, para algn, existe por lo menos uno,
algn.

Ejemplo: existe al menos un elementos x que pertenece

al conjunto A, talque la funcin proposicional p(x) es
verdadera.

x A, p(x)

Valores de verdad de los cuantificadores

El valor de verdad de la proposicin cuantificador universal es
falsa si al menos un elemento del conjunto A hace falsa la funcin
proposicional p(x) y es verdadera, si todos los elementos de
conjunto A hacen verdadera la funcin proposicional.

Ejemplo: cualquier numero natural x es mayor o igual que cero.

x N , x O

Verdadero

El valor de verdad de la proposicin cuantificador existencial

es verdadera, si al menos un elementos de conjunto A hacen
verdadera la funcin proposicional p(x). y es falsa si ningn
elemento

del

conjunto

hace

verdadera

la

funcin

proposicional p(x)

Ejemplo: existe al menos un numero entero x que hace x+1=2

x Z, X+1=2

Verdadero