LOGICA

U S MP

Pgina 1






USMP
UNIVERSIDAD DE ESTUDIOS
SAN MARTN DE PORRES GENERALES

FILIAL NORTE









MATEMTICA


LGICA


CICLO DE VERANO 2011-0












LOGICA


U S MP

Pgina 2



PREMBULO
Hace ms de veinticuatro siglos, se difundieron por primera vez las nociones de
lgica, siendo el abanderado el filsofo griego Aristteles (384-322 A.C.), quien
titul a su obra Organon que en nuestro idioma significa instrumento.
Precisamente, la lgica es un instrumento que nos ayuda a distinguir un
razonamiento correcto del incorrecto y podramos afirmar que la lgica es la
brjula de las matemticas. Toda demostracin matemtica lleva consigo un
razonamiento lgico. En dicha obra Aristteles enunci los silogismos as
como las leyes para un correcto razonamiento silogstico.
Aquellos conocimientos iniciado por Aristteles se han profundizado y
ampliado notablemente. En tal evolucin el filsofo y matemtico alemn
Gottfried Leibniz (1646-1716) fue el primero que intent desarrollar la lgica
simblica como un lenguaje cientfico universal. En 1854, el matemtico ingls
George Boole public su obra cumbre An investigation of the laws of thought
(una investigacin de las leyes del pensamiento), con lo cual dio origen a la
lgica matemtica. Tal descubrimiento se conoce hoy como El Algebra de
Boole, lo cual tom mayor fuerza cuando en 1938, el ingeniero Claude
Shannon (1916 - ) descubri que los circuitos de conmutacin podan ser
representados por dicha lgebra. frege
Actualmente, la lgica moderna tiene un sin nmero de aplicaciones, sobre todo
en la electrnica y las ciencias de la computacin.
Siendo una disciplina moderna y compleja, he credo conveniente proponer un
mtodo didctico que facilite su comprensin.
Pongo en tus manos este primer material autoinstructivo, el cual est sujeto a
tus opiniones, las mismas que agradecer me las hagas llegar, y espero que sea
de mucho provecho en tu formacin profesional.

Elmer Llun Cumpa
e.lluen@hotmail.com
LOGICA


U S MP

Pgina 3



NDICE


PRIMERA UNIDAD DIDCTICA: EL CLCULO DE PROPOSICIONES

Prembulo .2
0. Introduccin5
1. Conectivos lgicos..6
Tipos de conectivos lgicos...6
La Conjuncin.7
La disyuncin Inclusiva.8
La disyuncin Exclusiva....9
La Implicacin...10
La doble implicacin ....11
2. Proposiciones lgicas.12
Ejercicio N 01: Reconocimiento de proposiciones13
3. Tipos de proposiciones..14
Proposicin simple.14
Proposicin compuesta .14
Ejercicio N 02: Valor de verdad de proposiciones15
4. El lenguaje natural y el lenguaje formal..16
Formalizacin de proposiciones...17
Ejercicio N 03: Simbolizacin de proposiciones18







LOGICA


U S MP

Pgina 4





SEGUNDA UNIDAD DIDCTICA: EL LGEBRA PROPOSICIONAL

5. Sistemas Consistentes, Tautolgicos y Contradictorios
6. Equivalencia lgica.
Ejercicios N 04: Evaluacin de proposiciones compuestas
7. Implicancia lgica...











LOGICA


U S MP

Pgina 5



1.

EL CLCULO DE PROPOSICIONES



















LOGICA


U S MP

Pgina 6



EL CLCULO DE PROPOSICIONES

0. INTRODUCCIN
Los seres humanos usamos un lenguaje comn para comunicarnos y
entendernos; as tenemos los idiomas espaol, ingls, alemn, etc.
En nuestro idioma espaol, nos encontramos cada da con muchas
expresiones, como por ejemplo:
1. Mario Vargas llosa obtuvo el Premio Nobel de Literatura.
2. Henry Ford fue un inventor.
3. Bolivia exportar gas por el puerto peruano de Ilo.
4. Las computadoras son muy tiles.
5. Si 3 = 5 entonces 24 = 24
6. La educacin es un derecho de todos los nios y obligacin de todos los
gobiernos.
7. Las computadoras son muy tiles pero son costosas.
8. Ottawa es capital de Canad si y solo si Bruselas es capital de Blgica.
Observamos que los cuatro ltimos ejemplos se diferencian claramente de
los cuatro primeros en el uso de los trminos entonces, y, pero, si y
solo si. Tales trminos reciben un nombre especial en lgica: conectivos
lgicos.


