Sie sind auf Seite 1von 10

Unidad I

Lgica
La lgica es la disciplina que trata de los mtodos, modos y formas del
razonamiento humano. Ofrecen reglas y tcnicas para determinar si un
argumento es vlido o no. Una de las metas fundamentales de la lgica es
eliminar las ambigedades del lenguaje ordinario, introduciendo smbolos y
conectivos lgicos en la construccin de proposiciones.
Dado que las proposiciones son la base del razonamiento lgicos, que
consiste en decidir la validez de una idea en base enunciados que
previamente fueron aceptados.

Proposiciones.- una proposicin es toda oracin o enunciado respecto de


la cual se puede decir si es verdadera o falsa, pero no ambas a la vez. Es
decir, toda proposicin est asociada a un valor de verdad, la cual puede ser
verdadera o falsa. As, si una proposicin es verdadera, se dice que su valor
de verdad es V y si es falsa, se dice que su valor de verdad es F.

Nota.- una proposicin es una oracin que tiene un solo valor de verdad en
el transcurso del tiempo o cualquiera que sea el lugar donde se est
utilizando dicha verdad. Ej.:
Determinar cul de las siguientes oraciones son proposiciones:

1) Los gatos hablan Si


2) Maana sale el sol No
3) Cul es tu nombre No
4) 5+4=8 Si
5) El ser humano es el arquitecto de su propio destino
Si
6) El smbolo H2o es del agua Si

Notaciones y conectivos lgicos.- a las proposiciones simples o


genricas (llamadas tambin atmicas) se acostumbran denotar con las
letras minsculas p, q, r. Ej.:

p: los gatos hablan F


q: la tierra es esfrica V
p: los gatos no hablan V
q: la tierra es cuadrada F

A partir de proposiciones simples se pueden generar otras proposiciones


simples o compuestas utilizando ciertas constantes proposicionales
llamados conectivos lgicos, tales como: no, se nota , el conectivo y,
se denota , el conectivo o, se denota V, el conectivo si entonces se
denota , el conectivo si y solo si, se denota , y el conectivo o
excluyente, se denota V.

Operaciones proposicionales.- dada una o dos proposiciones, cuyos


valores de verdad se conocen, las proposiciones entre proposiciones tratan
de generar otras proposiciones y caracterizar la proposicin resultante

Negacin ()
Conjuncin ()
Disyuncin (V)
Implicacin ()
Doble Implicacin ()
Disyuncin Exclusiva (V)

Negacin ().- sea una proposicin P se llama negacin de P a la


proposicin que se tiene con el conectivo No se la nota por No P en
smbolo P.
Su tabla de valor de verdad:

p: los gatos p p
hablan. F
q: Log3 9 = 2 V F V
p: los gatos F V no hablan. V
q: Log3 9 2 F

Conjuncin ().- se llama conjuncin de dos proposiciones p y q a la


proposicin que se tiene con el conectivo Y, y se escribe p q se lee p
y q
Su tabla de valor de verdad:

p q p q p: juan es orientista
V V V
V F F q: pedro es orientista
F V F
F F F p q: juan y pedro son orientista

Nota.- el valor de verdad de la conjuncin es verdadero si ambos valores de


verdad son verdaderos caso contrario es falso.

Disyuncin (v).- la disyuncin de dos proposiciones p y q son llamadas


unidos por medio del conectivo o, se escribe p v q y se lee p o q.
Su tabla de valor de verdad:

p q pvq p: juan es orientista


V V V
V F V q: juan es bloominista
F V V
F F F p v q: juan es orientista o bloominista

Nota.- El valor de verdad de la disyuncin p v q es falso ambos valores de


verdad de dichas proposiciones son falso caso contrario es verdadero.

Implicacin ().- de dos proposiciones p y q a la proposicin que se


obtiene unindolas a travs del conectivo si entonces, se escribe p
q y se lee si p entonces q, donde p es la proposicin llamada
antecedente y q, proposicin consecuente.
Su tabla de valor de verdad:
p q pq
V V V Nota.- el valor de verdad en implicacin
V F V entre p y q es falso si el antecedente es
F V F verdadero y el consecuente falso caso
F F V
contrario el valor de verdad de la
imp0lificacion es verdadero.

Definicin de la implicacin.- p q = p v q

Doble Implicacin ().- se llama doble implicacin o bicondicional de dos


proposiciones a la proposicin se obtiene uniendo por el conectivo si y solo
si , se escribe p q y si lee p si y solo si q.
Su tabla de valor de verdad:
p q p
q Nota.- el valor de verdad de la doble implicacin
V V V entre p y q es verdadero si ambos tienen el mismo
V F F valor de verdad o caso contrario es falso.
F V F
F F V
Definicin de la Doble Implicacin.- p q = (p
q) (p q)

Disyuncin exclusiva ().- se llama disyuncin exclusiva a p y , a la


