Unidad 1 Logica

DEPARTAMENTO
DE
MATEMTICA
LGEBRA MODERNA
UNIDAD N
1
LGICA
PROPOSICIONAL
www.algebramoderna.2trweb.com
luis_valdez@arnet.com.ar
lgebra Moderna Lgica Proposicional
Lgica (concepto)
La Lgica es la Ciencia que expone
las leyes, modos y formas de
raciocinio.Aporte de la Lgica a la Matemtica
De acuerdo al concepto anterior,
podemos
asegurar
que
la
simbologa que usa la lgica, ayuda
a la Matemtica en todos sus
razonamientos.-
PROPOSICIN
Una proposicin es toda oracin de la cual se
puede decir que es verdadera o falsa.
Por ejemplo:
V
Hoy es lunes
F
Toda proposicin se la representa con letras
minsculas y preferentemente las ltimas del
abecedario, o sea:
p, q, r, s, t, u
LOS CONECTIVOS LOGICOS

Los conectivos lgicos son smbolos que sirven para
formar proposiciones con otras proposiciones. Estos
son:
-: NO
: Y
: O EN SENTIDO INCLUYENTE
: ENTONCES O IMPLICA
: SI Y SOLO SI
: O EN SENTIDO EXCLUYENTE
PROPOSICIONES SIMPLES Y COMPUESTAS
Una proposicin se dice que es simple o atmica, si

no est afectada por conectivos lgicos. Caso
contrario, se dice que la proposicin es compuesta o
molecular.
SIMPLE: p
PROPOSICIO
N
COMPUESTA: p q
TABLA DE VALORES DE VERDAD

Una tabla de valores de verdad de una proposicin,
es una tabla que se arma con los posibles valores de
verdad de las proposiciones simples que la
componen, con la finalidad de obtener el valor de
verdad de la proposicin dada.Cantidad de valores de verdad debe llevar una
tabla
2
n proposiones
n valores A'n proposiciones 2
O sea que, si el nmero de proposiciones simples

que componen una proposicin es 5, los valores de
verdad sern:
n valores 2 5 32
OPERACIONES PROPOSICIONALES
La Negacin
La negacin de la proposicin p es ~p, cuya tabla
de valores de verdad es la siguiente:
p
~p
Como conclusin podemos decir que la negacin es

verdadera si la proposicin simple es falsa y
viceversa.
La disyuncin o suma lgica

La disyuncin de las proposiciones p y q es la
proposicin pvq, donde p y q se llaman disyuntivos,
cuya tabla de valores de verdad es la siguiente:
pq
p: estudio
q: veo TV
p v q: estudio o veo TV
Como conclusin podemos decir que la disyuncin es

verdadera si al menos uno de los disyuntivos tambin
lo es.-
La conjuncin o producto lgico

La conjuncin de las proposiciones p y q es la
proposicin pq, donde p y q se llaman conjuntivos,
cuya tabla de valores de verdad es la siguiente:
pq
p: estudio
q: veo TV
p q: estudio y veo TV
Como conclusin podemos decir que la conjuncin es

verdadera si ambos conjuntivos tambin lo son.-
El condicional o la implicacin
El condicional de las proposiciones p y q es la
proposicin pq, donde p se llama antecedente y q
consecuente, cuya tabla de valores de verdad es la
siguiente:
p q
pq
p: apruebo
q: te presto el libro
p q: apruebo, entonces te
presto el libro
Como conclusin podemos decir que el condicional es

falso si el antecedente es verdadero y el consecuente
es falso (2 lnea de la tabla).-
Condiciones necesarias y suficientes

p
pq
p condicin SUFICIENTE
para q (q si p)
q condicin NECESARIA
para p (p slo si q)
El bicondicional o la doble implicacin

El bicondicional de las proposiciones p y q es la
proposicin pq, cuya tabla de valores de verdad es la
siguiente:
p q
pq
p: apruebo
q: te presto el libro
p q: solamente si
apruebo, te presto el libro
Como conclusin podemos decir que el bicondicional

es verdadero si los valores de verdad de las
proposiciones simples que la componen son iguales.-
La diferencia simtrica
La diferencia simtrica de las proposiciones p y q es la
proposicin p v q, cuya tabla de valores de verdad es
la siguiente:
pq
p: estudio
q: veo TV
p v q: estudio o bien veo TV
Como conclusin podemos decir que la diferencia