1. CONECTIVOS LGICOS





Definicin
Los conectivos lgicos son aquellos trminos que realizan la funcin
de enlazar o conectar enunciados. Tambin se les denomina OPERADORES
LGICOS
LOGICA


U S MP

Pgina 7
Clases de conectivos lgicos
Son de dos clases: Mondico y Didico.
El operador mondico tiene un slo alcance, hacia la derecha, es decir afecta
a una sola variable proposicional. El nico operador mondico es la
Negacin.
Por ejemplo: Mario Vargas Llosa no obtuvo el Premio Nobel de Literatura
en 2009
Los operadores didicos tiene un doble alcance: hacia la izquierda y
derecha; es decir, afectan a dos variables proposicionales. Los operadores
didicos son:
La conjuncin, la disyuncin inclusiva y exclusiva, la implicacin y la doble
implicacin.
Por ejemplo: La economa es una ciencia social y la matemtica es una
ciencia formal.
Debemos destacar que el filosofo austriaco Ludwig Wittgeinstein introdujo,
por primera vez, el concepto: tablas de verdad, ste nuevo concepto lo trat
en la publicacin de su libro Tratado lgico filosfico
Estas tablas constan de dos elementos: Margen y Matriz.
margen matriz
p p
V F
F V


La cantidad de valores de verdad, es decir, verdadero (V) o falso (F) est
dado por la formula

, donde n es el nmero de enunciados (p, q, r)

Ahora trataremos de cada uno de los conectivos lgicos.

LA CONJUNCIN
Forma lgica: P y q; p pero q; p sin embargo q; etc.
Simbolizacin: p q .
LOGICA


U S MP

Pgina 8
Tabla de verdad
p q p q
V V V
V F F
F V F
F F F
.

Ejm: 12 es mltiplo de 3 y de 4
Asignamos las letras a los enunciados componentes, lo cual llamaremos
frmula
Frmula p: 12 es mltiplo de 3
q: 12 es mltiplo de 4
Simbolizacin: p q .


LA DISYUNCIN INCLUSIVA
Forma lgica:
Simbolizacin: p q v
Tabla de verdad
p q p q
V V V
V F V
F V V
F F F
v

Ejm: Isaac Newton invent el clculo diferencial o Grahan Bell invent el
telfono.
Frmula p = I. Newton invent el clculo diferencial.
q = G. Bell invent el telfono.
Simbolizacin: p q v



LA DISYUNCIN EXCLUSIVA
Forma lgica: o ... p q
Simbolizacin: p q A

LOGICA


U S MP

Pgina 9


Tabla de verdad:
p q p q
V V F
V F V
F V V
F F F
A

Ejm: El lgico Kur Gdel naci en Checoslovaquia o naci en Polonia.
Frmula p = El lgico Kur Gdel naci en Checoslovaquia
q = El lgico Kur Gdel naci en Polonia.
Simbolizacin: p q A

LA IMPLICACIN
Forma: Si p entonces q, q, si p, p slo si q
Simbolizacin:
A la proposicin p se le llama antecedente y a la proposicin q consecuente.


Tabla de verdad
p q p q
V V V
V F F
F V V
F F V

En el lenguaje cotidiano no consideramos el uso de proposiciones
condicionales con antecedente falso. Sin embargo, en matemticas suele
ocurrir.
Por ejemplo: Si 3 = 5 entonces 24 = 24

Observando en la tabla de verdad, esto corresponde a la tercera fila y por lo
tanto resulta verdadero.
LOGICA


U S MP

Pgina 10
Tambin se puede verificar. Veamos; si 3 = 5 entonces 5 = 3 (Prop.
Simtrica), sumando miembro a miembro a ambas ecuaciones se obtiene 8 =
8 y luego, multiplicando por 3 resulta que 24 = 24.
Se debe remarcar que la palabra slo precede al consecuente, mientras que
la palabra si precede al antecedente.

Por ejemplo: en la proposicin:
Juan toma fotografas slo cuando sale el sol. Equivale a decir: Si Juan toma
fotografas, entonces sale el sol.
Con relacin al condicional p q se tiene:
Recproca : q p
Contrarecproca :
Contrario :

LA DOBLE IMPLICACIN
Forma lgica: p si y solo si q
Simbolizacin: p q


Tabla de verdad
p q p q
V V V
V F F
F V F
F F V