proposicin que se obtiene por medio del conectivo o excluyente se
escribe p q se lee p excluye a q.
Su tabla de valor de verdad:
p q p
q Nota.- el valor de verdad de la disyuncin exclusiva
V V F entre p y q, es verdadero si los valores de verdad
V F V son diferentes (opuestos), caso contrario es falso.
F V V
F F F
Definicin de la Disyuncin Exclusiva.- p v q =
(p q)

Formulas proposicionales.- una formula proposicional es una


combinacin de proposiciones y conectivos lgicos que simboliza a una
proposiciones compuesta. Ej.:

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

Tabla de valores de verdad.- el valor de verdad de una formula


proposicional depende de los valores de verdad de las proposiciones simple
que la componen, es decir se debe analizar todas las posibles valores de la
proposicin que las componen las cuales se dan en la primera columnas, por
tanto si en una formula proposicional interviene n proposiciones simples
diferentes, entonces en la tabla de valores de verdad habr 2 n
combinaciones diferentes, as para dos proposiciones se tienes (2 2 = 4)
posible combinaciones V y F para tres (23 = 8) combinaciones as:

a) ( p q ) v ( p v q )
p q r (p ( p v q ( p q ) v ( p v
p q) ) q)
V V V F V V V
V V F F V F V
V F V F F V V
V F F F F F F
F V V V V V V
F V F V V V V
F F V V V V V
F F F V V V V

b) ( p q)r
p q r (p (pq)r
p q ( pq) ( p v p ( A ( p q (B AvB
V Vp Vq q)V q) )V ) )
VV V VF FF VV V VF V F V F
VV F FF VV FF F FV F V F F
FV V FV FF F F V F V F V F F
FF F VV VV FV V FV F V F F
F V F V F
F F V V V
F F F V F

Clasificacin de frmulas proposicionales.- las formulas proposicionales


se clasifican de acuerdo al valor de verdad como: la tautologa,
contradiccin y contingencia.

Tautologa.- es una formula proposicional que es verdadera para cualquier


combinacin de proposicin de entrada de dicha frmula.

Contradiccin.- es una formula proposicional que es falso para cualquier


combinacin de entrada de dicha frmula proposicional.

Contingencia.- es una formula proposicional que no es ni tautologa y


contradiccin. Ej.: determinar la siguientes formulas proposicionales.

1) {( p q) v [ p ( p v q)]} v ( p q )

A B

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

A B
p q r r (p () (p v () r A
p q q) r q) () B
V V V F F F F V V F F
V V F F F V F V V F F
V F V F V F F V V F F
V F F F V V F V V F F
F V V V F F V F F V V
F V F V F V V V F V F
F F V V V F F V V F F
F F F V V V F V V F F

Equivalencia lgica.- dos frmulas proposicionales son lgicamente


equivalentes si sus tablas de verdad se expresan de la misma forma Ej.:

1) (p q) ( p v q)
p q (p q) ( p v
p q)
V V F V V
V F F F F
F V V V V
F F V V V

2) (p q ) (p v q) ( p q) ( p v q)
p q (p q) (p v (A ( p q) ( p v q) (C
p q q) B) D)
V V F F V V V F V F
V F F V F V F F F F
F V V F V F F V V V
F F V V V V V F V F

No es lgicamente
equivalente

Algebra de proposiciones.- son operaciones lgicas que realizan en una


formula proposicional aplicado ciertamente aplicando ciertamente reglas
bsicas llamadas leyes lgicas. Es decir como el lgebra bsica donde la
simplificacin de expresiones algebraicas en lgica tambin existe la
necesidad de simplificar formulas proposicionales lgicas a travs de ciertas
equivalencias llamadas leyes lgicas.

Ley Ley
Ley Asociativa Ley De Negacin
Idempotencial Conmutativa
p v (q v r) (p v q) v (p) p
pvpp pvqqvp
r p p F p
ppp pqqp
p (q r) (p q) r v p V
Definicin De
Ley Identidad Ley De Morgan Ley Distributiva
Implicacin
(p v q) p P v (q r) (p v q)
pVp q (p v r)
p q = p v q
pvFp (p q) p v P (q v r) (p q) v
q (p r)
Definicin De Doble Definicin De Disyuncin
Ley De Absorcin
Implicacin Exclusiva
p v (p q) p p (p
v q) p p q = (p q) (p q) pvq= (p q)
p FF pvVV

Simplificar: [(p v q) (q p)] (p q)


[(p v q) (q p)] v (p q) // Def. Imp.
[(p v q) ( (q) v p)] v (p q) // Def. Imp.
[(p v q) (q v p)] v (p q) // ley de negacin
[(q v p) (q v p)] v (p q) // ley conmutativa
[q v (p p)] v (p q) // ley distributiva
[q v F] v (p q) // ley de negacin
[q] v (p q) // ley de identidad
q v (p q) // ley conmutativa
q // ley de absorcin

