Está en la página 1de 60

UNIVERSIDAD NACIONAL DEL SANTA

FACULTAD DE CIENCIAS
Departamento de Matemtica

Mdulo de
Lgica
Proposici
onal

(A) (B) (C) (D) (E) (F) (G)


p q p q p q p q p q p / q p q p q

VV V F F V F V V
VF V F V F V F F
FV V F V F V V F
FF F V F F V V V

Autor: Fidel Vera


Obeso
Nuevo
Chimbote, Per
201
3
Lgica Proposicional Fidel Vera Obeso

PRLOG
O

El estudio de la lgica nos beneficia en lo siguiente: desarrollar

habilidades para expresar ideas de manera clara y concisa, incrementar la

capacidad de definir los trminos que utilizamos y aumentar la capacidad de

elaborar argumentos en forma rigurosa y de analizarlos crticamente. Pero

quizs el mayor beneficio es el reconocimiento de que la razn se puede aplicar

en todos los aspectos de las relaciones humanas.

Las instituciones democrticas requieren que los ciudadanos piensen por

s mismos, que discutan libremente los problemas y que tomen decisiones con

base en la deliberacin y la evaluacin de evidencias. A travs del estudio de

la lgica podemos adquirir no solamente prctica en el arte de razonar sino

tambin respeto por la razn, reforzando as y asegurando los valores de

nuestra sociedad.

En este mdulo se abordan los siguientes temas: la lgica como ciencia;

definicin, clases de proposiciones; operadores o conectivos lgicos; tautologa,

contradiccin y contingencia; equivalencia e implicacin y las principales leyes

lgicas o tautologas notables.

Los objetivos especficos se logran siempre y cuando los grupos de ejercicios

se resuelvan con una eficacia del 80%, en caso contrario debern volver a

estudiar los cuadros correspondientes y resolver nuevamente los ejercicios

incorrectos o no resueltos. Resuelva los problemas propuestos del modo siguiente:

primero en forma individual, luego en forma grupal y por ltimo presntelos en un

grupo de un mximo de cinco (05) integrantes.

El Autor

i
NDICE

PROLGO
OBJETIVOS
PRE-TEST
CONTENID
O

1.1. LA LGICA COMO CIENCIA


CONCEPTUALIZACIN----------------------------------------------------------------------
1
IMPORTANCIA------------------------------------------------------------------------------- 3
CUESTIONARIO----------------------------------------------------------------------------- 4

1.2. PROPOSICIN. DEFINICIN Y CLASES-------------------------------------------------


5
EJERCICIOS---------------------------------------------------------------------------------11

1.3. OPERADORES O CONECTORES LGICOS


NOTACIN, VALORES DE VERDAD Y LECTURA
---------------------------------------13
EJERCICIOS---------------------------------------------------------------------------------24

1.4. TAUTOLOGA, CONTRADICCIN Y


CONTINGENCIA----------------------------------27
EJERCICIOS---------------------------------------------------------------------------------30

1.5. EQUIVALENCIA E IMPLICACIN---------------------------------------------------------


31
EJERCICIOS---------------------------------------------------------------------------------35

1.6. PRINCIPALES LEYES LGICAS O


TAUTOLGICAS NOTABLES---------------------------------------------------------------
37
EJERCICIOS---------------------------------------------------------------------------------45

POST TEST-----------------------------------------------------------------------------------------
BIBLIOGRAFA---------------------------------------------------------------------------------------
48
Lgica Proposicional Fidel Vera Obeso

OBJETIVOS
OBJETIVO TERMINAL:
Identificar, formalizar y simplificar proposiciones.

OBJETIVOS ESPECFICOS:
1) Conceptualizar la lgica como ciencia y reconocer su importancia en el

avance cientfico.

2) Definir e identificar proposiciones.

3) Formalizar proposiciones usando variables proposicionales y los conectivos

lgicos, y determinar su valor de verdad.

4) Determinar cuando una proposicin compuesta es una tautologa,

contradiccin o contingencia.

5) Determinar cuando dos proposiciones compuestas son lgicamente

equivalentes y cuando una implica a la otra.

6) Enunciar, demostrar y aplicar las principales leyes lgicas o tautologas


notables.
Lgica Proposicional Fidel Vera Obeso

iii
Lgica Proposicional Fidel Vera Obeso
PRE - TEST
POST
TEST

Instruccin: Resuelva el Post-Test de acuerdo a los requerimientos

dados.

01) De las siguientes expresiones:


(01) El ozono filtra los rayos ultravioletas
C(n, k ) n! kn
,
(02) k!(n k )!

(03) 2
1 i i 1
(04) El aire contiene oxgeno e hidrgeno
(05) The earth rotates around the sun
No son proposiciones compuestas:
a) 1, 2, 3 y 5 b) 1, 2 y 3 c) 1 y 5 d) Slo 1 e) 1 y 2

02) Si la proposicin:
p q) r (r s) es verdadera
Hallar el valor de verdad de:
I. p q) (r s)
II. p s) r w p)
III. q r w p pq)
Son ciertas:
a) VVV b) FVV c) FFV d) FFF e) VFV

03) Determinar si la siguiente proposicin es Tautolgico, Contradictorio o


Contingente:
Como es hora laborable, se concluye que en el juzgado hay jueces y

testigos, dado que, si es hora laborable, en el juzgado hay jueces, y hay


testigos, si en el juzgado hay jueces.

04) Determinar cules de las siguientes proposiciones son equivalentes:

P = p r q)

Q = ( p q) r

4
Lgica Proposicional Fidel Vera Obeso

R = q (p r)

v
05) Se define el conector @ como:
p @ q (p q) q q q

Simplificar el esquema molecular:


(p q) @ (t w) @ q @ p

a) q b) q c) p
d) p e) p q

NOMBRE :
FECHA :
TIEMPO : 1 HORA 30 MINUTOS
OBJETIVO N 01
ACTIVIDAD N
01 Conceptualizar la lgica como
ciencia y reconocersu
importancia en el avance

Analice la siguiente informacin sobre

1.1. L A L GI CA COMO CI ENCI A :

CONCEP T
UA L I ZA CI N:
Considerando que la lgica estudia tanto la estructura como el

contenido del pensamiento, conceptualmente afirmamos que La

Lgica (en general) es la ciencia que estudia las leyes dialcticas y

lgico-formales, los mtodos, los procedimientos, las propiedades y

las relaciones; sobre la base de las teoras del pensamiento.

ESQUEM T
I CAMENT E:

LGICA (en general)

Principios Procedimientos Propiedades Relaciones


y/o leyes Mtodos Formas