Ejemplo: Ilo es puerto del Per si y slo si Antofagasta es puerto de Chile.
Frmula p = Ilo es puerto del Per.
q = Antofagasta es puerto de Chile.
Simbolizacin: p q


Resumiendo: sean p, q variables proposicionales, se tiene:

LOGICA


U S MP

Pgina 11




p q

conjuncin
p q .

condicional
p q

Disyuncin inclusiva
p q v

Disyuncin exclusiva
p q A

Biocondicional
p q

Negacin
p

V V
V F
F V
F F

V
F
F
F

V
F
V
V

V
V
V
F

F
V
V
F

V
F
F
V

F
F



Por lo tanto:
V V V . = V F F = F F F v =
V V
F
F F
A
`
A
)

V V
V
F F

`

)



2. PROPOSICIONES LGICAS






As tenemos, que los siguientes enunciados s representan proposiciones
a) 3 es un nmero primo (V)
b) El agua se congela a cero grados centgrados (V)
c) Manuel Pardo fue presidente del Per (V)
d) La suma de los ngulos internos de un tringulo es 360 (F)
Definicin
Una proposicin lgica es todo enunciado al cual puede asignrsele
un slo valor de verdad: Verdadero (V) o Falso (F) pero no ambos a la vez
LOGICA


U S MP

Pgina 12
e) TICS significa tecnologas de la informacin y comunicacin (V)

A las expresiones interrogativas e imperativas tales como: Qu hora es?.
Treme un vaso con agua!, no representan proposiciones y se les llama
expresiones No Proposicionales.


Asimismo, las expresiones que contienen variables (o que las representan)
no tienen valor de verdad (V o F) porque desconocemos el valor de la
variable; a tales expresiones se les llama Enunciados abiertos o funciones
proposicionales.
Por ejemplo:
1) es nmero par.
2) l es profesor de economa.

Los enunciados abiertos tienen la propiedad de convertirse en proposiciones
cuando la variable es reemplazada por un valor en particular. As tenemos:

Si () es numero par.enunciado abierto
Y reemplazamos por , entonces se tiene:
() es nmero par (F).proposicin










LOGICA


U S MP

Pgina 13



EJERCICIO N



RECONOCIMIENTO DE PROPOSICIONES
Indique cules de las siguientes expresiones si representan proposiciones
lgicas y cules no:
Si No
1) 1 + 2 > 3
2) Viena es la capital de Austria
3) Sen(x+y) = Senx Cosy + Cosx Seny
4) Naylamp significa ave de paso
5) Prohibido fumar en el saln
6) Treme un vaso con agua
7) Soy yo acaso el guardin de mi hermano?
8) x + 3 es un entero positivo
9) La luz del sol tarda 8 min. 20 seg, en llegar a la tierra
10) El crneo consta de ocho huesos
11) Siendo x e y nmeros reales, x = y x = y
12) Luther king recibi el Premio Nobel de la Paz en 1964
13) sta proposicin es verdadera.
14) Silencio: Hospital
15) Fuerza cicln!
16) Wtahs your name?
17) Qu hora es? Es una oracin interrogativa
18) La marihuana es una droga que genera dependencia.
19) El software es la parte lgica del computador
20) De la universidad al museo Tumbas Reales de Sipan

























LOGICA


U S MP

Pgina 14



3. TIPOS DE PROPOSICIONES

Las proposiciones lgicas pueden ser de dos tipos: Simples y Compuestas.

Definicin.-
Una proposicin simple es aquel enunciado que en su correcta
interpretacin no presenta conectivos lgicos. Tambin se les denomina
proposiciones elementales o atmicas.
Ejm: La ballena es un mamfero.

Definicin.-
Una proposicin compuesta es aquel enunciado que s presenta conectivos
lgicos.
Tambin se les llama proposiciones coligativas o moleculares.
Ejm: El motor gasolinero no es ruidoso pero consume mucha energa.
Se observa que las palabras no y pero representan a los conectivos de la
negacin y conjuncin respectivamente.











LOGICA


U S MP

Pgina 15

EJERCICIO N


