Está en la página 1de 3

16/10/2013

1
UNIDAD NO. V
LÓGICA
SIMBÓLICA
1
Sesión 21
Objetivos:
• Traducir proposiciones del lenguaje natural al simbólico y
viceversa.
• Aplicar las tablas de verdad para determinar el valor de verdad.
• Determinar la validez de un argumento por tablas de verdad
según el condicional.
OBJETIVO: COMPRENDER EN QUE CONSISTE
LA LÓGICA Y EL CÁLCULO PROPOSICIONAL.
2
La lógica simbólica, también
llamada lógica matemática
o logística, comprende
ramas como la lógica
proposicional y la lógica
cuantificional
La lógica proposicional
tiene como objeto primordial
examinar la demostración
de validez de argumentos
tomando como base la
relación de las
proposiciones que en ellos
interviene
La lógica
simbólica
La
lógica
proposic
ional
En la lógia !"#!#$ii#nal
%&$a'#$ ()!"($a" #n 'a$
!"(i$ión (l a"g&'(n*#.
3
No son proposiciones los
enunciados
Interrogativos: “¿Quién es Pedro?”.
Imperativos: “Dame tu mano”.
Admirativos: “¡Qué barbaridad¡”
Proposición (Juicio): Enunciado
declarativo verdadero o falso.
Sólo una proposición puede ser verdadera
o falsa pero no ambas.
Ejemplos:
“ La puerta es roja”.
“ Las flores son rojas”.
“ El petróleo 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 lógia ($ &na i(nia B#"'al
C. 9R(,$!i*a:
4
16/10/2013
2
Ejemplo de formación de la proposición compuesta.
La Lógica es una ciencia formal : Proposición simple.
La Matemática es una ciencia formal: Proposición simple.
La Proposición compuesta se puede escribir de varias formas
con el mismo conectivo. Por ejemplo la Conjunción (y:
a La Lógica es una ciencia formal y la Matemática es una ciencia
formal
a La Lógica es una ciencia formal y la Matemática tambi!n lo es
b La Lógica y la Matemática son ciencias formales
5
Proposición
• Compuesta
(molecular):
consta de dos
o mas
proposiciones
simples
unidas por
conectivos.
Simple
(atómica):
constan de solo
dos términos
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
lógicos: Son términos
de enlace para unir
proposiciones
atómicas y formar
proposiciones
compuestas.
C#n2&nión
EFG...........
HYI
Di$.&nión
E7G...........
HOI
C#n-ii#nal
(":..........
HSiD (n*#n($I
Bi#n-ii#nal
(#:........ HS= .
$#l# $=I
N(gaión
EJG..............
HN# ($
i("*# 5&(I
Ejemplos:
1. Un número es par o impar: Disyunción Exclusiva.
2. El carro es de Pedro o de Maria: Disyunción Inclusiva.
3. El sol es una estrella sí y solo sí tiene luz propia: Bicondicional.
4. No es cierto que el ácido sulfúrico corroa la madera: Negación.
5. Hace calor y esta lloviendo: Conjunción.
K VALORES DE VERDAD DE LOS CONECTIVOS EN
LA PROPOSICIÓN COMPUESTA
N(gaión 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&nión 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&$ión -( la !"#!#$iión ($ 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$.&nión 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&$ión -( la !"#!#$iión ($
7("-a-("a $i al '(n#$ &n (n&nia-#
($ 7("-a-("# . $i a'%#$ $#n Bal$#$ la
!"#!#$iión ($ Bal$a.
E2('!l#: Un a""# ($
(n*"(ga-# !#" (l !a-"( a $&$
<i2#$ Ma"=a . a P(-"# (n
!"#!i(-a-D la !"#!#$iión ($ :
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&$ión -( la !"#!#$iión
($ 7("-a-("a $i &na !"#!#$iión
l# ($ . ($ Bal$a $i a'%a$ $#n
ig&al($.
E('!l#: H O Da"Nin ($
%iól#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 proposición
compuesta es
falsa) otra
posibilidad en
verdadera.
,icondicional
(#:
-& y solo s&)
e*uivalente
etc.
.elación doblemente
condicionada entre
dos enunciados) si
ambos son falsos o
verdaderos entonces
la proposición
verdadera) otra
alternativa es falsa.
Si España no tiene gobierno democrático entonces en España los
hombres carecen de libertad”.