Tema # 1

Lgica
INTRODUCION:
La lgica es la disciplina que trata los mtodos, modos y forma de
razonamiento humano. ofrece reglas y tcnicas para determinar sin
argumento es vlido o no.
Una de las metas fundamentales de la lgica es eliminar la
ambigedad del lenguaje ordinario. introduciendo smbolos y
conectivos lgicos en la construccin de proposiciones.

PROPOSICIONES:
Una proposicin es todo un enunciado respecto del cual se puede
decidir si es verdadero o es falso pero no ambos a la ves es decir
que toda proposicin consta asociado a un valor de verdad la cual
puede ser verdadera o falsa as una proposicin es verdadera si no se
dice que su valor de verdad es v y es falso si su valor es f.
NOTA:
Una proposicin es una oracin que tiene en solo valor de verdad en
el tramo curso del tiempo o cualquiera sea el lugar se est utilizando
dicha proposicin.
Ej.
Determinar cul de las siguientes operaciones son proposiciones
a) los gatos hablan SI
b) maana sale el sol NO
c) cul es tu nombre NO
d) 5 + 4 = 8 SI
e) el ser humano es el arquitecto de su propio destino SI
f) el da tiene 24 horas SI
g) los perros ladran cuando ven a personas desconocidas SI

NOTACIONES Y COLECTIVOS LOGICOS

A las proposiciones simples o genricas (atmicas) se acostumbran
por notar letras minsculas p q r.
Ej.
P: los gatos hablan F
 q:la tierra es esfrica V
P:V
q:F
A partir de proposiciones simples o conjuntos utilizando ciertos
contrastes proposicionales llamados conectivos lgicos tales como el
conectivo NO en smbolo ~ , en conectivo y se denota
. O se denota v si y entonces se denota y o incluye , se
denota v_

OPRERACIONES PROPOSICIONALES
Dada na o dos proposiciones cuyo valor se conoce, las operaciones
entre p r proposicionales tratan de generar otras proposiciones y
caracterizar el resultante a travs de un valor esto son la negacin, la
conjuncin ^, la disyuncin v, implicacin doble impliacin
, disyucion exclisiva

v_

LA NEGACION
Sea una proposicin p se llama negacin de b a las proposiciones
que se obtiene uniendo al conectivo NO se denota por su tabla de
verdad.

P p

v f
f v

q:log 9=2

p.los gatos
CONJUNCION
Se llama conjuncin de 2 p y q a la proposicin que se obtiene
uniendo del conectivo uy se escribe p q y se lee p y q.

p q p q Ej. P: juan es orientista

v v v q: pedro es orientista
 v f v p p: juan y pedro son
orientista
f v f
f f f
NOTA: al valor verdadero dale conclusin es verdadero si ambos
smbolos son verdaderos caso contrario es falso.
DISYUCION

La difusin de 2 proposiciones p qse llaman la proposicin que

tiene uniendo por medio de conectivos O, se escribe p v q y se le
p o q.

p q pvq Ej.
v v v p: juan es orientista V
v f v q: juan es bluminista F
v v v p v q: juan es orientista o bluminista
V
f f f
NOTA: el valor de verdad de la disyuncin P o Q es falso si ambos
valores de verdad de dichas proposiciones es F caso contrario son V.
INPLICACION
Se llama implicacin de 2 proposiciones p y q a proposicin que se
obtiene medio del conectivo SI entonces se escribe p q se
lee si pertenece q. p es la proposicin llama antecedente y q
proposicin consecuente.

P q p q Ej.

v v v q p definicin de
implicacin

v f f v p q =
pvq
f v v v
f f v f
 v
NOTA: el valor de verdad de la P y Q es falso si el antecedente es
verdadero y el consecuente es falso caso contrario el valor de verdad
de implicacin es verdadero.
DOBLE INPLICACION BICONDICIOMAL
Se llama doble implicacin o bicondiciomal de p y q unindola por
medio del conectivo ( si solo si.) se escribe p q , se lee p
si solo si q.

P q p q

V v v f v f
v f f f f v
NOTA: el valor de verdad de la doble implicacin entre P y Q es
verdadera si ambos tienen el mismo valor de verdad caso contrario es
falso.

p q = (p q) (q p)

DISYUCION EXCLUSIVA
Se llama disyuncin de p y q a la proposicin que se obtiene
unindolos por medio de conectivos O incluyentes se escribe p v
q lee p excluyente a q.