- Valor de verdad de proposiciones
Escribe verdadero (V) o falso (F) en cada uno de los siguientes
enunciados
1. ( ) Todo ser vivo est constituido por clulas.
2. ( ) Carlos Marx naci en Alemania y es autor de El Capital.
3. ( ) Aristteles desarrollo la teora de los silogismos.
4. ( ) Per es un pas latinoamericano o integrante del Mercosur.
5. ( ) Principia matemtica es la obra monumental de Bertrand
Russel.
6. ( ) El hueso ms largo del cuerpo humano es el fmur, sin
embargo el musculo ms largo es el Sartorio.
7. ( ) Tomar bebidas alcohlicas en exceso es daino.
8. ( ) 2,3 y 7 son los nicos divisores primos de 42.
9. ( ) Jpiter es el planetoide ms pequeo y alejado del sol.
10. ( ) Cajamarca es un departamento ubicado en la sierra norte
del Per.
11. ( ) El 3 % indica que otorgamos o recibimos 3 unidades de
cada 100 unidades.
12. ( ) (

) ( )
13. ( ) ( ) (

)
14. ( ) *(

) (

)+ [()

]
15. ( ) Wassily Leontief obtuvo el Premio Nobel de Economa en
1973
16. ( )
17. ( )
18. ( )
19. ( )
LOGICA


U S MP

Pgina 16
20. ( )


4. EL LENGUAJE NATURAL Y EL LENGUAJE FORMALIZADO

Existen dos tipos de lenguajes: El Natural y el Formalizado.
El lenguaje natural es el usado en la vida cotidiana, tiene una amplia gama
expresiva, es decir, sirve para comunicar informaciones, expresar deseos,
formular rdenes, sentimientos, etc. Por ejemplo, el lenguaje espaol.
El lenguaje formalizado es el usado en la actividad cientfica, es un lenguaje
especializado; por ejemplo, el lenguaje matemtico y el lenguaje lgico.
El lenguaje lgico se denomina formalizado porque su propiedad ms
importante es la de revelar la forma o estructura de las proposiciones.

FORMALIZACIN DE PROPOSICIONES
Formalizar una proposicin equivale a representarle simblicamente.
Toda proposicin consta de dos partes: su forma lgica y su frmula.
La forma lgica viene a ser una proposicin equivalente a la inicial, con la
ventaja que en ella toda su estructura sintctica est explicitada.
La frmula es la que resulta de sustituir a toda proposicin simple distintas
por una variable proposicional distintas.

Ejemplos
Simboliza las siguientes proposiciones
1. Albert Einstein no es filsofo, sino fsico
Solucin
Forma lgica : Einstein es fsico y Einstein no es filsofo
Frmula p = Einstein es fsico
q = Einstein es filsofo
Simbolizacin :

LOGICA


U S MP

Pgina 17
2.


3. Sin carbono, oxgeno, nitrgeno e hidrgeno, no hay vida.
Solucin
Forma lgica : Si no hay carbono y no hay oxgeno y no hay
nitrgeno y no hay hidrgeno, entonces no hay
vida.
Frmula:
p = hay carbono q: hay oxgeno
r = hay hidrgeno s : hay nitrgeno t = hay vida
Simbolizacin:
( ) p q r s t . . .

4. Si el procedimiento de la eliminacin de Gauss no puede ser completado
para obtener [I/B] de [A/I], entonces la matriz A no tiene inversa.
Solucin
Forma lgica : Es clara por si misma
Frmula : p = el procedimiento de la eliminacin de Gauss
puede ser completado para obtener [I/B] de [A/I]
q = la matriz A tiene inversa.
Simbolizacin : p q

5. El hospital Beln de Lambayeque ha sido reconocido como Hospital
amigo de la madre y el nio, por haber puesto en prctica los 10 pasos
hacia una lactancia natural exitosa. (Minsa UNICEF, 1995)
Solucin
Forma lgica : Si el hospital Beln ha puesto en prctica los 10
pasos hacia una lactancia natural exitosa, entonces
ha sido reconocido como hospital amigo de la
madre y el nio.
LOGICA


U S MP

Pgina 18
Frmula : p = El hospital Beln de Lambayeque ha puesto
en prctica los 10 pasos hacia una lactancia natural
exitosa.
q = El hospital Beln de Lambayeque ha sido
reconocido como hospital amigo de la madre y el
nio.
Simbolizacin : p q







EJERCICIO N



SIMBOLIZACIN DE PROPOSICIONES
Simboliza las siguientes proposiciones e indica la frmula respectiva.
1. Gottfried Leibniz fue tanto un cientfico como un filsofo.
2. Si 20 es mltiplo de 2, entonces es nmero par.
3. No es el caso que Pedro baile y no cante.
4. Alejandra ir a la escuela y si llueve tambin lo har Cynthia.
5. Hctor est alegre, porque aprob el curso y no perdi la beca de estudios.
6. La educacin universitaria tiene como fines la formacin profesional, la
difusin cultural, la creacin artstica y la investigacin cientfica. (Ley 2373)
7. Si Estados Unidos construyera un submarino atmico Trident menos, de los
25 programados; y Rusia construyera un submarino atmico Tifn menos, se
podra alfabetizar todo el mundo.
8. Ir al parque o al cine a pie o en taxi.
9. Alex y Rixy son hermanos o primo y prima.
LOGICA