- Identidad - Induccin - Concepto - Definicin - Espacio - Causa


- No contra- - Clasificacin - Efecto
diccin. - Deduccin - Juicio - Tiempo
- Divisin - Necesidad
- Tercio excluido - Anlisis - Raciocinio - Explicacin - Movimiento - Casualidad
- Razn - Argumentacin - Posibilidad
suficiente. - Sntesis - Cantidad
- Refutacin - Realidad
- Unidad y lucha - Demostracin - Cualidad - Singular,
de contrarios. Base
- Exposicin particular,
- Trnsito de - Investigacin universal.
cantidad en
calidad.
- Negacin de la
negacin

Universidad Nacional del Santa 7


L A L GI CA Y L A CI ENCI A :
Cuando el gran fsico Albert Einstein inici sus investigaciones

sobre el micromundo, no lo hizo sobre la base de nada, sino que

tuvo que estudiar y someter a crtica las leyes y teoras de la fsica

clsica del macromundo. Es a partir de estas premisas que fue

estableciendo de ducc io ne s, i nducc io ne s y an al o g as que

finalmente significan la creacin de una nueva teora: la teora de

la relatividad. Sin embargo no fue suficiente que Einstein

c o no c i e se para s , intersubjetivamente, sino que era necesario

que el mundo, la humanidad tambin lo conociese, de all que

tuviese el autor que publicar, hacer pblico sus investigaciones.

Este ejemplo nos muestra que la ciencia, puede ser entendida

como pro ce so (investigacin cientfica) y tambin como pro duc t o

(publicacin o exposicin de los resultados de la investigacin

cientfica).

En ambos casos, la ciencia necesita de la lgica, sin sta no


puede desenvolverse.

a) Como pro ce so la ciencia necesita de la lgica en tanto leyes,

procedimientos, mtodos, propiedades y relaciones sobre la

base de las formas del pensamiento, para que el cientfico en

confrontacin con la realidad, alcance la verdad objetiva.

Aqu el peso mayor recae en la lgica del contenido (condicin


suficiente para la ciencia).

b) Como pro duc t o la ciencia en tanto teora a exponerse,


publicarse, necesita de la lgica para organizarse,
sistematizarse, e st ruc t urarse , fo rm al i z arse a fin de
poder demostrar su validez o correccin lgico-formal: Aqu el
peso mayor recae en la lgica formal (condicin necesaria para
la ciencia).
I MP OR T A NCI A DE LA L GI CA P AR A EL A VA NCE CI ENT F I CO - T
ECNOLGI CO:
Permite en base al conocimiento ya obtenido y validado, de duc i r
nuevos conocimientos.
En base a razonamientos inductivos (de lo particular a lo
general), podemos plantear hiptesis o predicciones cientficas;
sin experimentacin.
Permite la formalizacin del lenguaje cientfico para la posterior
demostracin de validez, tornndose preciso, exacto,
convencional y universal.
En tanto mtodos lgicos son el puente entre los mtodos de
investigacin cientfica y los mtodos de exposicin cientfica.
Es la base y hasta el momento la f undam e nt ac i n de
las matemticas (consideradas ciencias exactas), segn la cual se
puede de duc i r de un conjunto de axiomas un conjunto de
teoremas. Tambin se usa la i nducc i n y anal o g a m at e m t
i c a.
El desarrollo y el progreso de la lgica implican el desarrollo y el
progreso de las ciencias y la tecnologa, por ejemplo los circuitos
lgicos son el fundamento de los circuitos elctricos y de todo el
sistema de computacin. Ahora, con las computadoras se
pueden hacer clculos y predicciones sumamente complejos.
Por sus aplicaciones a la matemtica, a la lingstica, al anlisis
del lenguaje natural, al anlisis de los razonamientos filosficos,
las aplicaciones al mtodo cientfico, y en general, no hay campo
de la ciencia ni de la tecnologa contempornea donde la lgica
no sea utilizada. En este sentido, la lgica es la columna
vertebral de todos los acontecimientos en cuanto lo organiza
coherentemente.
En la vida diaria hacemos uso de la lgica constantemente,
incluso para cruzar una pista, porque previamente razonamos:
si viene un carro, no debo cruzar la pista. Viene un carro.
Luego, no debo cruzar la pista, o cuando un campesino ve una
densa nube en el cielo infiere que va a llover, y as podemos
mencionar situaciones donde se usa la lgica indefinidamente.
ACTIVIDAD N 02

Resuelve a continuacin el siguiente

CUEST I ONA R I O SOBR E L A L GI CA COMO CI ENCI A :

1) Cmo se conceptualiza la lgica como ciencia? Haga un diagrama de


dicha conceptualizacin.

2) Cmo se relaciona la lgica y la ciencia? Cite algunos ejemplos


prcticos.

3) Con ejemplos explique la importancia de la lgica en la vida diaria.

4) Qu aplicaciones de la lgica podemos citar? Cite algunos ejemplos


prcticos.

5) Por qu es necesaria la lgica para las ciencias?


ACTIVIDAD N OBJETIVO N 02
01

Definir e identificar
proposiciones.

Estudie la siguiente informacin sobre

1.2. P R OPOSI CI N. DEF I NI CI N Y CL A SES :


EL CONCEP T O:
Es una de las formas del reflejo del mundo en el pensar, mediante
el cual se entra en conocimiento de la e se nc i a de los fenmenos y
procesos. En otras palabras, es el pensamiento. En otras
palabras, es el pensamiento elemental, la unidad lgica bsica
que presenta al objeto o a una clase de objetos refirindose a sus
caracteres esenciales o indicando relacin entre ellos.
Ejemplos:
Carpeta (designa un objeto real fsico)
Alegra (designa un objeto real o psquico)
Nmero (designa objeto abstracto).
Perseverancia (designa valor)
Todos, algunos (indican relacin entre los anteriores)
Finalmente, un concepto no afirma ni niega nada, simplemente
indica algo ya sea objeto o entidad.

EL T R MI NO:
Es la expresin, manifestacin, explicitacin lingstica del
concepto. Es decir, es la palabra o palabras con la cual se expresa
un conjunto. As:
El concepto estricto c e re bro se expresa con un solo trmino
o palabra.
El concepto estricto Uni v e rsi dad Nac io nal de l Sant a
se expresa con varios trminos o palabras.
EL J UI CI O:
Es una relacin o conjunto de conceptos que se caracterizan
por construir una afirmacin o aseveracin de algo. Es una
forma, una estructura del pensamiento que objetivamente es
verdadero o falso.

L A OR A CI N:
Convencionalmente, es una palabra o conjunto de palabras con
sentido o significado propio.

