004 Modulo Logica Proposicional

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
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.
iii
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
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 :

(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.
(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

(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.
(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

(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
01 Formalizar proposiciones
usando variables
proposicionales y los
conectivos lgicos, y
determinar su valor de verdad.
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

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
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
01
Determinar cundo una
proposicin compuesta es
una tautologa, contradiccin
o contingencia.
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

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

es una CONT I NGENCI A de mayor jerarqua
ACTIVIDAD N 02
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.
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
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.
01 Enunciar, demostrar y
aplicar las principales leyes
lgicas o tautolgicas
notables.
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 :

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 :
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
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.

004 Modulo Logica Proposicional

Cargado por

Copyright:

Formatos disponibles

004 Modulo Logica Proposicional

Cargado por

Información del documento

Descripción 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

004 Modulo Logica Proposicional

Cargado por

Copyright:

Formatos disponibles

UNIVERSIDAD NACIONAL DEL SANTA

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

Autor: Fidel Vera

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

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

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

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.

1.1. LA LGICA COMO CIENCIA

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

1.3. OPERADORES O CONECTORES LGICOS

1.4. TAUTOLOGA, CONTRADICCIN Y

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

1.6. PRINCIPALES LEYES LGICAS O

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,

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

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

01) De las siguientes expresiones:

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

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

04) Determinar cules de las siguientes proposiciones son equivalentes:

Simplificar el esquema molecular:

Analice la siguiente informacin sobre

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

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.

LGICA (en general)

Principios Procedimientos Propiedades Relaciones

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

Universidad Nacional del Santa 7

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