Logica Matematica

www.monografias.
com
Lgica matemtica
Adrin Domingo Gimnez- adrian_domingo_gimenez@hotmail.com
1. 2. 3. 4. 5. 6. 7.
Las tablas de verdad Las leyes de la lgica enunciativa Tautologas y contradicciones La paridad lgica Leyes de la lgica de predicados Reglas de inferencia La demostracin lgica
Las tablas de verdad.

Existen unas leyes lgicas de gran importancia a partir de las cuales podemos analizar y resolver los problemas ante los que nos hallemos
a)
!gica del opuesto "ean dos elementos# p y q# tales que p es el opuesto de q. "i # entonces# !p $ % % $ &n e'emplo cotidiano ser(a si voy al parque ( )* no voy al parque es falso +
).
,-./ ciertos autores# en vez de poner $ y % para determinar el estado lgico de un elemento# proposicin#0 +que indican# como ya se ha explicado# verdadero o falso)# prefieren poner 1 y 2# respectivamente. "e corresponde# pues
b) !gica del con'untor "ean p y q dos elementos cualesquiera* entonces# ser3 " p " $ $ $
14ara ver traba'os similares o recibir informacin semanal sobre nuevas publicaciones# visite www.monografias.com
www.monografias.com
$ % % % $ % % % % 5e manera que la lgica del con'untor afirma que a no ser que todos elementos sean verdaderos# el enunciado es falso. ,tese que # o# si se prefiere# . E'emplo sea el enunciado q es V es F es F y ; entonces tenemos:
Si yo no como y no almuerzo, es F ,ormalmente# aparecen m3s de dos elementos. ,tese que . c) !gica del disyuntor "ean p y q dos elementos cualesquiera tales que * entonces# ser3 " p " $ $ $ $ % $ % $ $ % % % Es decir# la lgica del disyuntor nos dice que a no ser que todos los elementos sean falsos# el enunciado es verdadero. E'emplo sea el enunciado y ; entonces tenemos:
1. 2. 3. 4.
Si yo como y almuerzo, Si yo como y no almuerzo, Si yo no como y almuerzo,
Si yo no como y no almuerzo, es F porque no hay enunciado verdadero alguno. d) !gica de la condicional "ean p y q dos elementos tales que p produce o implica q* es decir# . Entonces* p " p " $ $ $ $ % % % $ $ % % $ Es decir# si el antecedente +p) es 1 y la consecuencia +q) es 2# entonces# ser3 2* por el contrario# una condicin 2 puede implicar cualquier consecuencia# tanto 1 como 2. 6on un e'emplo lo veremos m3s claro E'emplo sea el enunciado y . ntonces;
1. 2. 3. 4.
Si yo como o almuerzo, Si yo como o no almuerzo, Si yo no como y almuerzo,
q es V porque ambos elementos son ciertos. es V porque un enunciado es cierto. es V porque un enunciado es cierto.
1. 2. 3. 4.
Si hago deporte, se me acelera el pulso: Si hago deporte, no se me acelera el pulso: ; Si no hago deporte, se me acelera el pulso: . ( s verdadero porque el pulso se me puede acelerar debido a otra causa, por e!emplo, que me haya dado un susto". Si no hago deporte, no se me acelera el pulso: . ( s una forma distinta de decir lo anterior: la negacin de la negacin es la afirmacin; , como tenemos un no +7) tanto en el antecedente como en la consecuencia# es como si no los tuvi8ramos# de manera que estamos diciendo lo mismo que en el apartado $ 9si no hago deporte, no se me acelera el pulso:).
e) !gica del coimplicador "ean p y q dos elementos tales que p implica q y q implica p
www.monografias.com
/s( nace el coimplicador coimplicatoria
# que denota bicondicionalidad. ;e aqu( la tabla de lgica " p "
$ $ $ $ % % % $ % % % $ !o que dice el antecedente +p) es una condicin absolutamente necesaria para que ocurra lo que dice el consecuente +q). "i p y q son verdaderos# est3 claro que ser3 tambi8n cierto. 6uando ambos elementos son falsos# ser3 cierto por el principio de la afirmacin como negacin negada . E'emplo de negacin negada 9no voy a no comprar eso# es lo mismo que 9voy a comprar eso# E'emplo de lgica coimplicatoria: $r% al parque si y s&lo si hago los deberes. 'bservamos que y :
1. 2. 3. 4.
$r% al parque si y s&lo si hago los deberes: V ( $r% al parque si y s&lo si no hago los deberes: F (o ir% al parque si y s&lo si hago los deberes: F ( (o ir% al parque si y s&lo si no hago los deberes: V (
" " " "
E'emplo halla el valor de verdad de la e)presi&n . st* claro que . +allamos su tabla de verdad: $ $ $ $ $ % % % % $ % $ % % % $ ,omo en las casillas inferiores a la e)presi&n que estamos buscando, ellas, entonces el valor de verdad es V $ $ $ $ , sale V en todas
,-./ no se confunda el operador 1 con el valor de verdad 1.
Las leyes de la lgica enunciativa.

6onstituyen las formas enunciativas universalmente v3lidas. "on muy importantes en matem3ticas porque a partir de ellas resultan las reglas de inferencia# que sirven para pasar de enunciados verdaderos +1) a nuevos enunciados verdaderos. !as leyes m3s importantes de la lgica enunciativa son a) !ey del tercio excluido Es la ya nombrada lgica del opuesto si p es 1# entonces -p es 2. "e llama .ley del tercio e)cluido# porque un elemento p puede tener tres posibilidades #$ % o &. "i es 1# no puede ser 2* si es 2# no puede ser 1* de manera que excluimos un tercio de posibilidades
b) !ey de la contradiccin 4or extensin del anterior# podemos afirmar que no puede ocurrir a la vez que p sea 1 y 2
c) !ey de la negacin negada +o negacin doble)
www.monografias.com
Es muy usado en el lengua'e cotidiano* responde al ya nombrado principio de 9la negacin de la negacin es la afirmacin<
d)
!ey 5ual de 5e =organ !a 4rimera !ey de 5e =organ afirma que negamos el con'unto de elementos p# q,/ relacionados por el con'untor + ) si y slo si se cumple 7p o 7q
!a "egunda !ey de 5e =organ afirma que negamos el con'unto de elementos p, q,/ relacionados por el disyuntor lgico + ) si y slo si p y q son negados
e) !eyes del modus !as llamadas leyes del modus son bastante sencillas. / continuacin se detallan $. !ey del modus ponens /firma que si se verifican y # se puede deducir . 4or ello# tambi8n se denomina !ey de "eparacin
>. !ey del modus tollens 4or extensin de la !ey de "eparacin# podemos caer en cuenta de que si se verifican 7 y # se puede deducir .Si como, almuerzo; si no almuerzo, no como# ((&tese que si no como, no necesariamente no almuerzo, de manera que no siempre ser0a cierto el enunciado ". ?. !ey del modus barbara En realidad esta ley es una regla de inferencia +permite pasar de enunciados 1 a nuevos enunciados 1) en cadena# ya que sostiene que si se verifican y # entonces .Si me caigo, me hago da1o, y si me hago da1o, lloro; por lo tanto, si me caigo, lloro#. f) 4rimera y "egunda !ey distributiva $. 4rimera !ey distributiva /firma la siguiente obviedad .Si como y (almuerzo o ceno"; entonces bien (como y almuerzo" o bien (como y ceno"#. >. "egunda !ey distributiva 4or extensin de la 4rimera !ey distributiva# deducimos que .Si como o almuerzo y ceno, entonces como o almuerzo y como o ceno#.
g)
!eyes de @dempotencia $. !ey de @dempotencia 6on'untiva "ea el elemento p y el operador * se llama !ey de @dempotencia con'untiva a la expresin
.Si me voy a comprar y me voy a comprar; me voy a comprar# +,tese que esta ley lgica es de uso cotidiano en nuestras vidas si le preguntan que ha hecho hoy y ha hecho poco# tender3 a repetir elementos Ahe ido a por el pan# a la peluquer(a# a clase# me he leido un
www.monografias.com
libro# he ido a comprar pan para comer0A si bien con que se diga una vez basta# como afirma esta ley). >. !ey de @dempotencia 5isyuntiva "ea el elemento p y el operador * se llama !ey de @dempotencia 5isyuntiva a la tautolog(a
.' estudia o estudia# es lo mismo que decir .estudia#. En efecto# * entonces# de ambas leyes obtenemos @dempotencia .rascendida afirma que
. 4or tanto# la !ey de
,-./ ntese que en lgica se suele usar el operador h) !eyes de /bsorcin $. !ey de /bsorcin 6on'untodisyuntiva "ean los elementos p y q* se cumple
en sustitucin del operador
>. !ey de /bsorcin 5isyuntocon'untiva "ean los elementos y * se verifica 5e la unificacin de ambas leyes# alcanzamos la !ey de /bsorcin Beneralizada
Tautologas y contradicciones.
Tautologa' se dice de la proposicin que es cierta para todo valor de verdad de sus variables# por e'emplo En efecto# ley es lo mismo que tautolog(a# de manera que todas las leyes anteriores bien las podemos denominar como tautolog(as. 6onstituyen la base de la demostracin lgica. (ontradicciones' se dice de la proposicin que siempre resulta falsa sea cual fuere el valor de verdad de sus variables# por e'emplo
4ara saber si una proposicin pudiera ser una tautolog(a o una falacia# desarrollamos su tabla de la verdad.
La paridad lgica.
5os proposiciones lgicas son e"uivalentes si y slo si coinciden sus resultados para los mismos valores de verdad. 4or e'emplo# sea la proposicin lgica denotada por y sea tambi8n esta otra# * entonces tenemos # denotada por * obs8rvese que # y por tanto las proposiciones y * dado que son e"uivalentes'
www.monografias.com
Leyes de la lgica de predicados.

"on necesarias para llevar a cabo la formalizacin de teor(as matem3ticas# pues es f3cil percatarse de que no es suficiente con la lgica de enunciados# ya que en un enunciado nos encontramos# habitualmente# con tres entes lgicas su)etos# predicados y partculas cuantificadoras. !as part(culas cuantificadoras m3s importantes son dos y . equivale a 9se verifica n para todo )<* equivale a 9existe algCn ) que verifica n<. E'emplo: escribe en lengua!e l&gico .e)iste alg2n n2mero primo entre 3 y 4#. n efecto, tendremos que usar . / continuacin# tomamos# por e'emplo# la letra p para el predicado 9es un nD primo<. 5enotamos por ) al con'unto de los nCmeros naturales existentes entre $ y E +porque elFlos nCmeroFs primos que buscamos est3n entre $ y E# por lo que pertenecen a ). Entonces# podemos escribirlo as(
E'emplo escribe en lengua!e l&gico .la adici&n de p y q es igual a r en todo el con!unto real#. Si denotamos por que ; tenemos
+,tese que en el primer e'emplo# el predicado es monario$ p+x)# ya que slo tenemos un su'eto# )* sin embargo# en el segundo e'emplo# el predicado es ternario# # ya que tenemos tres su'etos# r# p y q. *+*+* Leyes de la negacin' ;ay cuatro leyes* muy sencillas. "on las siguientes
a) b)
9,o para todo ) se verifica p+x) si y slo si existe algCn ) que no verifica p+x)<
9"i decimos que no existe algCn ) que verifique p+x)# estamos diciendo que para ningCn ) se cumple p+x)<
c)
9,o para todo ) no se cumple p+x) es lo mismo que decir que existe algCn ) que verifica p+x)<
d)
*+*+,
9"i no existe algCn ) que no verifique p+x)# entonces todo ) verifica p+x)<
Leyes de la conmutacin' "ea un predicado binario p+x# y)* se cumplir3n las siguientes leyes conmutativas
www.monografias.com
En efecto# las leyes de la conmutacin son extrapolables a predicados n-arios. E'emplo sea un predicado ternario p+x#y#z)* hallar la ley conmutativa cuando ese predicado se cumple para todo x, para todo y y para todo z.
Reglas de inferencia.
!as reglas de inferencia# ya mencionadas anteriormente grosso modo# son aquellos argumentos basados en tautolog(as que simbolizan formas de razonamiento universalmente correctos. ,os ayudar3n a aunar varias hiptesis y varias tautolog(as durante una demostracin. Existe una lista de reglas de inferencia# si bien no se expone# pues radican en las leyes lgicas ya expuestas. / la hora de demostrar# su uso es frecuente.
La demostracin lgica.
!a demostracin lgica consiste en derivar un enunciado a partir de otros enunciados siguiendo unas reglas de inferencia lgica determinadas. En =atem3ticas# no todos los enunciados son demostrables ya que nos encontramos ante sentencias que no derivan de alguna otra* de esta manera nacen los a-iomas. Entendemos por a-ioma el enunciado supuesto como cierto +1) a los que recurrimos en las demostraciones. &na vez establecidos los axiomas# tenemos varios m8todos de demostracin# a usar segCn convenga *+*+. Demostracin directa+ "ea una tautolog(a tal que escribir# entonces#
# de manera que podemos
# que# en efecto# tambi8n es una tautolog(a. 4or su condicin de tautolog(a# la implicacin ser3 verdadera sea cual fuere el valor de verdad de sus variables. /s( pues# el m8todo de demostracin directa radica en si se conoce el valor de verdad de las variables de la proposicin $ y ste es #$ entonces tambin ser verdadera'
,tese que se trata de demostrar que *+*+/
es verdadera si
lo es# y no que
es verdadera.
Demostracin por contradiccin+ El ob'etivo consiste en alcanzar una contradiccin. !a metodolog(a de la demostracin es parecida a la demostracin directa* la Cnica diferencia consiste en incluir una l(nea con la negacin de la conclusin# . Demostracin por induccin+ Esta modalidad de demostracin lgica permite demostrar la validez de diversos tipos de proposiciones formuladas en t8rminos de una variable# . 4or lo general# . "ea cualquier propiedad de los nCmeros del con'unto natural# principios . 6on'etCrense dos
*+*+0
www.monografias.com
-4rimero !a propiedad -"egundo "i cualquier
es aceptada por el nCmero cero +la tiene). natural tiene # entonces su sucesor +sea
) tambi8n la tiene.
"i se cumplen estos dos principios# tenemos que todo x natural tiene '
567$,8. A L1(A(123 T42R1(56 R7(T1(A
1. 2. 3. 4. 5. 6. 7. 8. 9.
&sando tablas de verdad# demuestre que &sando tablas de verdad# demuestre que &sando tablas de verdad# demuestre que &sando tablas de verdad# demuestre que &sando tabas de verdad# demuestre que &sando tablas de verdad# demuestre que &sando tablas de verdad# demuestre que &sando tablas de verdad# demuestre que &sando tablas de verdad# demuestre que
. . . . . . . . . . . es una contradiccin si el valor de verdad de es
10.&sando tablas de verdad# demuestre que 11.&sando tablas de verdad# demuestre que 12.5emuestre que la expresin lgica
$.
13.5emuestre que la expresin 14."abiendo que 15."abiendo que
es una contradiccin. . .
# halle el valor de verdad de la implicacin # halle el valor de verdad de la proposicin
16.2ormalice la expresin he visto la pel0cula de
l nombre de la rosa, si bien no me he le0do la novela.
17.2ormalice la expresin no se si a la lluvia que est* cayendo le acompa1a nieve o granizo. 18.2ormalice la expresin si no hay calima, ma1ana saldr% a dar una vuelta con mis amigos por la tarde. 19.2ormalice la expresin la l&gica es algo complicada pero agiliza la mente.
www.monografias.com
20.2ormalice la expresin si 9oberto vota a la derecha en las pr&)imas elecciones generales, el candidato a
:residente de la 9ep2blica del :artido .5a ;erecha# tendr* m*s posibilidades de gobernar.
21.2ormalice la expresin via!aremos en tren, en avi&n o en coche. 22.2ormalice la expresin si

<< impone sanciones comerciales a la ,hina, las relaciones entre ambos pa0ses se ver*n gravemente afectadas; si bien no ser* motivo de guerra. >?. Gealice la operacin
>E. Gealice la operacin
>H. Gealice la operacin
>I. Gealice la operacin
>J. Gealice la operacin
>K. Gealice la operacin
>L. Gealice la operacin
?%. Gealice la operacin
www.monografias.com
31.Escriba en lengua'e lgico e)isten n2meros reales comprendidos entre los reales = y 4. 32.Escriba en lengua'e lgico no para todo ) se verifica p()" es lo mismo que decir que e)iste alg2n ) que no
verifica p()".
33.Escriba en lengua'e lgico la adici&n de los naturales 3 y = es >.

?E. 5emuestre que
35."ea un predicado n?ario

para todos los elementos .
con
. ;alle la ley conmutativa cuando ese predicado se cumple
?I. ;alle cu3l de las dos proposiciones siguientes es una tautolog(a y cu3l una contradiccin a) b)
37.&sando la tabla de verdad# demuestre que 38.5emuestre#
a trav8s del m8todo que convenga# la expresin si traba!o y ahorro parte del dinero que he conseguido traba!ando, me comprar% una vivienda, en la cual podr% guardad mi autom&vil. :or ello, si no puedo guardar el coche en mi vivienda, quiere decir que no ahorro.
?L. Exponga un e'emplo de proposicin +con su significado# es decir# traducida al lengua'e habitual) cuyo valor de verdad no sea ni cierto ni falso.
40.;alle#
y preste mucha atencin# el valor de verdad de la expresin ahora mismo estoy mintiendo. MNu8 observaO 567$,8. 85L9(153AR15 . $ % * *
1.
&sando tablas de verdad# demuestre que $ % % $
'bservamos que la e)presi&n
se cumple ya sea .
3 o @; por tanto, es una tautolog0a.
2.
&sando tablas de verdad# demuestre que
$ % % $ 'bservamos que la proposici&n resulta falsa ya sea siempre es @ (es una proposici&n contradicci&n"
: : 3 o @; por tanto, su valor de verdad
3.
www.monografias.com
$ % 'bservamos que la e)presi&n
$ %
$ % se cumple ya sea
* * 3 o @; por tanto, es una tautolog0a.
'bs%rvese que esta demostraci&n radica en la regla de inferencia de la idempotencia: la ley de idempotencia con!untiva afirma que y la ley de idempotencia disyuntiva afirma que ; dado que (es f*cilmente demostrable"; tenemos que .
4.
$ $ $ $ * $ % % % * % $ $ % * % % $ % * 'bservamos que la implicaci&n se cumple sea cual sea el valor de verdad de los elementos de la proposici&n; por consiguiente, es una tautolog0a.
5.
&sando tabas de verdad# demuestre que
. % * % * $ * $ * se cumple sea cual sea el valor de verdad de los
$ $ % % $ $ % % $ % % $ $ % $ % % $ $ $ 'bservamos que la implicaci&n elementos involucrados; es una tautolog0a.
6.
. % * % * % * % * se cumple sea cual sea el valor de verdad de los
$ $ % % % $ % % $ % % $ $ % % % % $ $ % 'bservamos que la implicaci&n elementos involucrados; es una tautolog0a.
7.
. * * * * se cumple sea cual sea el valor de verdad de los
$ $ $ $ $ % % $ % $ $ % % % $ % 'bservamos que la implicaci&n elementos involucrados; es una tautolog0a.
8.
&sando tablas de verdad# demuestre que $ $ $ % % % % $ % % $ %
. * *
www.monografias.com
% %
$ %
$ $
% $
% $
% $
* *
'bservamos que la implicaci&n elementos involucrados; es una tautolog0a.
. se cumple sea cual sea el valor de verdad de los
9.
&sando tablas de verdad# demuestre que $ $ $ $ % % % % $ $ % % $ $ % % $ % $ % $ % $ % $ $ $ $ $ $ % % $ $ $ $ $ $ $ % $ $ $ % $ $ $ %
. $ $ $ $ $ $ $ % * * * * * * * *
'bservamos que la coimplicaci&n los elementos involucrados; es una tautolog0a.
se cumple sea cual sea el valor de verdad de
10.&sando tablas de verdad# demuestre que
$ $ $ $ % % % %
$ $ % % $ $ % %
$ % $ % $ % $ %
$ % % % $ % % %
$ $ $ $ $ % % %
$ $ $ $ $ $ % %
$ $ $ $ $ % $ %
$ $ $ $ $ % % % resulta cierta (obtenemos 3 en todas las
* * * * * * * *
'bservamos que la coimplicaci&n
casillas de la tabla de verdad" ya sean los elementos interventores ciertos o falsos.
11.&sando tablas de verdad# demuestre que

$ $ $ $ % % % % $ $ % % $ $ % % $ $ $ % $ % $ $ $ % $ % $ $ $ % $ $ $ % $ % % $ 'bservamos que la implicaci&n sea el valor de verdad de , $ % $ % $ $ % %
$ $ % % $ $ $ % $ $ % % $ % $ % resulta acertada (obtenemos 3" sea cual (siempre que no sea A, l&gicamente". es una contradiccin si el valor de verdad de es
12.5emuestre que la expresin lgica

$. $ $ $ %
www.monografias.com
% es una contradiccin. % $
13.5emuestre que la expresin

$ %
: : .
14."abiendo que
$ $ $
# halle el valor de verdad de la implicacin
$ $ $ $ $ * $ $ % % $ * $ % $ $ $ * $ $ % % % $ * $ % $ $ % $ * $ % $ % % $ * $ % % $ % $ * $ % % % % $ * 'bservamos que si el valor de verdad de p es 3, entonces la implicaci&n resulta cierta sea cual sea el valor de las dem*s variables. :or tanto, si , entonces es una tautolog0a.
15."abiendo que
# halle el valor de verdad de la proposicin $ $ $ $ % % % %
$ $ $ $ $ % $ % $ $ % % :or consiguiente, la proposici&n (verdadero".
$ : % : $ : % : es una contradicci&n si el valor de verdad del elemento
es 3
16.2ormalice la expresin he visto la pel0cula de
l nombre de la rosa, si bien no me he le0do la novela.
(&tese que el lo mismo decir .he visto la pel0cula de el nombre de la rosa, si bien no me he le0do la novela# que .he visto la pel0cula de l nombre de la rosa y no me he le0do la novela de l nombre de la rosa#:
17.2ormalice la expresin no se si a la lluvia que est* cayendo le acompa1a nieve o granizo.
(&tese que el enunciado es equivalente a este otro: .est* lloviendo y o bien nieva o graniza#:
18.2ormalice la expresin si no hay calima, ma1ana saldr% a dar una vuelta con mis amigos por la tarde.
19.2ormalice la expresin la l&gica es algo complicada pero nos ayuda a agilizar la mente.
www.monografias.com
l enunciado anterior es lo mismo que decir .la l&gica nos ayuda a agilizar la mente#, es decir, .si estudias l&gica, lograr*s agilizar tu mente#:
20.2ormalice la expresin si 9oberto vota a la derecha en las pr&)imas elecciones generales, el candidato a
:residente del :a0s por la derecha tendr* m*s posibilidades de gobernar.
21.2ormalice la expresin via!aremos en tren, en avi&n o en coche.
22.2ormalice la expresin si
<< impone sanciones comerciales a la ,hina, las relaciones entre ambos pa0ses se ver*n gravemente afectadas; si bien no ser* motivo de guerra.
23.Gealice la operacin
(:ara hacer este tipo de operaciones, conviene traducir los elementos e)istentes por enunciados cotidianos; m*s tarde, con la pr*ctica, esto ya no ser* necesario". 'bservamos que y que ; por consiguiente; . :or tanto,
+ ste e!emplo es algo m*s complicado: sea ntonces, significa .si hay parques para animales dom%sticos, no hacen sus necesidades en la v0a p2blica. ntonces, ; por tanto,
Si p y q est*n unidas por el coimplicador y esa proposici&n, tambi%n ser* cierta: es cierta, entonces la proposici&n
www.monografias.com
(8 partir del presente e!ercicio, se da la soluci&n directamente; no obstante, conviene traducir los elementos al lengua!e cotidiano para ver m*s claramente la soluci&n".
31.Escriba en lengua'e lgico e)isten n2meros reales comprendidos entre los reales = y 4.
32.Escriba en lengua'e lgico no para todo ) se verifica p()" es lo mismo que decir que e)iste alg2n ) que no
verifica p()".
www.monografias.com
33.Escriba en lengua'e lgico la adici&n de los naturales 3 y = es >.
?E. 5emuestre que
8l ser una coimplicaci&n, es posible quitar negaciones de ambos lados:
;ado que
, podemos eliminar dos negaciones de la primera proposici&n:
:or tanto,
'bs%rvese que la coimplicaci&n anterior es la :rimera 5ey de la negaci&n l&gica, de manera que la demostraci&n se simplifica (simplemente decimos que es la primera ley de la negaci&n; tambi%n es posible llegar al final de la demostraci&n si se desea".
35."ea un predicado n?ario

para todos los elementos ;ado que , .
con ;
. ;alle la ley conmutativa cuando ese predicado se cumple
www.monografias.com
www.monografias.com
?I. ;alle cu3l de las dos proposiciones siguientes es una tautolog(a y cu3l una contradiccin
$ % * : % $ * : (&tese que a" es la tautolog0a y b" la contradicci&n.
37.&sando la tabla de verdad# demuestre que

* * % % $ % $ % $ % % % * * % %
38.5emuestre# a trav8s del m8todo que convenga# si es cierta la expresin
si traba!o y ahorro parte del dinero que he conseguido traba!ando, me comprar% una vivienda, en la cual podr% guardad mi autom&vil. :or ello, si no puedo guardar el coche en mi vivienda, quiere decir que no ahorro.
+aciendo las tablas de verdad, se obtiene que si el estado l&gico de los elementos es 3, entonces se verifica ; es decir, todas las condiciones han de ser ciertas. 8simismo, si en se tiene $ $ $ % % $ % $
www.monografias.com
% $ % $ % % $ $ :or tanto, dado que para que se verifique todo el enunciado ha de ser todo cierto, se tiene: 1 0 0 0 1 0 1 1 1 1 1 1 1 1 1 (&tese pues que la frase inicial no es siempre cierta: puede ser que s0 que ahorre, pero que por otras circunstancias ocultas no haya podido comprarme una casa; o que se haya roto el coche y est% en el taller,/ ?L. Exponga un e'emplo de proposicin +con su significado# es decir# traducida al lengua'e habitual) cuyo valor de verdad no sea ni cierto ni falso. n el a1o =@>B el meteorito 8pophis colisionar* con el planeta Cierra.
40.;alle#
y preste mucha atencin# el valor de verdad de la expresin ahora mismo estoy mintiendo. MNu8 observaO n la e)presi&n Dahora mismo estoy mintiendoE el an*lisis l&gico es muy complicado, ya que si se dice que se est* mintiendo, entonces en esa frase tambi%n se est* mintiendo, por lo que, en realidad, no est* mintiendo, siendo pues su estado l&gico el . Sin embargo, si est* mintiendo en ese momento, quiere decir que no est* diciendo la verdad, y, por tanto, el estado l&gico ser0a el .
8utor: Adrin Domingo Gimnez adrian_domingo_gimenez@hotmail.com

Logica Matematica

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Logica Matematica

Cargado por

Copyright:

Formatos disponibles

www.monografias.

Las tablas de verdad.

Si yo como y almuerzo, Si yo como y no almuerzo, Si yo no como y almuerzo,

Si yo como o almuerzo, Si yo como o no almuerzo, Si yo no como y almuerzo,

/s( nace el coimplicador coimplicatoria

# que denota bicondicionalidad. ;e aqu( la tabla de lgica " p "

" " " "

,-./ no se confunda el operador 1 con el valor de verdad 1.

Las leyes de la lgica enunciativa.

c) !ey de la negacin negada +o negacin doble)

. 4or tanto# la !ey de

en sustitucin del operador

Leyes de la lgica de predicados.

# de manera que podemos

,tese que se trata de demostrar que *+*+/

-4rimero !a propiedad -"egundo "i cualquier

567$,8. A L1(A(123 T42R1(56 R7(T1(A

. . . . . . . . . . . es una contradiccin si el valor de verdad de es

13.5emuestre que la expresin 14."abiendo que 15."abiendo que

# halle el valor de verdad de la implicacin # halle el valor de verdad de la proposicin

16.2ormalice la expresin he visto la pel0cula de

l nombre de la rosa, si bien no me he le0do la novela.

21.2ormalice la expresin via!aremos en tren, en avi&n o en coche. 22.2ormalice la expresin si

>E. Gealice la operacin

>H. Gealice la operacin

>I. Gealice la operacin

>J. Gealice la operacin

>K. Gealice la operacin

>L. Gealice la operacin

?%. Gealice la operacin

33.Escriba en lengua'e lgico la adici&n de los naturales 3 y = es >.

35."ea un predicado n?ario

. ;alle la ley conmutativa cuando ese predicado se cumple

37.&sando la tabla de verdad# demuestre que 38.5emuestre#

&sando tablas de verdad# demuestre que $ % % $

'bservamos que la e)presi&n

3 o @; por tanto, es una tautolog0a.

&sando tablas de verdad# demuestre que

: : 3 o @; por tanto, su valor de verdad

&sando tablas de verdad# demuestre que

$ % 'bservamos que la e)presi&n

* * 3 o @; por tanto, es una tautolog0a.

&sando tablas de verdad# demuestre que

&sando tabas de verdad# demuestre que

. % * % * $ * $ * se cumple sea cual sea el valor de verdad de los

$ $ % % $ $ % % $ % % $ $ % $ % % $ $ $ 'bservamos que la implicaci&n elementos involucrados; es una tautolog0a.

&sando tablas de verdad# demuestre que

. % * % * % * % * se cumple sea cual sea el valor de verdad de los

$ $ % % % $ % % $ % % $ $ % % % % $ $ % 'bservamos que la implicaci&n elementos involucrados; es una tautolog0a.

&sando tablas de verdad# demuestre que

. * * * * se cumple sea cual sea el valor de verdad de los

$ $ $ $ $ % % $ % $ $ % % % $ % 'bservamos que la implicaci&n elementos involucrados; es una tautolog0a.

&sando tablas de verdad# demuestre que $ $ $ % % % % $ % % $ %

'bservamos que la implicaci&n elementos involucrados; es una tautolog0a.

. se cumple sea cual sea el valor de verdad de los

&sando tablas de verdad# demuestre que $ $ $ $ % % % % $ $ % % $ $ % % $ % $ % $ % $ % $ $ $ $ $ $ % % $ $ $ $ $ $ $ % $ $ $ % $ $ $ %

'bservamos que la coimplicaci&n los elementos involucrados; es una tautolog0a.

se cumple sea cual sea el valor de verdad de

10.&sando tablas de verdad# demuestre que

$ $ $ $ $ % % % resulta cierta (obtenemos 3 en todas las

'bservamos que la coimplicaci&n

casillas de la tabla de verdad" ya sean los elementos interventores ciertos o falsos.

11.&sando tablas de verdad# demuestre que

,tese que se trata de demostrar que ++/