16/10/2013

1
UNIDAD NO. V
LGICA
SIMBLICA
1
Sesin 21
Objetivos:
Traducir proposiciones del lenguaje natural al simblico y
viceversa.
Aplicar las tablas de verdad para determinar el valor de verdad.
Determinar la validez de un argumento por tablas de verdad
segn el condicional.
OBJETIVO: COMPRENDER EN QUE CONSISTE
LA LGICA Y EL CLCULO PROPOSICIONAL.
2
La lgica simblica, tambin
llamada lgica matemtica
o logstica, comprende
ramas como la lgica
proposicional y la lgica
cuantificional
La lgica proposicional
tiene como objeto primordial
examinar la demostracin
de validez de argumentos
tomando como base la
relacin de las
proposiciones que en ellos
interviene
La lgica
simblica
La
lgica
proposic
ional
En la lgia !"#!#$ii#nal
%&$a'#$ ()!"($a" #n 'a$
!"(i$in (l a"g&'(n*#.
3
No son proposiciones los
enunciados
Interrogativos: Quin es Pedro?.
Imperativos: Dame tu mano.
Admirativos: Qu barbaridad
Proposicin (Juicio): Enunciado
declarativo verdadero o falso.
Slo una proposicin puede ser verdadera
o falsa pero no ambas.
Ejemplos:
La puerta es roja.
Las flores son rojas.
El petrleo es un hidrocarburo.
EJERCICIOS
+C&,l($ -( l#$ $ig&i(n*($ (n&nia-#$ $#n
!"#!#$ii#n($ . &,l($ n#/
0. Al*# #n la l&1 "#2a
3. C&i-a-# #n (l !(""#
4. +Pa"a 5&6 $i"7( la li%("*a-/
8. 9Mal-i*a $(a 'i $&("*(:
;. El ag&a $( -($#'!#n( (n <i-"g(n# . #)=g(n#
>. P#-('#$ -i$*ing&i"?
@. En la -('#"aia *#-#$ !#-('#$ !a"*ii!a"
A. La lgia ($ &na i(nia B#"'al
C. 9R(,$!i*a:
4
16/10/2013
2
Ejemplo de formacin de la proposicin compuesta.
La Lgica es una ciencia formal : Proposicin simple.
La Matemtica es una ciencia formal: Proposicin simple.
La Proposicin compuesta se puede escribir de varias formas
con el mismo conectivo. Por ejemplo la Conjuncin (y:
a La Lgica es una ciencia formal y la Matemtica es una ciencia
formal
a La Lgica es una ciencia formal y la Matemtica tambi!n lo es
b La Lgica y la Matemtica son ciencias formales
5
Proposicin
Compuesta
(molecular):
consta de dos
o mas
proposiciones
simples
unidas por
conectivos.
Simple
(atmica):
constan de solo
dos trminos
sin conectivos.
EJERCICIOS
+C&,l($ -( la$ $ig&i(n*($ !"#!#$ii#n($ $#n
'#l(&la"($ . &,l($ a*'ia$/
0. Si ($*&-ia'#$ !a"a (l ()a'(nD (n*#n($
a!"#%a"('#$
3. El S#l ($ &na ($*"(lla $= . $#l# $= la Ti(""a ($
&n !lan(*a
4. J&an . Ma"=a $#n n#7i#$
8. La l=n(a ',$ #"*a (n*"( -#$ !&n*#$ ($ la
l=n(a "(*a
;. N# ($ i("*# 5&( (l !l#'# $(a "a-ia*i7#
>. T#-#$ l#$ '(*al($ $( -ila*an #n (l al#"
6
7
Los conectivos
lgicos: Son trminos
de enlace para unir
proposiciones
atmicas y formar
proposiciones
compuestas.
C#n2&nin
EFG...........
HYI
Di$.&nin
E7G...........
HOI
C#n-ii#nal
(":..........
HSiD (n*#n($I
Bi#n-ii#nal
(#:........ HS= .
$#l# $=I
N(gain
EJG..............
HN# ($
i("*# 5&(I
Ejemplos:
1. Un nmero es par o impar: Disyuncin Exclusiva.
2. El carro es de Pedro o de Maria: Disyuncin Inclusiva.
3. El sol es una estrella s y solo s tiene luz propia: Bicondicional.
4. No es cierto que el cido sulfrico corroa la madera: Negacin.
5. Hace calor y esta lloviendo: Conjuncin.
K VALORES DE VERDAD DE LOS CONECTIVOS EN
LA PROPOSICIN COMPUESTA
N(gain EJG: EN#GD Hn# ($ i("*# 5&(ID Hn# ($ (l a$#
5&(ID Hn# #&""( 5&(ID Hn# $&(-( 5&(ID H($ Bal$# 5&(ID (*.
E2('!l#:
HLa La%ana ($ la a!i*al -( C&%aI: V
N# ($ i("*# 5&( la La%ana ($ la a!i*al -( C&%aI: M
N# ($ i("*# 5&( la La%ana n# ($ la a!i*al -( &%aI: V
8
F
16/10/2013
3
C#n2&nin E G: EYGD H!("#ID Ha&n5&(ID Ha-(',$ID (*.
E$*( #n(*i7# n# (nla1a #n(!*#$:
H Ma"# A&"(li# . Ma") $#n Bil$#B#$I
La #nl&$in -( la !"#!#$iin ($ 7("-a-("a $i a'%#$
(n&nia-#$ $#n 7("-a-("#$D -( l# #n*"a"i# ($ Bal$a.
E2('!l#:
Q&(7(-# ($"i%i (l Q&i2#*( . Ca"l#$ Ma") ($"i%i El a!i*al
9
( F )
( Y ) F
( V )
Di$.&nin E7G: S( !"($(n*a &na -i$.&n*i7a (n*"( -#$
(n&nia-#$
10
( V )
. Inl&$i7a EVG:
HO (l &n#I H# (l #*"#I H# a'%a$I.La
#nl&$in -( la !"#!#$iin ($
7("-a-("a $i al '(n#$ &n (n&nia-#
($ 7("-a-("# . $i a'%#$ $#n Bal$#$ la
!"#!#$iin ($ Bal$a.
E2('!l#: Un a""# ($
(n*"(ga-# !#" (l !a-"( a $&$
<i2#$ Ma"=a . a P(-"# (n
!"#!i(-a-D la !"#!#$iin ($ :
H El a""# ($ -( Ma"ia # -(
P(-"#I
L&(g# (l a""# ($ -( Ma"=aD
-( P(-"# # -( a'%#$
E)l&$i7a E$G:
O (l &n# # (l #*"# !("# n#
a'%#$.
La #nl&$in -( la !"#!#$iin
($ 7("-a-("a $i &na !"#!#$iin
l# ($ . ($ Bal$a $i a'%a$ $#n
ig&al($.
E('!l#: H O Da"Nin ($
%il#g# # ($ 'O$i#.I
Ejemplo:
%El sol es un planeta s& y solo s& la 'ierra es el centro del
universo(
11
(F)
(V)
(F)
(F)
(F)
(V)
Condic
ional
(":
Entonces) implica
*ue) etc.
Es el conectivo
utili+ado para
determinar la
valide+ de los
argumentos
complejos.
En este conectivo)
si el antecedente
es verdadero y el
consecuente falso)
la proposicin
compuesta es
falsa) otra
posibilidad en
verdadera.
,icondicional
(#:
-& y solo s&)
e*uivalente
etc.
.elacin doblemente
condicionada entre
dos enunciados) si
ambos son falsos o
verdaderos entonces
la proposicin
verdadera) otra
alternativa es falsa.
Si Espaa no tiene gobierno democrtico entonces en Espaa los
hombres carecen de libertad.