simtrica es verdadera si los valores de verdad de las
proposiciones simples que la componen son distintos.-
Tautologa
Definicin
Se dice que una proposicin es una tautologa, si es
verdadera independientemente de los valores de
verdad de las proposiciones simples que la
componen.Por
ejemplo:
p q (pq) [(pq) (q p)]

V
V
1
F
2
Contradiccin
Definicin
Una proposicin es una contradiccin, si es falsa
independientemente de los valores de verdad de las
proposiciones simples que la componen
Por
ejemplo:
p q (p q) - [(p q) (q p)]
V V
F F
V F
F V
F V
F V
F F
F F
Contingencia
Definicin
Una proposicin es una contingencia si no es ni
verdadera ni falsa independientemente de los valores
de verdad de las proposiciones simples que la
componen
Por
ejemplo:
p q (p q) v [(p q) (q p)]
V V
V F
F V
F F
LEYES LOGICAS
Una ley lgica es una proposicin verdadera.1) Involucin
La negacin de la negacin de una proposicin, es
equivalente a la misma proposicin
-(-p) p
V V F
F F V
2 1
2)
Idempotencia
conjuncin
de
la
La conjuncin de una misma proposicin

equivalente a la misma proposicin.-
(p p) p
es
3)
Idempotencia
disyuncin
de
la
La disyuncin de una misma proposicin

equivalente a la misma proposicin.-
(p p) p
es
4)
Conmutatividad
conjuncin
de
la
La conjuncin es conmutativa
p q
(p q) (q p)
5) Conmutatividad de la
disyuncin
La disyuncin es conmutativa
p q
(p q) (q p)
6) Asociatividad de la
conjuncin
La conjuncin es asociativa
p q r
(p q) r p (q r)
7) Asociatividad de la
disyuncin
La disyuncin es asociativa
p q r
(p q) r p (q r)
8) Ley de
conjuncin)
De
Morgan
(de
la
La negacin de una conjuncin es equivalente a la

disyuncin de las negaciones.-
p q
-(p q) -p -q
V F F F
V F V V
V V V F
V V V V
1 3
9) Ley de
disyuncin)
De
Morgan
(de
la
La negacin de una disyuncin es equivalente a la

conjuncin de las negaciones.-
p q
-(p q) -p -q
V F F F
V F F V
V V F F
V V V V
1 3
10) Distributividad de la conjuncin con respecto a la

disyuncin
La conjuncin es distributiva con respecto a la
disyuncin
p q r (p q) r (p r) (q r)
11) Distributividad de la disyuncin con respecto a la

conjuncin
La disyuncin es distributiva con respecto a la
conjuncin
p q r (p q) r (p r) (q r)
10) Las implicaciones asociadas

q p Recproca
-p -q Contraria
Contrarias
pq
-p -q
-q -p Contra - recproca
Recprocas
Co
s
a
nt
oc
ra
r
- r cp
ecre
- p
a
ro
r
t
ca
n
o
s
C
Recprocas
qp
Contrarias
p q Directa
-q -p
Propiedad
Las
implicaciones
contrarrecprocas
equivalentes.
O
sea
que:
p q p q -q -p
V F V F
V V F F
V F V V
V V V V
1 3
son
11) Negacin de una implicacin