CLA SI F I CACI N DE L A S OR A CI ONES:


1) Dec l arat i v as o A se v e rat i v
as :
a) Informativas (Informan)
Ejm.: 2 + 3 = 5
b) Descriptivas (Describen)
Ejm.: La tierra gira alrededor del sol.
c) Explicativas (Explican)
Ejm.: El rea de un cuadrado de 4 cm de lado es 16m2
porque para hallar el rea de un cuadrado se
multiplica lado por lado.

2) Ex pre si v as o no A se v e rat i v
as :
a) Exclamativas (Sentimientos, interjecciones)
Ejm.: Viva el Per!
b) Imperativas (rdenes)
Ejm.: Silencio
c) Desiderativas (Deseos, splicas)
Ejm.: Quiero viajar al Cuzco
d) Interrogativas (Preguntas)
Ejm.: Qu hora es?

L A P R OP OSI CI N:
Es la expresin lingstica del juicio, de cuyo contenido o
significado se puede saber con certeza si es verdadero o falso
empricamente y que generalmente se expresa como oracin
declarativa. A nivel de pensamiento se llama juicio y a nivel de
lenguaje se llama proposicin, por eso se dice que las
proposiciones son la envoltura material de los juicios.
Ejm.: Todo nmero par es divisible por dos.
En sntesis, el proceso lgico puede esquematizarse del modo
siguiente:
PROPOSICIN

SE REFLEJA
JUICIO OBJETO

A modo de resumen se da el siguiente cuadro para que pueda

identificar proposiciones.

Son proposiciones No son proposiciones

Las oraciones aseverativas. Los hechos o personajes


Las leyes cientficas. literarios.
Las frmulas matemticas. Los proverbios, modismos y
Las frmulas y/o esquemas refranes.
lgicos. Creencias religiosas,
Los enunciados cerrados o supersticiones y mitos.
definidos. Las interrogantes.
Las rdenes.
Las interjecciones.
Los deseos, dudas y splicas.
Los abiertos o indefinidos.
EJ EMP LO 1

De las siguientes oraciones, identificar las que son


proposiciones.

01) Cuando x > 3 entonces x2 > 9

02) Peter Drucker es autor de la obra El Lder del Futuro.

03) La traduccin en ingls de yo te amo es I love you.

04) Viva el Per!

05) Dadme la vida o dadme la muerte.

06) Chimbote! Alma mater de lucha y de inquietud.

07) A qu hora termina el examen?

08) Todo tringulo es un polgono

09) Juega un papel preponderante en el desarrollo y


conservacin de los recursos.

10) El ADN es la molcula maestra de la clula.

11) El rea del crculo es...

12) Es un mtodo didctico activo.

13) Del dicho al hecho hay mucho trecho.

14) Hoy tendr un mal da, se me cruz un gato negro.

15) (a + b)2 = a2 + 2ab + b2.

S o l uc i n :
La caracterstica fundamental de una proposicin es verdadera o
falsa empricamente. De acuerdo a esto:

So n pro po si c io ne s:
1, 2, 3, 8 y 10 (oraciones aseverativas)
15 (frmula matemtica)

No so n pro po si c io ne s:
5y6 (figuras literarias)
4 (interjeccin)
13 (refrn)
14 (supersticin)

CL A SES DE PR OP OSI CI ONES:


Simples, atmicas o elementales: Aquellas que carecen de
conectores lgicos.

Compuestas, moleculares o coligativas: Aquellas que tienen uno


o ms conectores lgicos.

EJ EMP LO 2

De las siguientes proposiciones, identificar las proposiciones


simples y las proposiciones compuestas.

01) No existe la capa de ozono.

02) El SIDA y la TBC son enfermedades.

03) Los ofidios tienen extremidades o bien vrtebras.

04) Los medios de comunicacin son necesarios en la pedagoga.

05) i2 -1

06) Cero es un nmero par o impar.

07) La relacin es una funcin y representa

una circunferencia.

08) Si es un nmero irracional entonces es un nmero real.

09) si y slo si x = h

10) Manipular la computadora y la impresora son ejemplos de


aprendizaje motor.

11) Peruanicemos al Per es un tema crtico-cientfico-literario

de Jos Mara Arguedas.

12) Las palabras: mrmol, carcter, bal, trax llevan tilde por
ser graves prosdicas.

13) Los metaloides son combinables con oxgeno para formar


14) En todo proceso redox existen uno o ms elementos que se
oxidan.

15) X + 6 = 4 si X = -2

S o l uc i n :
4 y 13 son proposiciones simples pues carecen de conectores

lgicos.

1 y 5 tienen l a ne g ac i n como conectivo. El smbolo matemtico


diferente a es equivalente a no es igual a.
2, 7, 10, 11 y 12 tienen l a c o nj unc i n como conectivo.
3, 6 y 14 tienen l a di sy unc i n como conectivo.
8 y 15 tiene como conectivo e l c o ndi c i o nal .
9 tiene el bi c o ndi c io nal como conectivo.
ACTIVIDAD N 02

Resuelve a continuacin la siguiente

EJ ER CI CI OS SOBR E P R OPOSI CI N. DEF I NI CI N Y CL A SES :

01) De las siguientes expresiones:


(1) Todo lo agradable es bueno
(2) Viva el Per carajo!
(3) Hay mujeres en la tierra
(4) Los alumnos de historia hicieron la tarea
(5) Entrgame mi libro de lgica.
No son proposiciones:

a) 2, 3 y 5 b) 2 y 5 c) 2, 4 y 5 d) N.A. e) T.A.

02) De las siguientes expresiones:

(1) Solo s que nada s

(2) El calor dilata los cuerpos


(3) x + y = y + x
(4) Vargas Llosa es el mejor escritor del Per
(5) Caf es una palabra aguda.

No son proposiciones:

a) 1, 3 y 4 b) 1, 3 y 5 c) 3, 4 y 5 d) 1 y 3 e) 1, 4 y 5

03) De las siguientes expresiones:


(1) Los cuerpos caen por accin de la gravedad.

(2) La materia es energa concentrada.


(3) El valor de = 3.1416
(4) H2O es la frmula del agua

(5) The sun is the center of our planetary system