p q pvq
v v f
v f v definicin : p v q = ( p
q

f v v
f f f
NOTA: el valor de verdad de la exclusin entre p y q es verdadero si
los valores de verdad son diferentes opuestos, caso contrario es
falso).
FORMULAS PROPOSICIONALES
Una formula proposicional es una combinacin de proposiciones y
conectivos lgicos que simboliza una proposicin compuesta o
molecular.
 Ej.

( p v q) r
a) p (q v r ) ]

(p q r

El valor de verdad de una familia proposicional depende de los

valores de verdad de las proposiciones simples que las componen. es
decir, se analiza todas las posibles combinaciones de valores de
verdad de la proposicin que los copones los cuales se de en la
primera columna. por tonto son una formula proposicional interviene
n proposiciones al nmero de proposicin de tabla de valor de
verdad se calcula con 2n
Ej.

[ ( p q ) v ( p v r) ]

2 = 8

P q r p q p ( p v r v( p vr)

v v v v f v
v v f v f v
v f f f f f
f v v v v v
f v f v v v
f f v v v v
f f f v v v
CLASIFICACION DE FORMULAS PROPOSICIONALES
Las formulas proposicionales (las proposiciones compuestas) se
clasifican, segn sus valores de verdad, en tautologa, contradiccin y
contingencia.
TAUTOLOGIA
Es una formula proposicional que es verdadera para cualquier valor
de las proposiciones que la componen.
CONTRADICCIN
Es una forma proposicional que es falso para cualquier convencin de
entrada de dicha forma proposicional.
CONTINGENCIA
Es una formula proposicional que no es ni tautologa, ni contradiccin.
Determinar por medio de una tabla las sgtes formas proposicionales

{p ^ q) v (p ^ ( p v q)} v_ ( p q

P q p q ( p q) ( p v q) [ p ( p v q ) ] (p q v [ p ( p vq)]

v v f f v v v
v
v f f v f f f
f
f v v f f v f
f
f f v v f v f
f

(p q ( p q ) O v q

f v f
v f f
v f f :contradiccin
v f f

EQUIVALENCIA LOGICA
Son formulas proposicionales son lgicas equivalentes si su tabla de
verdad se expresa de la misma forma.
ALGEBRA DE PROPOSICIONES
Son operaciones lgicas que se realiza en una formula proposicional
aplicando bsica dando la simplificacin de expresin ecografa es
muy importante en lgica tambin la necesidad de simplificar atreves
de ciertas equivalencias llamadas leyes lgicas.

LEYES LOGICAS
1) LEY IDEMPOTENCIA 5) LEYES DE
IDENTIDAD

P P P ; PvP P P
V P ; P v F=P

2) LEY CONMUTATIVA 6) LEY DE MORGAN

Pvq q q ; pv q qvp ( P v q) P q

3)LEY ASOCIATIVA (p
q pv q

p v (q v r) (p v q) v r 7) DEF.
IMPLICACION
p
p v (q v r) q) r p q

pvq
4)LEY DE NEGACION 8) LEY DISTRIBUTIVA

( p) p ; p p f Pv
(q r) (p v q) (p v r)

Pv P V p
( q v r ) ( p q) v ( p r )

9) LEY DE
ABSORCION

P v ( p q p

CIRCUITOS LOGICOS
Puede estar abierto o cerrado. Cuando el interruptor est abierto no
permite el paso de corriente mientras cuando el circuito esta cerrado
si permite que pase corriente si asociamos una proposicin
intuitivamente vemos que en el lgebra de circuito (V) verdadero tal
que proposicin indica el interruptor este cerrado y (F9 falso) el
interruptor abierto.
. P: PROPOSICION
. P: F
P: PASA CORRIENTE
CIRCUITOS EN SERIE PARALELO
Las operaciones proposicionales se pueden representar mediante
circuitos lgicos con todos interruptores como proposicin que la
componen con smbolos en serie y paralelo segn el conectivo lgico
que une las proposiciones.
CIRCUITOS EN SERIE

La conjuncin de dos paralelos proposicionales (p q esta

representado por circuito lgico con serie.

p
q

P q p q

V
v v +

F
v f +

F
f v +

F
f f +

CIRCUITO EN PARALELO
La disyuncin de 2 proposiciones es (p v q)es la representa de en un
circuito lgico en paralelo.

pvq
p q

v
v v +

v
v f +

v
f v +

f
f f +