U S MP

Pgina 19
10. Si tanto mi padre como mi madre van, entonces yo no ir; pero si slo mi
padre va, entonces yo ir tambin.
11. Veo al arco iris si llueve y hay sol.
12. Si Jorge escuch la conferencia, entonces o fue al teatro y pas por la casa de
Ana, o la escuch por radio y llam por telfono a Ana.
13. Tendremos muchas flores en el jardn, si la estacin es propicia y las semillas
no estn malogradas.
14. Escriba las siguientes proposiciones como una implicacin de la forma:
Si entonces.
a) Mara puede conducir el Volswagen de Elmer slo si tiene licencia de
conducir.
b) Arregle mi aire acondicionado o no pagar la renta.
15. Si a + b = b + a y si a = 2 b = 3, entonces 2 + 3 = 3 + 2.
16. Los tomos estn formados por electrones, protones y neutrones.
17. las fuerzas armadas y las fuerzas policiales participan en el desarrollo
econmico y social del pas, pero no son deliberantes.
18. Si Juan obtiene el premio de excelencia, el rector le regalar una
computadora, sea que la quiera o no.
19. Si no estamos en verano, entonces est hmedo y hace fro, si es de tarde o
de noche.
20. Simboliza y da el valor de verdad de:
Si 3 = 8 entonces 24 = 24.









LOGICA


U S MP

Pgina 20












2.

EL ALGEBRA PROPOSICIONAL














LOGICA


U S MP

Pgina 21







EL ALGEBRA PROPOSICIONAL
Hasta aqu, hemos sido capaces de poder reconocer proposiciones lgicas y a
simbolizarlas.
Tal simbolizacin de proposiciones compuestas puede ser desarrollada
mediante las tablas de verdad; an ms, se pueden evaluar de acuerdo al
resultado que obtengamos en el operador lgico de mayor jerarqua.
Veamos a continuacin.