Son proposiciones:
` a) 1, 2, 4 y 5 b) 1, 2 , 3 y 4 c) 1,2 y 5 d) 1,2 y 3
e) Todas.

04) De las siguientes expresiones:

(1) El agua no se solidifica a 0

(1) tg x = 1 cuando x=/4

(2) 2-1 = no obstante

(3) x2 + y2 = 1; es la ecuacin de una circunferencia


(4) 4 + 3 -3 -4
Son proposiciones compuestas:
a) 2, 3 y 4 b) 2, 3 y 5 c) 1,2 y 3 d) 1,2, 3 y 5
e) 1, 3 y 5

05) De las siguientes expresiones:


(01) El ozono filtra los rayos ultravioletas

(02)

(03)
(04) El aire contiene oxgeno e hidrgeno
(05) The earth rotates around the sun
No son proposiciones compuestas:
a) 1, 2, 3 y 5 b) 1, 2 y 3 c) 1 y 5 d) Slo 1

e) 1 y 2

ACTIVIDAD N OBJETIVO N 03
01 Formalizar proposiciones
usando variables
proposicionales y los
conectivos lgicos, y
determinar su valor de verdad.
Analice la siguiente informacin sobre

1.3. OP ER A DOR ES O CONECT I VOS L GI COS :


NOT A CI N, VA LOR ES DE VER DA D Y L ECT UR A :

Variables proposicionales:

- Del Lenguaje Objeto:


Las proposiciones simples se pueden denotar por medio de
letras minsculas, generalmente, a partir de: p, r, s....

- Del Metalenguaje:
Son variables de mayor amplitud que las anteriores y sirven

para denotar proposiciones compuestas. Se usan las letras

maysculas, generalmente, a partir de: A,B,C, ...

Operadores o Conectivos Lgicos:


La Negac i n

Smbolo: ~

Esquema lgico ~ p, jams p, tampoco p


Lectura no p, nunca p, es inadmisible que p
es absurdo que p no acaece que p
es falso que p no es innegable que p
es inconcebible que p carece de todo sentido que p
es imposible que p de ninguna forma se da p
no ocurre que p es errneo que p
no es verdad que p es incierto que p
es mentira que p nadie que sea p
etc...
La Di syunc i n Dbi l o Inc l usi va
Smbolo: v, +
Esquema lgico p q, p + q
Lectura p q p salvo que q
a menos que p, q p a menos que q
p tambin q p excepto que q
p de lo contrario q p en tal sentido q
etc...

La Di syunc i n Dbi l o Ex c l usi va


Smbolo:
Esquema lgico
Lectura o p q o bien p bien q p
p no equivale a q es diferente a q ya
p no se define como q bien p ya bien q p
ya sea p ya sea q se contrapone a q p
excluye a q
p solamente q
p nicamente q

El Oper ador de Ni c
ond
Smbolo: /
Esquema lgico P/q, ~p ~q, ~ (p q).
Lectura no p no q
es falso que no p y no q

La Conjunc i n

Smbolo:
, ., &

Esquema lgico
p q, p.q , p&q
p tambin q
p del mismo modo q
Lectura p y q p de la misma forma q
p pero q p tal como q
p aunque q p al igual que q
p sin embargo q p no obstante q
p incluso q p es compatible con q
p as como q no slo p tambin q
etc... siempre ambos p con q
tanto p como, cuanto q
El oper ador de Sh ef f er
Smbolo:
Esquema lgico p q, ~p~q, ~(pq)
Lectura ni p ni q es falso que p q

El Condi c i
onal
Smbolo: , ya que p bien se ve que q
siempre que p por consiguiente q
Esquema lgico p q, p q
Lectura si p entonces q como quien que p por lo cual q
cuando p as pues q en el caso de que p en tal sentido
con tal de que p es obvio q
que q toda vez que p en consecuencia q
en virtud de que p es en la medida que p de all q
evidente q en el caso de p en este caso q
dado p por eso q p impone q
en cuanto p por tanto q p es condicin suficiente para q
de p deviene q etc...
de p deducimos q
p slo si q

En la condicional:
p q
e s e s
El consecuente
El Antecedente
La tesis
La Hiptesis
El efecto
La causa
La Conclusin
La
Premisa

Despus de las siguientes palabras va el antecedente de una


condicional (INDICADORES DE PREMISAS):

puesto que como es indicado por


dado que la razn es que

a causa de por las siguientes razones


porque se puede inferir de

pues se puede derivar de


se sigue de se puede deducir de
como muestra en vista de que

ya que cuando
si cada vez que, siempre que, a

condicin de que, es condicin


necesaria para, es insuficiente para.
En este caso el esquema lgico es:

Consecuente Palabra Premisa


Conclusin Indicador de premisa Antecedente

s r

Este conectivo se llama R EPL I CADOR .

El Bi c ondi c i
onal
Smbolo: ,
Esquema lgico p q, p q
p es equivalente, equivale a q
Lectura p s y slo si q
p siempre que y slo cuando q
p se define como q
p cada vez que y slo si q
p es lo mismo que q
p es equipolente a q
p es idntico a q
p es de la forma q
etc....
p es condicin necesaria y
suficiente para q.

EJ EMP LO 1
Formalizar o simbolizar las siguientes proposiciones.

1) Estudias Lgica o Biologa, pero no ambas a la vez.


(p q) ~ (p q)
(p q) ~ (p q) (p q) (p q)

2) O bien los animales son vertebrados o bien invertebrados, pero


(p p)
no es el caso que sean invertebrados a la vez vertebrados.
(p p)
(p p) (p p)
3) Un enunciado abierto no es una proposicin a menos que
p
se le asignen valores a la variable.
q
p q
4) Una condicin necesaria
para que Roco no sea
premiada con un libro
p
es que estudie matemticas y no apruebe el examen.
(q r)
p ( q r)

5) Como es hora laborable, se concluye que en el juzgado hay

jueces y testigos, dado que, si es hora laborable, en el juzgado

hay jueces, y hay testigos si en el juzgado hay jueces.

So l uc i n :
Sean:

p : hora laborable
q : hay jueces en el juzgado
r : hay testigos en el juzgado.

Simbolizando slo las proposiciones simples:

Como p, se concluye que q y r, dado que, si


p, q, y r si q.

Simbolizando los operadores condicionales:


p (q r) dado que (p q) (r si q)

Simbolizando los replicadores:


p q qr p qr
VA LOR ES VER I T A T I VOS DE L OS
OP ER ADOR ES O CONECT I VOS
LGI COS

p p
V F
F V

(A) (B) (C) (D) (E) (F) (G)


pq pvq pq pq pq pq pq pq
VV V F F V F V V
VF V F V F V F F
FV V F V F V V F
FF F V F F V V V

En el lgebra de Boole, V es 1
F es 0
La parte sombreada es la regla de operacin de cada operador

(A) y (B) son de valores de verdad opuestos


(D) y (E)

Sentido convencional de la verdad formal.

(A) es V al menos p es 1 q es 0

(C) es V p y q tienen valores de verdad desiguales


(E) es V cuando menos p es 0 q es 0
(G) es V p y q tienen valores de verdad iguales

etc.

Sentido convencional de la falsedad formal:

(D) es F al menos p es 0 q es 0

(F) es F p es 1 y q es 0
(G) es F p y q tienen valores de verdad desiguales
(C) es F p y q tienen valores de verdad iguales. etc.
Se puede construir un mapa conceptual de los valores de
verdad de un operador, por ejemplo:

Mapa Conceptual de los Valores de Verdad de p q

V entonces F
p q es
Si p es V

F entonces V
p q es

V entonces V
p q es
Si p es F

F entonces F
p q es
EJ EMP LO 2
Si la proposicin q r es falsa, el valor de verdad de las

siguientes proposiciones:
I. r (p r)
II. ~ (q r)
III. (r ~ q) p
IV. p (q r)
Son respectivamente:
(a) FVFV (b) VVFV c) VFVF d) FFFV e) FVVF

So l uc i n :
Sabemos que: q V
qrF

VF r F
F

Luego:
I. r (p r) F
F V
F
II. (q r) V
F
V

III. ( r q) p V
( F F) p
F p cualquiera sea el valor de verdad de p
V

IV. p (q r) F
P F
F cualquiera sea el valor de verdad de p
Respuesta (e)
EJ EMP LO 3
Dadas las proposiciones:

q: es un nmero racional

p y r cualquier proposicin

adems se sabe que:


~ (r q) (r p) es verdadera

Hallar el valor de verdad de:


I. r ( p q)
II. ( r (p q) (q p)
III. ( r p) (q p)
(a) VVV (b) FFF c) VFV d) FVV e) VVF

So l uci n:
Del dato, q F, adems
(r q) ( r p) F
V F p F
(i) r p F (ii) rqV q F
r V
V F VF
I. r (p q) V
V (V V)
V V
V

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

III. ( r p) (q p) F
(V V) (F F)
V F
F
Respuesta (c)

EJ EMPL O 4
Si se sabe que:

r s t (p q) r t) s qp)

es verdadera, hallar el valor de verdad de:


I. p q r ( t p ) r
II. (r s) t (p q)
III. (p q) ( t )
(a) VVV (b) VFF c) VFV d) FVV e) VVF

So l uci n :
Para que toda la proposicin sea verdadera, cada una de las
expresiones entre llaves debe ser verdadera, o sea:
(i) r s) t p q) V
(ii) r t) p q p) V

V
De (ii)
r t) s q p) F

V F

r t) s V
sV
V V

q p) F (q p) F

q p V

De (i) r s) t p q) V

F V

r s) t F t F

V F r V

Luego, evaluando los casos pedidos:

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

II. (r s) t (p q) F
(V V) V (V)
(V V F
V F
F
IV. (p q) ( t s) F

F ( F F)

F V

F
Respuesta (b)
ACTIVIDAD N 02

Resuelve a continuacin los siguientes

EJ ER CI CI OS SOBR E F OR MA L I ZA CI N DE P R OPOSI CI ONES :

A. Formalizar o simbolizar las siguientes proposiciones:


1. No es cierto que 19 sea divisible por 9 por 19.
2. Einstein dice la verdad pues la teora de la relatividad no es

exacta ni las leyes de la mecnica son absolutas.

3. En primavera soplan vientos fuertes o hace mucho fro, pero no

gara, sin embargo es una bonita estacin.

4. Las leyes de la mecnica son exactas, si Newton dice la verdad, y


slo s, el movimiento no es relativo.

5. 24 es un nmero par, o mltiplo de 6 y de 2, pero no es divisible


entre 10 ni entre 14.

6. Carlos es profesional s y slo s, es graduado universitario.


Ocurre que Carlos es matemtico. Por lo tanto, si Carlos es
matemtico entonces es graduado universitario.

B. 7 La frmula q p se traduce como:


1) Hago deporte porque estoy sano.
2) Es necesario llorar para estar tranquilo.
3) Hago mis tareas al tener vacaciones.
4) Slo si bailo, me divierto.
Son correctas:

a) 1, 2 y 3 b) 2, 3 y 4 c) 3, 4 y 5 d) T.A. e) N.A.
8 La frmula p q r s, se traduce como:
1) No slo la distancia es una magnitud del movimiento sino que

el tiempo tambin lo es igual que la velocidad y la aceleracin

siempre y cuando se defina como cambio de un lugar a otro.

2) La distancia es una magnitud del movimiento del mismo modo

el tiempo y la velocidad por lo cual y segn lo cual el

movimiento es el cambio de ubicacin.

3) El tiempo, la velocidad y la aceleracin son magnitudes del


movimiento, si el movimiento es cambio de espacio.

4) El avin aunque tambin el barco al igual que el bus son

medios de transporte cada vez que y slo s trasladan

pasajeros de un lugar a otro.

5) El perro, tanto como el gato lo mismo que el asno son

animales tiles para el hombre es equivalente a decir que son

domsticos.

Son correctas:
a) 1, 2 y 3 b) 2, 3 y 4 c) 3, 4 y 5 d) 2, 4 y 5
e) 1, 3 y 5

9. La frmula q p, se traduce como:


1) Si eres buen estudiante lgicamente sers buen profesional.
2) Ingresars a la universidad porque eres buen estudiante.
3) De ser buen estudiante obviamente ingresars a la

universidad.

4) Ingresars a la universidad si eres buen estudiante.


5) Crecen las plantas siempre que haya humedad en la tierra.
Son correctas:

a) 1, 2 y 3 b) 2, 3 y 4 c) 3, 4 y 5 d) 2, 4 y 5

e) 1, 3 y 5
EJ ER CI CI OS SOBR E VA LOR ES VER I T A T I VOS :

C. 10. Si la proposicin:
(p q) (p r) es falsa,

Se afirma que:

I. p q es falsa
II. r q es verdadera

III. q p es verdadera

Son ciertas:

a) Slo I b) slo II c) Slo I y III


d) Slo II y III

11. Si la proposicin:
(p q) (q r) es falsa, luego:

I. (p q ) no es falsa

II. (q s) no es falsa
III. (q p) es verdad
Son ciertas:
a) Slo I b) Slo II c) Slo I y III
d) Slo II y III e) I, II y III

12. Si la proposicin:
p q) r (r s) es verdadera
Hallar el valor de verdad de:

I. p q) (r s)
II. p s) r w p)
III. q r w p sq)
Son ciertas:
a) VVV b) FVV c) FFV d) FFF e) VFV
ACTIVIDAD N OBJETIVO N 04
01
Determinar cundo una
proposicin compuesta es
una tautologa, contradiccin
o contingencia.
Analice la siguiente informacin sobre

1.4. T A UT OL OG A , CONTR A DI CCI N O CONT I NGENCI A :

Una proposicin molecular es una t aut o l o g a si, como


resultado de su evaluacin, los valores de verdad del operador de
mayor jerarqua son todos verdaderos. Si estos valores son todos
falsos es una c o nt radi cc i n . Si no es
una tautologa ni una
contradiccin es una c o nt
i n g e n c i a.

Para evaluar una proposicin compuesta es necesario construir

su tabla de valores de verdad respetando la jerarqua de los

operadores de menor a mayor.

El total de valores de verdad por cada variable es 2n, donde n es

el nmero de variables proposicionales, combinndolos mitad V y

mitad F por cada columna, respectivamente.

EJ EMP LO 1
Determinar, previa evaluacin; si cada uno de los siguientes

esquemas moleculares es una tautologa, contradiccin o

contingencia.

1. p q r q p q q r

2. p q r r (p q

3. p q r ) (p r q
So l uc i n :

1. n de variables proposicionales: 3
Total de valores por cada variable: 23 = 8

p q r q p q q r

1 2 3 4 5 6 7 8
p q r q p 1 rq 3 2 4 23 6 57
1 1 1 0 1 1 0 0 1 0 1
1 1 0 0 1 0 1 1 0 1 1
1 0 1 1 0 0 1 0 1 0 1
1 0 0 1 0 0 1 0 1 0 1
0 1 1 0 0 1 0 0 1 0 1
0 1 0 0 0 0 1 0 1 0 1
0 0 1 1 1 0 1 1 0 1 1
0 0 0 1 1 0 1 1 0 1 1

El esquema molecular Operador principal o


es una T A UT OL OGI A de mayor jerarqua

2.
p q r r (p q

1 2 3 4 5 6 7 8 9
p q r p 1q r 23 q pv5 6 r7 48
1 1 1 0 0 1 1 0 1 0 0 0
1 1 0 0 0 1 1 0 1 0 0 0
1 0 1 0 0 1 1 1 1 0 0 0
1 0 0 0 0 1 1 1 1 0 0 0
0 1 1 1 1 0 0 0 0 1 1 0
0 1 0 1 1 1 1 0 0 1 0 0
0 0 1 1 0 1 1 1 1 0 0 0
0 0 0 1 0 1 1 1 1 0 0 0

El esquema molecular Operador principal o


es una CONT R ADI CCI N de mayor jerarqua
3.

p q r ) (p r q

1 2 3 4 5 6 7 8
p q r r q1 p2 p 4r q 56 37
1 1 1 0 0 1 0 1 0 0 0
1 1 0 1 1 1 0 0 0 1 1
1 0 1 0 1 1 0 1 1 1 1
1 0 0 1 1 1 0 0 1 0 0
0 1 1 0 0 0 1 1 0 0 0
0 1 0 1 1 1 1 1 0 0 0
0 0 1 0 1 1 1 1 1 1 1
0 0 0 1 1 1 1 1 1 1 1

El esquema molecular Operador principal o


es una CONT I NGENCI A de mayor jerarqua
ACTIVIDAD N 02

Resuelve a continuacin los siguientes

EJ ER CI CI OS SOBR E EVA L UACI N DE PR OP OSI CI ONES


COMP UEST A S:

Determinar, previa evaluacin, si cada uno de los siguientes esquemas


moleculares es una tautologa, contradiccin o contingencia.

1. p q p p q p q

2. p q q p p q p q

3. p q q / p) p q) p q p/ q)

4. p q) r q r p p

5. (p q) (q p) q (p r)

6. p q r p p q q r)

7. p q) r r q p r q

8. Como es hora laborable, se concluye que en el juzgado hay jueces y


testigos, dado que, si es hora laborable, en el juzgado hay jueces, y
hay testigos, si en el juzgado hay jueces.

OBJETIVO N 05
ACTIVIDAD N
01 Determinar cundo dos
proposiciones compuestas
son lgicamente esquiva-
lentes y cuando una implica a la otra.

Analice la siguiente informacin sobre

1.5. EQUI VA L ENCI A E I MPL I CA CI N:

Do s e sq ue m as mo l ec ul are s A y B so n e q ui v al e nt e s si tienen
los mismos valores de verdad en su operador principal, o si
unidos por el bicondicional el resultado es una tautologa. Es

decir, A B si A B es una tautologa.


Un e sque m a mo l ec ul ar A im pl i c a a o t ro B si unidos por
el
condicional, en ese orden, el resultado es una tautologa. Es decir,

A implica a B si A B es una Tautologa;


B implica a A si B A es una Tautologa

EJ EMP LO 1
Dados los siguientes esquemas moleculares:

A = p q) ( r p
B = p (r q)

C = q ( r p)

Determinar los que son equivalentes

So l uc i n :
A

C
p q r (pq) (r p) p r q q r p)

1 1 1 1 1 1 0 0 1 0 0 0 1 0 1 0

1 1 0 1 1 0 1 0 0 1 1 0 1 1 0 0

1 0 1 0 1 1 1 0 0 0 1 1 1 0 1 0

1 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0

0 1 1 1 1 0 1 1 0 0 0 0 1 0 1 1

0 1 0 1 1 0 0 1 1 1 1 0 1 1 1 1

0 0 1 1 1 0 0 1 1 0 1 1 1 0 1 1

0 0 0 1 1 0 1 1 0 1 0 1 1 1 1 1

A y B tienen los mismos valores de verdad

en su operador de mayor jerarqua, por lo


tanto:
AC

EJ EMP LO 2
Dados los siguientes esquemas moleculares:

A=p q

B = (p r)

C=qp

D = (q r)

Determinar:
1) Si A implica a C
2) Si B es implicado por D
3) Si C implica a la disyuncin de A, B y D
4) Si A entonces B est implicado por la negacin de C.
So l uc i n :
1) A implica a C si A C es una tautologa verificando:

A C A C
p q (p q) qp p q qp)

1 1 1 0 0 1 1

1 0 0 1 1 1 1

0 1 1 0 0 0 1

0 0 1 0 1 1 1

Por lo tanto, A implica a C es una tautologa

2) B es implicado por D si D B es una tautologa verificando:

D B D B
p q r (q r) (p r) qr (pr)

1 1 1 1 0 0 0 1 0

1 1 0 0 1 1 0 1 1

1 0 1 0 1 0 0 1 1

1 0 0 0 1 1 0 1 1

0 1 1 1 0 0 0 1 0

0 1 0 0 1 1 1 0 1

0 0 1 0 1 0 0 1 1

0 0 0 0 1 1 1 0 1

Por lo tanto, no es una tautologa


B no es implicado por D es una contingencia
3) C implica a la disyuncin de A, B y D si C (ABD) es una
Tautologa.
Verificando:
C ABD C(A B D)
p q r qp pq(pr) (qr
1 1 1 1 1 1 0 1 1
1 1 0 1 1 1 0 0 1
1 0 1 1 0 0 0 0 0
1 0 0 1 0 0 0 0 0
0 1 1 0 0 1 0 1 1
0 1 0 0 0 1 1 0 1
0 0 1 1 1 1 0 0 0
0 0 0 1 1 1 1 0 1

Por lo tanto, No es una tautologa

C no implica a la disyuncin es una Contingencia

de A, B y D

4) A entonces B est implicado por la negacin de C si


C A B) es una tautologa. Verificando

C A B C (A B)
p q r (q p) pqpr) qppq pr)
1 1 1 0 1 1 0 0 0 1
1 1 0 0 1 1 0 0 0 1
1 0 1 0 1 0 1 1 0 1
1 0 0 0 1 0 1 1 0 1
0 1 1 1 0 0 1 1 0 1
0 1 0 1 0 0 1 1 1 1
0 0 1 0 1 1 0 0 0 1
0 0 0 0 1 1 0 1 1 1

Por lo tanto, es una tautologa

A entonces B est implicado


por la negacin de C.
ACTIVIDAD N 02

Resuelve a continuacin los siguientes

EJ ER CI CI OS SOBR E EQUI VA L ENCI A E I MPL I CA CI N :

I. En cada grupo de esquemas moleculares que aparecen a

continuacin, determinar los que son equivalentes.

1. P=p r q)

Q = ( p q) r

R = q (p r)

2. P = Si los fenmenos naturales se comportan segn las leyes


de la mecnica de Newton, entonces Newton dice la

verdad; sin embargo, la Fsica clsica no es absoluta.

Q= Newton dice la verdad si la fsica clsica no es absoluta,

s y slo s los fenmenos naturales no se comportan

segn las leyes mecnicas de Newton.

R= Ni Newton dice la verdad ni la fsica clsica es absoluta,


o la fsica clsica no es absoluta a la vez que los
fenmenos naturales no se comportan segn las leyes
mecnicas de Newton.
II. Dados los siguientes esquemas moleculares:

P = El estado es responsable de la economa del pas s y slo s

las leyes de la reforma econmica no son aplicables a la

realidad.

Q = No se da el caso que las leyes de la reforma econmica sean

aplicables a la realidad o el Estado sea responsable de la

economa del pas.

R = Si los polticos dicen la verdad, entonces, o el Estado es

responsable de la economa del pas o las leyes de la reforma

econmica non son aplicables a la realidad.

Determinar:

1) Si P implica a Q

2) Si R es implicado por Q

3) Si Q implica a R

4) Si R implica a la disyuncin de P y Q

5) Si la conjuncin de P y Q est implicada por R.

6) Si la bicondicional de P y Q est implicada por R.

7) Si la negacin de Q est implicada por la disyuncin de P

y R.

8) Si la negacin de la conjuncin de P y R implica a la

negacin de Q.

ACTIVIDAD N OBJETIVO N 06
01 Enunciar, demostrar y
aplicar las principales leyes
lgicas o tautolgicas
notables.
Analice la siguiente informacin sobre

1.6. P R I NCI P A L ES L EY ES L GI CA S O T A UT OLOG A S NOT A BL ES :

1) Identidad
(a) p p T (b) p p p
2) No Contradiccin:
(p p) C T
3) Tercio Excluido:
p p T
4) Idempotencia:
(a) p p p (b) p p p
5) Conmutativa:
(a) p q q p (b) p q q p
6) Asociativa:
(a) p (q r) (p q) (b) p (q r) (p q) r

7) Distributiva:
(a) p ( q r) (p q) (p r)
(b) p ( q r) (p q) (p r)

8) Doble Negacin o Involucin:


(p) p
9) Absorcin:
(a) p (p q) p
(b) p (p q) p
(c) p (p q) p q
(d) p (p q) p q

10) Morgan:
(a) (p q) p q p/q
(b) (p q) p q p q

11) Condicional:
(a) p q p q
(b) (p q) p q

12) Disy uncin Fuerte:


p q (p q) (p q) (p q) (q p)

13) Transposicin:
(a) p q p q
(b) (p q) q p

14) Transitiva:
(a) (p q) (q r) (p r)

(b) (p q) (q r) (p r)

15) Elementos Neutros Respecto a y


(a) p T p

(b) p T T

(c) p C C

(d) p C p
La de mo st rac i n de las propiedades leyes lgicas a tautolgicos

notables se realiza construyendo su tabla de valores veritativos.

En los siguientes ejemplos se mostrar algunas de las


aplicaciones de las principales leyes lgicas o tautologas
notables, tales como equivalencia de proposiciones y
simplificacin de proposiciones complejas.

EJ EMP LO 1 :

Hallar la proposicin equivalente a:


No es el caso que, hace fro y no se congele
(a) Hace fro o no congela
(b) No hace fro o congela
(c) No hace fro o no congela
(d) Hace fro o congela
(e) Hace fro y no congela

So l uc i n :
Consideramos p = hace fro q = congela
Formalizando:
No es el caso que, p y no q

(p q) Morgan
p q
cuya lectura es: No hace fro o congela . Respuesta (b)

EJ EMP LO 2 :

Hallar la proposicin equivalente a:


Hay que pagar 50 soles y servicio para ingresar al Club

(a) No ingresar al club o pagar 50 soles, y ser socio.


(b) Pagar 50 soles o ser socio, y no ingresar al club.
(c) Pagar 50 soles y ser socio, o no ingresar al club.
(d) Pagar 50 soles y no ser socio, y entrar al club.

(e) No es cierto que se pague 50 soles y ser socio, o ingrese al


club.

So l uc i n :

Formalizando:
p = pagar 50 soles
q = ser socio

r = ingresar al club.
Hay que p y q para r.

(p q) r por condicional
(p q) r

Luego:
No es cierto que se pague 50 soles y sea socio, o ingrese al club.
Respuesta (c)

EJ EMP LO 3 :

Hallar la proposicin equivalente a:

17 es primo porque 17 es primo o 30 es par, y 30 es par

(a) Si 17 es primo, entonces 30 no es par.

(b) Si 30 es par, entonces 17 no es primo.

(c) Si 17 no es primo, 30 no es par.

(d) 30 es par o 17 es primo.


(e) 17 es primo ya que 30 no es par.
So l uc i n :

Formalizando:
p = 17 es primo
q = 30 es par
(p q) q p q p Por absorcin

Si 30 es par, 17 es primo
q p Por condicional

30 no es par o 17 es primo
p q Por transposicin

Si 17 no es primo, 30 no es par

Respuesta (c)

EJ EMPL O 4 :

Simbolizar y luego simplificar la proposicin:


Viene a casa o se va de viaje, pero no viene; en
consecuencia se va de viaje
(a) T b) C c) p d) p q e) p q

So l uci n :

Formalizando:
Sea p = viene a casa
q = se va de viaje
p q, pero no p; en consecuencia q
(p q) p q

(q p) q por absorcin
(q p) q por condicional

(q p) q por Morgan

p (q q) asociativa

pT tercio excluido
T elemento neutro para

Respuesta (a)

EJ EMP LO 5 :

Simbolizar y luego simplificar la proposicin:


Cuando obtenga mi ttulo entonces ingreso a la carrera

magisterial, pero no ingreso a la carrera magisterial; luego no

obtuve mi ttulo

(a) p b) p c) p q d) C e) T

So l uc i n :

Formalizando:

Sea p = obtengo mi ttulo


q = ingreso a la carrera magisterial
Cuando p entonces q, pero no q; luego no p
(p q) q p
(p q) q p Condicional
p q) p Absorcin
p q) p Condicional
(p q) p Morgan
q (p p) Asociativa
q T Tercio excluido
T Elemento neutro para

Respuesta (e)
EJ EMP LO 6 :

Determinar los esquemas ms simples equivalentes a:

(a) (p q) q p
(b) (p q) p (q p)
(c) p (r) (q ) (p r)

So l uc i n :
(a) (p q) q p (p q) (q) p Condicional
(p q) q p Involucin
(p q) q p Morgan
(p q) q p Absorcin
qp Absorcin

(b) (p q) p (q p)
(p q) p (q p) Condicional
(
p p) q (q p) Asociativa
p q (q p) Idempotencia
(p q) q (p q) p Distributiva
q (q p) Absorcin
q Absorcin

(c) p (r) (q) (p r)


p (r) q
(p r) Condicional
p (r) q (p) (r) Morgan
p (r) (r) (q p) Conmutativa y asociativa.
r q p Absorcin
(
r p) q Asociativa
(r p) q Morgan
(r p) q Condicional
EJ EMP LO 7 :

Si definimos @ como:
p @ q p p (q t r) p

Simplificar:
(p q) @ (q p) @ (p q)
a) p b) p q c) p d) q p e) p q

So l uc i n :
Por dato, tenemos:
p @ q p p (q t r) p

Por la condicional se obtiene


p p (q t r) p

Por absorcin
p
Es decir p@qp

Luego, la proposicin molecular a simplificar:


(p q) @ (q p) @ (p q)

Aplicando la definicin @ dos veces


(p q) @ (q p)
pq
pq

Respuesta (e)
ACTIVIDAD N 02

Resuelve a continuacin los siguientes

EJ ER CI CI OS SOBR E L A S P RI NCI P A L ES LEY ES L GI CAS O


T A UT OL OG AS NOT
ABL ES:

1. Hallar la proposicin equivalente a:


La conducta puede ser accin u omisin

(a) La conducta no es accin ni omisin.


(b) La conducta es accin ms no omisin.
(c) La conducta no es accin no obstante es omisin.
(d) No es el caso que la conducta no sea accin ni omisin.
(e) No es cierto que la conducta sea accin o no sea omisin.

2. Hallar la profesin equivalente a:


Toma decisiones oportunas e inteligentes, pues es libre

(a) Es libre o toma decisiones oportunas e inteligentes.


(b) No es libre, o toma decisiones oportunas e inteligentes.

(c) Es libre y, toma decisiones oportunas como inteligentes.

(d) No es libre, ni toma decisiones oportunas e inteligentes.

(e) No es libre y, no toma decisiones oportunas o inteligentes.

3. Hallar la proposicin equivalente a:


Tendr el ttulo universitario o sustenta su tesis

(a) Sustenta su tesis o tiene el ttulo universitario.


(b) No es el caso que, sustente su tesis y tenga el ttulo

universitario.

(c) No es cierto que, sustente su tesis y no tenga el ttulo


universitario.

(d) No tiene el ttulo universitario, y sustenta su tesis.


(e) No es verdad que no sustente su tesis o tenga el ttulo

universitario.

4. Simbolizar y luego simplificar la proposicin:


Si el conocimiento es hipottico, se prueba; y si se prueba, entonces
es eficaz; luego, es eficaz cuando es hipottico

a) r b) p r c) T d) C e) (p q) r

5. Simbolizar y luego simplificar la proposicin:


Viene a casa o se va de viaje, pero no viene; en consecuencia se va
de viaje

a) T b) C c) p d) p q e) p q

6. Simplificar el esquema:
p (p q)

a) p q b) q p c) p q

d) q p e) p q

7. Simplificar el esquema:
(p q) (r p) (q p)

a) p q b) p q c) p q
d) p e) q

8. Simplificar:
(p q) (q p) (p q)

a) p q b) p q c) p q

d) p q e) q p
9. Simplificar:
(p q) p (q p) (p q)

a) p q b) (p q) c) p q
d) p q e) (p q)

10.Se define el conector @ como:


p @ q (p q) q q q

Simplificar el esquema molecular:


(p q) @ (t w) @ q @ p

a) q b) q c) p
d) p e) p q
BIBLIOGRAFA

1. BARKER, S. (1994). Elementos de Lgica. Mxico: Libros Mc Graw Hill.

2. COPI, I. & COHEN, C. (1996). Introduccin a la Lgica. Mxico: Editorial

Limusa.

3. ROSALES, D. (1989). Introduccin a la Lgica. Per: Amaru Editores.

4. SUPESS, P. (1985). Introduccin a la Lgica Simblica. Mxico: CECSA.

5. SUPESS, P. & HILL, SH. (1999). Primer Curso de Lgica Matemtica.

Espaa: Revert Ediciones, S.A.

6. TRELLES, O. & ROSALES, D. (2000). Introduccin a la Lgica. Per: Fondo

Editorial de la Pontificia Universidad Catlica.

7. VERA, F. (2003). Lgica Proposicional. Mdulo de Autoaprendizaje. Per:

Universidad Nacional del Santa.

8. WHITESITT, J. (1986). lgebra Booleana y sus Aplicaciones. Mxico:

CECSA.