La siguiente proposicin es una tautologa, o sea:
p
(p q) -(p -q)
V V
VV F
V F
VF V
F V
VV F
F F
VV F
Ahora:
-(pq) -[-(p -q) p -q
Pero:
-(pq) -[-(p -q) -(-p q)
Ahora:
(pq) -(p -q)
-p q
12) La doble implicacin y la implicacin

La doble implicacin es equivalente a la conjuncin de la
implicacin y su recproca.
p q (p q) [(pq) (qp)
V
13) La diferencia simtrica y la doble implicacin

La diferencia simtrica es equivalente a la negacin de
la doble implicacin.
p q (p q) - (p q)
V
V F
V V
V V
V F
CIRCUITOS LOGICOS
EN SERIE
p
EN PARALELO
p
pq
pq
Circuito en
serie
pq
p(V)
q(V)
V
p(V)
p(F)
q(F)
q(V)
F
F
p(F)
q(F)
p(V)
Circuito en paralelo
q(V)
pq
p(V)
q(F)
p(F)
q(V
)
p(F)
q(F)
Cmo se trabaja para hacer un circuito lgico de

proposiciones que no son conjunciones, disyunciones o
negaciones?
Por ejemplo, sea
p -(p q) -[(pq)
(qp)]
q
(p -q) (q
p
-p)
-(pq) -(qp)
-q
-p
RAZONAMIENTO DEDUCTIVO
pi , q
pi
q
Premisa
s
Conclusin
Un razonamiento es deductivo s y slo s, las

premisas son la evidencia de la verdad de la
conclusin.-
(p1 p2 p3 p4 p5 p6 p7 p8 ... pn) q
V V
F F
V V
V F
(p1 p2 p3 p4 p5 p6 p7 p8 ... pn)

VERDADERAS
Un razonamiento deductivo se
dice que es VALIDO, si no es
posible
que
de
premisas
VERDADERAS se obtenga una
conclusin FALSA
V
E
R
D
A
D
E
R
A
q
V
E
R
D
A
D
E
R
A
Por ejemplo
p1
p2
p3
p4
::
::
::
q
pq
-r -q
-(-p -t)
t s
-r
V
Reglas de
inferencias
Llamamos reglas de inferencias a todo esquema
vlido de razonamiento.
Algunas de ellas son:

Ley de Modus
Ponens
p (pq) q
p
p
q
q
p q p (pq) q
V V
V F
F V
F F
Ley de Modus
Tolens
-q (pq) -p
p q -q (pq) -p
-q
p
q
-p
V V F F
V F
V F V F
V F
F V F F
V V
F F V V
V V
Ley del silogismo hipottico

(pq) (qr) (pr)
(pq) (q r) (p r)
q r
p
q
qr
pr
Ley del silogismo

disyuntivo
-q (pq) p
p q -q (p q) p
-q
pq
p
V V F F
V F V V
F V F F
F F V F
Por ejemplo:
1
)
pq
1)
-r -q
2) q r de 2 ICR
pq
2
) -(-p -t) 3) p t de 3 LDM e
INV
t
s
3
4) t s
)
-r
4
)
5)
-r
1) pr de 1)2)
LSH
2) p t
3) ts
4)
-r
s
5 1) -p de 1)4)
) LMT
2) p t
3) ts
1) t de 1)2) LSD
t(V)
2) t s
s(V)
s (V)
LA FUNCION PROPOSICIONAL
Una funcin proposicional en una variable x es toda
oracin en la que figura la variable como sujeto u
objeto directo, la cual se convierte en proposicin
para cada especificacin de x.-
Por
ejemplo:
P(x):
impar
P(-4): -4 es impar
(F)
es
P(5): 5 es impar
(V)
P(x,y):x es divisor de
y
P(-2,6):-2 es divisor de 6 (V)
P(10,2):10 es divisor de 2 (F)
UNIVERSAL: x:P(x)
CUANTIFICADORES
EXISTENCIAL: x/P(x)
NEGACION DE UN CUANTIFICADOR UNIVERSAL

Todos los nmeros enteros son
impares
x:x es impar
Negando
el
queda:-x:x
x:P(x)
cuatificador
es
-x:P(x)
impar
No
Todos los nmeros enteros son
impares nmeros enteros que no son
Existen
impares
x/x no es impar
x/-P(x)
-x:P(x)x/-P(x)
NEGACION DE UN CUANTIFICADOR EXISTENCIAL

Existen nmeros enteros que son
impares
x/x es impar
Negando el cuatificador
queda:-x/x es
x/P(x)
-x/P(x)
impar
No
existen los nmeros enteros que son
impares
Todos los nmeros enteros no son
impares
x:x no es impar
x:-P(x)
-x/P(x)x:-P(x)
La negacin de un cuantificador, es equivalente al

