ALGEBRA I

CAPITULO I
LOGICA .

Ing. Marcelo Arancibia

U.S.F.X.CH. FAC. TECNOLOGA

REF.: Facultad de Ciencias Fsicas y Matemticas

Universidad de Concepcin 1
 Lgica

La lgica es la herramienta con que

se construye el edificio llamado Matemtica

Conceptos primitivos
Los valores de verdad VERDADERO (V ) y FALSO (F ) son los conceptos
primitivos de la lgica.

Proposicin

Una proposicin es una sentencia (expresin) sujeta a un valor de verdad.

Usualmente se denotan por letras minsculas p, q, r, s, etc.

2
 Lgica

Ejemplos
Cules de las siguientes afirmaciones son proposiciones ?
Es esto verdadero ?
Hoy es martes
10 es un nmero primo
El sol y el cielo
Todos los alumnos de este curso son estudiosos
La realidad de la vida

3
 Lgica

Conectivos lgicos
Un conectivo lgico es una operacin que nos permite obtener nuevas
proposiciones a partir de otras dadas. Los conectivos bsicos son:

negacin () (no)

conjuncin () (y)

disyuncin () (o)

condicional () (si. . . , entonces)

bicondicional () (si y slo si)

4
 Lgica

Tipos de proposiciones
Las proposiciones se clasifican en simples y compuestas, vale decir, las
que no incluyen conectivos lgicos, y las que s los incluyen.

Valores posibles de dos proposiciones dadas

p q
V V
V F
F V
F F

5
 Lgica

Negacin ()
Dada una proposicin p, se llama negacin de p, y se escribe p, a la
proposicin no p. Esto significa que p es V si p es F , y p es F si p
es V .

TABLA DE VERDAD
p p
V F
F V

6
 Lgica

Conjuncin ()
Dadas dos proposiciones p y q, la conjuncin de ellas es la proposicin
p y q, la cual se escribe p q. La proposicin p q es V si ambas lo son,
y p q es F si al menos una de ellas lo es.

TABLA DE VERDAD
p q pq
V V V
V F F
F V F
F F F

7
 Lgica

Disyuncin ()
Dadas dos proposiciones p y q, la disyuncin de ellas es la proposicin p
o q, la cual se escribe p q. La proposicin p q es V si al menos una
de ellas lo es, y p q es F si ambas lo son.

TABLA DE VERDAD
p q pq
V V V
V F V
F V V
F F F

8
 Lgica

Condicional ()
Dadas dos proposiciones p y q, la condicional de ellas es la proposicin
si p entonces q, la cual se escribe p q. Aqu, p se llama antecedente
y q consecuente. Tambin, p q se lee p es condicin suficiente para
q, o bien q es condicin necesaria para p. La proposicin p q es F
slo si p es V y q es F .

TABLA DE VERDAD
p q pq
V V V
V F F
F V V
F F V

9
 Lgica

Bicondicional ()
Dadas dos proposiciones p y q, la bicondicional de ellas es la proposicin
p si y slo si q, la cual se escribe p q. Tambin, p q se lee p es
condicin necesaria y suficiente para q. La proposicin p q es V slo
si ambas proposiciones tienen el mismo valor de verdad.

TABLA DE VERDAD
p q pq
V V V
V F F
F V F
F F V

10
 Lgica

Definiciones varias
Una proposicin se dice una:

TAUTOLOGIA (o TEOREMA LOGICO), si ella es siempre V ,

cualesquiera sean los valores de verdad de las proposiciones
simples que la componen, es decir, si su tabla de verdad slo
contiene valores V .

CONTRADICCION, si ella es siempre F .

CONTINGENCIA, si no es tautologa ni contradiccin.

11
 Lgica

Implicacin lgica
Dadas dos proposiciones p y q, se dice que p implica lgicamente q, si la
proposicin p q es siempre verdadera. En tal caso se escribe p q y
se lee p implica q.

Equivalencia lgica
Dadas dos proposiciones p y q, se dice que ellas son lgicamente
equivalentes, si la proposicin p q es siempre verdadera. En tal caso
se escribe p q y se lee p es equivalente a q.

12
Lgica

Algunas tautologas importantes

( p) p (doble negacin)
pq qp (conmutatividad de )
pq qp (conmutatividad de )
pq qp (conmutatividad de )
p (q r) (p q) r (asociatividad de )
p (q r) (p q) r (asociatividad de )
p (q r) (p q) r (asociatividad de )

13
Lgica

Algunas tautologas importantes (continuacin)

p (q r) (p q) (p r)
(distributividad de con respecto a )
p (q r) (p q) (p r)
(distributividad de con respecto a )
(p q) pq (Ley de De Morgan para )
(p q) pq (Ley de De Morgan para )
(p q) p q
pq q p (contrarecproca)
pq p q
pq (p q) (q p)
pq ( p q) (p q)
14
 Lgica

Funcin proposicional
Se llama funcin proposicional (o enunciado abierto) a una expresin p
que contiene una o ms variables, y tal que ella se convierte en una
proposicin lgica cuando se le asignan valores especficos a dichas
variables.

Conjunto de validez
Se llama Conjunto de validez de una funcin proposicional p, y se denota
por Vp , al conjunto de valores (o n-uplas de valores) para los cuales dicha
funcin es verdadera.

Ejercicio Analice la siguiente proposicin:

Si un nmero natural es divisible por dos y tres, entonces es divisible por

seis.
15
Lgica

Cuantificadores lgicos

Para indicar que una funcin proposicional es verdadera para