Circuito lgico.- un circuito es un interruptor puede estar abierto o cerrado


el interruptor est abierto no permite el pase de corriente mientras que
cuando est cerrado si lo permite. Si asociamos una proposicin a cada
interruptor intuitivamente, vemos que en el lgebra de circuitos la V
(verdadero) de tal proposicin indica el interruptor cerrado y F (falso) el
interruptor abierto.

P=
F

P=
V
Circuitos en serie y 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.

Circuito en serie.- la conjuncin de dos proposiciones (p q) est


representada por circuitos lgicos en serie:

p q

p q pvq
V V
V F
F V
F F
Circuito paralelo.- la disyuncin de dos proposiciones (p v q) esta
representacin en un circuito lgico en paralelo:

p
pv
q

p q pvq
v v
v f
f v
f f
Representar mediante crculos lgicos las siguientes proposiciones:

a) (p q) r
[ (p q)] v r // Def. Amp.
(p q) v r // Ley de Neg.

p
q

b) (p q)
(p q) (q p)
(p v q) (q v p)

p q

q p
Inferencia lgica.- se debe entender por inferencia lgica a un
razonamiento bsico a partir de una proposicin llamado premisa, se
obtiene un resultado llamado conclusin de las premisas es decir si las
premisas es decir si las premisas todas son verdaderas, entonces la
conclusin lgicamente ser verdadera, caso contrario si una o ms
premisas es falso la conclusin ser falso.

Sea P: proposicin

P1 P2 P3 Pn => Q

P1
P2
P3
.
.
.
Pn
Q
Reglas de inferencia.- se llama reglas de inferencia universalmente
incorrecta que representan mtodos generales de razonamiento.
Modus Ponendo Pones Modus Tollendo Tollens Modus Tollendo Pones
(PP) (TT) (TP)
pq p q pq pvq pvq
p q p
q q q
p p q p
Silogismo Hipottico Ley de Simplificacin Ley de Conjunto (LC)
(SH) (LS)
pq pq pq p
qr p q q
pr p q

Ley de Adicin (LA) Dilema Constructivo Dilema Destructivo


(DC) (DD)
p pq pq
pvA rt rt
p v r q v t
q v t p v r

Ej.: demostrar (q) demostrar (x = 3 v y <


2)

1) p r 1) x = y v x < y
2) T 2)(x < 3 y = x+1) y C 8
3) q r 3) x = 3 v y = 8
4) p t 4) x y y = x+1
5) p (2,4) (TT) 5)x < 3 x < y
6) r (1,5) (PP) 6) xy (LS) (4)
7) q (3,6) (PP) 7) x<y (TP)
(1,6)
8) x<3 (TT) (5,7)
9) y = x+1 (LS)
(4)
10) (x < 3 y = x+1) (LC)
(8,9)
11) y=8 (PP) (2,10)
12) x=3 (TP) (3,11)
13) x = 3 v y < 2 (LA) (12)
Funciones proposicionales y sus cuantificadores.-

Funciones proposicionales.- una funcin proposicional es una variable


(x), en toda expresin en la que se representa al sujeto u objetos del
pertenecientes de ciertos conjuntos la cual se convierte en proposicin para
cada especificacin de X. es decir, si P8x9 es una expresin que se
convierte en proporcin al sustituir la variable X por un objeto matemtico
se dice que P es una funcin proposicional. As mismo en funciones
proposicionales con ms de una variable Ej.:
P1(x): X es menor que 5
P2(x): X es hermano de juan (Juan, Pedro, Jos, Jess)
P3(x): X es mltiplo de Y

P1(6): 6 es menor que 5 F


P1(3): 3 es menor que 5 V
P2(pedro): pedro es hermano de juan V
P3(2,25): 2 es mltiplo de 25

Cuantificadores.- a partir de funciones proposicionales se puede obtener


proposiciones generales mediante un mtodo, o proceso llamado
cuantificacin para ello introducimos los siguientes smbolos,
(=universal) y (=existencial).

x: para todo X, o cualquiera que sea X


x: existe alguna X tal que, existe al menos un X, tal que sea vocales,
[a,e,i,o,u]

x: X es vocal.
x: x/x es vocal fuerte.

x: P(x) se lee para todo X se verifica P(x)


x/ P(x) se lee: existe alguna X, tal que se verifica P(x)

Negacin de cuantificadores.-

(X: P(x)) = x/ P(x)


(x/P(x)) = x: P(x)

Sea la oracin.-

Todo alumno que estudia aprueba la materia


P(x): alumno que estudia una materia.
q(x): alumno aprueba la materia.

x: P(x) q(x)
(x: P(x) q(x)) = x/ (P(x) q(x))
x/ (P(x) q(x))
x/P(x) q(x)