Ejemplos:
1) Evala los siguientes esquemas moleculares
a) ( ) p q q p ( .


b)
( ) ( ) p q q r .
c) ( ) ( ) p q p q r ( .


d) ( ) ( ) p q q r p ( v



5. SISTEMAS CONSISTENTES, TAUTOLGICOS Y
CONTRADICTORIOS
Un sistema es consistente cuando en el operador principal hay por lo menos un
valor de verdad verdadero o bien falso.
Un sistema es tautolgico cuando en el operador principal todos los valores de
verdad son verdaderos.
Un sistema es contradictorio cuando en el operador principal todos los valores
de verdad sean falsos.

LOGICA


U S MP

Pgina 22






Solucin
a.
( ) p q p q q p
V V V F F V F
V F F F V V F
F V V F F V V
F F V V V V V
( .


Rpta: sistema tautolgico.
b.

( ) ( ) p q r p q q r
V V V F V F V F
V V F F V F F V
V F V V F F F V
V F F V F F F V
F V V F V F V F
F V F F V F F V
F F V F V F F V
F F F F V F F V
.

Rpta: Sistema contradictorio.







LOGICA


U S MP

Pgina 23
c.

( ) | ( ) |
p q r p q q r p
V V V V F F V F F
V V F V F V F F F
V F V V F F V F F
V F F V F F V F F
F V V F V F V F V
F V F F F V F V V
F F V V F F V F V
F F F V F F V F V
v .

Rpta: Sistema consistente

2) Si [ ( )] es falso; Determina el valor de verdad de [ ( )]
Solucin
( ) p q r (

Resulta falso, slo cuando el antecedente p es verdadero; Es
decir,
( ) v p V = y el consecuente
( ) q r es falso.
Asimismo,
( ) q r resulta falso, slo cuando
( ) v p V = y
( ) v r F =
Luego;
( ) ( ) q p r V V F V F F . = . = =
Rpta. Falso.

3) Si el esquema ( ) ( ) q p p r t ( . . v

es falso,
Determina el valor de verdad de:
a) ( ) ( ) p q r t ( v v


b)
( ) ( ) p t q r
Solucin
Tal condicional falso, slo cuando el antecedente es verdadero y el
consecuente es falso.
Es decir,
( ) q p . es verdadero. De all el valor de verdad
( ) v q V = y
( ) v p F = . Asimismo, ( ) p r t ( . v

es falso cuando
( ) v t F = y
( ) p r . es falso;
pero como
( ) v p F = se deduce que
( ) v r V = o bien
( ) v r F =
LOGICA


U S MP

Pgina 24
Por lo tanto
a) ( ) ( ) | |
V F V V V V V F ( v v = = =


b)
( ) ( ) V F F V F V V = =

6. EQUIVALENCIA LOGICA
En las matemticas, necesitamos saber cuando los entes que estudiamos son
iguales. Por ejemplo, en lgebra sabemos que dos nmeros reales diferentes
de cero son iguales cuando tienen la misma magnitud y signo algebraico. En
geometra, surge el concepto de congruencia. As, el tringulo ABC y el
tringulo DEF son congruentes si, por ejemplo, sus lados correspondientes
son iguales.
En lgica, analicemos la tabla de verdad de
p p p
V F V
F V F

Se observa que

tienen los mismos valores de verdad.
sta equivalencia es conocida como la ley de la doble negacin o de
involucin.
Por lo tanto







Debes tener en cuenta que, esta definicin equivale a afirmar que A
siempre y cuando A B resulta ser una Tautologia.

Ejm: verificar si las frmulas
Definicin
Las frmulas lgicas A y B son equivalentes (A ) siempre y cuando las
frmulas A y B

obtengan en su operador principal los mismos valores de
verdad.
LOGICA


U S MP

Pgina 25
: son lgicamente equivalentes p q y p q | v =
Solucin
: : p q p q p q
V V F V V V
V F F F F F
F V V V V V
F F V V F F
| v

Es fcil notar, que tanto | como tienen los mismos valores de verdad por
consiguiente son equivalentes, es decir, | . sta equivalencia es conocida
como la ley condicional.




EJERCICIO N



Evaluacin de proposiciones compuestas

Desarrolle mediante tablas de verdad, las siguientes proposiciones
compuestas y escriba si el sistema es tautolgico, consistente o
contradictorio.
1. p p
2. p p v
3. ( ) p q p p (


4. ( ) ( ) p q r r p q ( ( . . v


5. ( ) ( )
{ }
p q r p q r ( . . A v


6.
( ) ( ) p q q r .
7. ( )
{ }
( ) p p q r r p ( . .


LOGICA


U S MP

Pgina 26
8. ( )
{ }
( ) p q r r p q ( A . A


9. Dado el esquema:
( ) ( ) * p q p q .
Qu operador debe ir en * para que el esquema sea una tautologa?
10. Simbolice y responda si la expresin es o no una tautologa:
Si uno tiene dinero, entonces tiene amigos. Luego, si uno no tiene
dinero, entonces no tiene amigos
11. Sabiendo que:
( ) ( ) p q r t . v es falso, determine el valor de verdad de
( ) ( ) q r p t q ( v


12. Si el esquema
( ) ( ) p q p r . es falso, calcular el valor de verdad
de:
a)
( ) ( ) q r p q v v v
b)
( ) ( ) p q r q v .
c) ( ) ( ) ( ) p q q r p r ( . v . v


13. Si la proposicin compuesta
( ) ( ) p q q p . . es verdadera, determine los valores de verdad de
p y q.
14. De la falsedad de
( ) ( ) r s p q v ,
Deducir el valor de verdad de:
a) ( ) p q s r (


b)
( ) ( ) r s p q .
c)
( ) q s p v
15. Si la proposicin
( ) ( ) p q p w A A v , es verdadera, Cul ser el valor
de ( ) ( ) s p w p q ( v . v

?
Determine si las frmulas y | dados son equivalentes.
16. : , : p q q p |
17.
( ) ( ) ( ) : ; : p q r p r q r | v .
LOGICA


U S MP

Pgina 27
18. ( ) ( ) : p q p q | ( v . .


( ) ( ) : p q p q v . v
19.
( ) ( ) : s w t w | v
( ) : w t s v
20.
( ) : ; : p q p q o | .
: ; : p q q p | v v
Es o | | ?


7. IMPLICANCIA LOGICA
Dadas dos formula lgicas A y B, decimos que A implica B, si al
desarrollar la tabla de verdad de A resulta ser una
Tautologa.
Ejm.


Finish