cualquier elemento de un determinado conjunto A se usa el
smbolo , el cual se llama cuantificador universal.
se lee: para todo, cualquiera sea, para cada.
Para indicar que una funcin proposicional es verdadera para
algunos elementos de un determinado conjunto A se usa el
smbolo , el cual se llama cuantificador existencial.
se lee: existe (un), existe al menos un, existe algn.
Para indicar que una funcin proposicional es verdadera para un
nico elemento de un determinado conjunto A se usa el smbolo !.
! se lee: existe un nico.

16
 Lgica

Ms sobre cuantificadores lgicos

Sean A un conjunto y p una funcin proposicional que depende de una
variable x (en tal caso se escribe p(x)).

x A : p(x) se lee para todo x en A, p(x) es verdadera.

x A : p(x) se lee existe x en A tal que p(x) es verdadera.

Negaciones importantes

( x A : p(x) ) ( x A : p(x) )
( x A : p(x) ) ( x A : p(x) )
( ! x A : p(x) )
( x A : p(x) ) ( x A, y A, x 6= y : p(x) p(y) )

17
 Lgica

Teoremas y demostraciones
Un teorema es una proposicin verdadera de cierta relevancia para una
teora y cuya verdad debe ser demostrada.

Algunas estructuras de teoremas

Implicacin: Si (hiptesis), entonces (tesis) (H T )

Mtodos de demostracin:
Mtodo directo.
Mtodos indirectos:
contra-recproca ( T H).
reduccin al absurdo (H T ) (p p) (contradiccin).

18
 Lgica

Equivalencia: (Hiptesis) si y slo si (tesis) (H T )

Mtodo de demostracin: (H T ) (T H)
Equivalencia de n proposiciones:
P1 P2 Pn , n > 2
Mtodos de demostracin
Directo: P1 P2 y P2 P3 , etc.
Usando transitividad: [(Pi Pj ) (Pj Pk )] (Pi Pk ).
(e.g., mostrar que Pi Pi+1 , i = 1, ...n 1, y Pn P1 ).
Discreto: n N : p(n)
Mtodo de demostracin: Induccin Matemtica.

La falsedad de una proposicin se puede demostrar usando un contra-

ejemplo.

19
 Lgica

Ejemplos de demostracin:
Proposicin 1: Sea a N. Si a es par entonces a2 es par.
Dem. (directa) Hiptesis: a es par
entonces a = 2n para algn n N,
entonces a2 = (2n)2 = 4n2 = 2(2n2 ),
entonces a2 es par (pues 2n2 N),  (Q.E.D.)
Proposicin 2: Sea a N. Si a2 es par entonces a es par.
Dem. (contradiccin) se supone H T : a2 es par y a es impar.
entonces a = 2n + 1 para algn n N,
entonces a2 = (2n + 1)2 = 4n2 + 4n + 1,
entonces a2 es impar (por Prop. 1 y suma de nros. pares es par),
entonces a2 par y a2 impar (p p), CONTRADICCION ()

20
SIMPLIFICACIN DE FRMULAS PROPOSICIONALES

Las leyes anteriores permiten simplificar frmulas

complejas, hasta llevarlas a otras ms sencillas y
equivalentes a la original, es decir, con menos
variables proposicionales y/o conectivos; como se
puede ver en los siguientes ejemplos:
Ejemplo 1

Simplificar: p (q q)
Como q q V por la ley de negacin.
Lugo se tiene:
p (q q) p V

p segn la ley de identidad

Ejemplo 2:

Aplicando las leyes de algebra de proposiciones,

simplificar las siguiente expresin:

(pq)p(pp)(qp) Ley Distributiva

F(qp) Ley de Complementacin
(qp) Ley de Identidad
Ejemplo 3:

Aplicando las leyes de algebra de proposiciones, simplificar las siguiente

expresin:
(pq) (qp) (pq) (qp) Ley de Morgan
(pq) (pq) Ley de Conmutativa
p(qq) Ley Distributiva
pF Ley de Complementacin
p Ley de Identidad
CIRCUITOS LGICOS
Un circuito lgico es un dispositivo que
tienen una o ms entradas y exactamente
una salida. En cada instante cada entrada
tiene un valor, F V (0 1); estos datos son
procesados por el circuito para dar un valor
en su salida, F o V (0 1).

Los valores 0 y 1 pueden representar

ciertas situaciones fsicas como, por
ejemplo, un voltaje nulo y no nulo en un
conductor.
CIRCUITOS LGICOS

Si p es V, se tiene:
Y pasa la corriente.
p=V

Si p es F, se tiene:
Y NO pasa la corriente.
p=F
CIRCUITOS EN SERIE Y EN PARALELO
Las operaciones proposicionales se pueden representar mediante circuitos
lgicos con tantos interruptores como proposiciones que la componen,
combinados en serie o en paralelo segn el conectivo lgico que une las
proposiciones.

EN SERIE:

p q
p y q conectados en serie
Se permite el paso de corriente. nicamente si p y q son V (o estn cerrados)

p q pq
V V V Se obtiene la tabla de
verdad de la CONJUNCIN
V F F
F V F
F F F
EN PARALELO
La disyuncin de dos proposiciones (p v q) esta representada por un circuito
lgico en paralelo.

q
p y q conectados en paralelo

p q pvq
V V V NO permite el paso de
V F V corriente nicamente si p y q
F V V son F (Falsos) o estn abiertos.

F F F
Ejemplos:
Representar el circuito lgico de p q
Como p q p v q

q
Ejemplos:
Representar el circuito lgico de p q
Como p q (p q) (q p)
(p v q) (q v p)

p q

q p
GRACIAS...