otro cuantificador con la negacin de la funcin
proposicional
Por ejemplo:
Cualquiera que sea entero, existe otro que sumado a l
de cero
P(x,y):
x,y/x+y=
x+y=0
0
Su negacin es:
-x,y/x+y=0 x/-(y/x+y=0) x/y:x+y0
-x,y/x+y=0
x/y:x+y0
RAZONAMIENTO INDUCTIVO
Un razonamiento inductivo es aquel que partiendo
de casos
particulares, podemos generalizar, y
demostrar de esta forma una propiedad.Por ejemplo, demostrar la propiedad conmutativa de
la adicin en los nmeros naturales
1+5 =
5+1 = 10+7
7+10
100+32=32+10
0
Si a y b
a+b=b+a
Un teorema es un esquema vlido de

razonamiento donde el conjunto de
premisas se denomina HIPTESES y la
conclusin
En todo tringulo,
la sumaTESIS
de los ngulos interiores
TEOREMA
es igual a dos rectos.
H) Sea
abc
T)
D)
A ac Cortadas por ab cb
a a'
a b c 2R
c c'
a' b c' 2 R
a b c 2R
REDUCCION AL ABSURDO
En todo tringulo, la suma de los ngulos interiores es igual
b
a dos rectos.
A
a
c
H) Sea
abc
T)
D)
a b c 2R
a
H T -T -H
a b c 2R
c c'
a a'
a' b c' 2 R
A ac Cortadas por ab cb
ABSURSDO!
a b c a b c 180 0
IDEA Y REALIZACION
Prof. LUIS ERNESTO VALDEZ
FIN
Departamento de Matemtica
Instituto de Estudios Superiores de Andalgal
2008 - 2014

Unidad 1 Logica

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Unidad 1 Logica

Загружено:

Авторское право:

Доступные форматы

DEPARTAMENTO

lgebra Moderna Lgica Proposicional

lgebra Moderna Lgica Proposicional

lgebra Moderna Lgica Proposicional

LOS CONECTIVOS LOGICOS

lgebra Moderna Lgica Proposicional

PROPOSICIONES SIMPLES Y COMPUESTAS

Una proposicin se dice que es simple o atmica, si

lgebra Moderna Lgica Proposicional

TABLA DE VALORES DE VERDAD

n valores A'n proposiciones 2

O sea que, si el nmero de proposiciones simples

lgebra Moderna Lgica Proposicional

Como conclusin podemos decir que la negacin es

lgebra Moderna Lgica Proposicional

La disyuncin o suma lgica

Como conclusin podemos decir que la disyuncin es

lgebra Moderna Lgica Proposicional

La conjuncin o producto lgico

Como conclusin podemos decir que la conjuncin es

lgebra Moderna Lgica Proposicional

Como conclusin podemos decir que el condicional es

lgebra Moderna Lgica Proposicional

Condiciones necesarias y suficientes

lgebra Moderna Lgica Proposicional

El bicondicional o la doble implicacin

Como conclusin podemos decir que el bicondicional

lgebra Moderna Lgica Proposicional

Como conclusin podemos decir que la diferencia

lgebra Moderna Lgica Proposicional

p q (pq) [(pq) (q p)]

lgebra Moderna Lgica Proposicional

lgebra Moderna Lgica Proposicional

lgebra Moderna Lgica Proposicional

lgebra Moderna Lgica Proposicional

La conjuncin de una misma proposicin

lgebra Moderna Lgica Proposicional

La disyuncin de una misma proposicin

lgebra Moderna Lgica Proposicional

lgebra Moderna Lgica Proposicional

lgebra Moderna Lgica Proposicional

lgebra Moderna Lgica Proposicional

lgebra Moderna Lgica Proposicional

La negacin de una conjuncin es equivalente a la

lgebra Moderna Lgica Proposicional

La negacin de una disyuncin es equivalente a la

lgebra Moderna Lgica Proposicional

10) Distributividad de la conjuncin con respecto a la

lgebra Moderna Lgica Proposicional

11) Distributividad de la disyuncin con respecto a la

lgebra Moderna Lgica Proposicional

10) Las implicaciones asociadas

lgebra Moderna Lgica Proposicional

lgebra Moderna Lgica Proposicional

11) Negacin de una implicacin

-(pq) -[-(p -q) p -q

-(pq) -[-(p -q) -(-p q)

(pq) -(p -q)

lgebra Moderna Lgica Proposicional

12) La doble implicacin y la implicacin

lgebra Moderna Lgica Proposicional

13) La diferencia simtrica y la doble implicacin

lgebra Moderna Lgica Proposicional