004 Modulo Logica Proposicional

UNIVERSIDAD NACIONAL DEL SANTA
FACULTAD DE CIENCIAS Departamento de Matemtica
Mdulo de Lgica
Proposiclenal
(A)
(B)
(C)
(E)
(F)
(G)
pq
pvq
pq
pAq
paq
p/q
pq
p <-> q
VV
VF
FV
FF
K_*
Oidor: Fidel Vera Obeso
Nuevo Chimbote, Per 2013
Lgica Preposicional_Fidel Vera Obeso

PRl OGO
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
3
Lgica Preposicional
INDICE
Fidel Vera Obeso
PROLOGO OBJETIVOS PRE-TEST CONTENIDO
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.
5
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
(02) C(n,k) =-n! , k<n
k!(n - k)!
(03) A/-T = i <- i2 = -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 A q) r ] (r v s)} es verdadera Hallar el valor de verdad de:
I. (p A q) <r> (r A s)
II. ~ [(p A s) -o- r] (w A p)
III. [q A (r A w)] A [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 o ( ~r
A q)
Q = (~ p o q) r
R = q o (p ~r)
6
Lgica Proposicional
Fidel Vera Obeso
05) Se define el conector @ como:
p
@ q = {[ (p A q) A ~q ] v ~q}v Simplificar el esquema molecular:
q
@ (t w)] @ ~q } @ ~p
~q ~p
d) p e) p A
NOMBRE : FECHA :
TIEMPO
: 1 HORA - 30 MINUTOS
7
{[
(p A q)
a) q b)
c)
Lgica Proposicional
Fidel Vera Obeso
ACTIVIDAI
X
i
OBJETIVO N 01 \
Conceptualizar la lgica como ] \
ciencia
reconocer su 1 importancia en el avance
3 N 01
Analice la siguiente informacin sobre
1.1. LA LGICA COMO CIENCIA:

CONCEPTUALIZACIN:
Considerando que la lgica estudia tanto la estructura como el
contenido del pensamiento, conceptualmente afirmamos que "La Lgica (en genera)
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".
ESQUEMTICAMENTE:
Principios y/o leyes

Identidad No contradiccin.
Tercio excluido Razn suficiente. Unidad y lucha
de contrarios.
Trnsito de
cantidad en calidad. Negacin de la negacin
LGICA (en general)
T
Mtodos
Induccin Deduccin Anlisis Sntesis
Formas
Concepto
Juicio Raciocinio
Base
Procedimientos
Definicin Clasificacin
Divisin
Explicacin
Argumentacin
Refutacin Demostracin Exposicin Investigacin
Propiedades
T
Espacio
Tiempo
Movimiento
Cantidad
Cualidad
Relaciones
Causa Efecto
Necesidad
Casualidad
Posibilidad
Realidad
Singular,
particular,
universal.
Universidad Nacional del Santa

9
Lgica Proposicional
Fidel Vera Obeso
LA LGICA Y LA CIENCIA:
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 deducciones, inducciones y analogas que
finalmente significan la creacin de una nueva teora: la teora de la relatividad. Sin
embargo no fue suficiente que Einstein
conociese 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 proceso (investigacin cientfica) y tambin como producto
(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 proceso 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 producto la ciencia en tanto teora a exponerse,
publicarse, necesita de la lgica para organizarse,
sistematizarse, estructurarse, formalizarse 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).
10
Lgica Proposicional
Fidel Vera Obeso
IMPORTANCIA DE LA LGICA PARA EL AVANCE CIENTFICO-TECNOLGICO:
Permite en base al conocimiento ya obtenido y validado, deducir 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 fundamentacin de las matemticas
(consideradas ciencias exactas), segn la cual se puede deducir de un conjunto de
axiomas un conjunto de teoremas. Tambin se usa la induccin y analoga
matemtica.
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.
11
Lgica Proposicional
Fidel Vera Obeso
ACTIVIDAD N 02
Resuelve a continuacin el siguiente
CUESTIONARIO SOBRE LA LGICA COMO CIENCIA:
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?
12

ACTIVIDAD N 01
/
/
OBJETIVO N 02 >^
Definir e identificar \
proposiciones. /
Estudie la siguiente informacin sobre

1.2. PROPOSICIN. DEFINICIN Y CLASES:
EL CONCEPTO:
Es una de las formas del reflejo del mundo en el pensar, mediante
el cual se entra en conocimiento de la esencia 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:
(designa un objeto real fsico) (designa un objeto real o psquico) (designa objeto
abstracto). (designa valor)
(indican relacin entre los anteriores) Finalmente, un concepto no afirma ni niega
nada, simplemente indica algo ya sea objeto o entidad.
Carpeta Alegra Nmero Perseverancia Todos, algunos
EL TRMINO:
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 "cerebro" se expresa con un solo trmino
o palabra.
El concepto estricto " Universidad Nacional del Santa" se
expresa con varios trminos o palabras.
13
Lgica Proposicional
Fidel Vera Obeso
EL JUICIO:
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.
LA ORACIN:
Convencionalmente, es una palabra o conjunto de palabras con
sentido o significado propio.
CLASIFICACIN DE LAS ORACIONES:
1) Declarativas o Aseverativas:
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 16mporque para hallar el rea de
un cuadrado se multiplica lado por lado.
2) Expresivas o no Aseverativas:
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? LA PROPOSICIN:
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.
14
Lgica Proposicional
Fidel Vera Obeso
En sntesis, el proceso lgico puede esquematizarse del modo siguiente:
PROPOSICIN
A modo de resumen se da el siguiente cuadro para que pueda

identificar proposiciones.
Son proposiciones
No son proposiciones
Las oraciones aseverativas.

Las leyes cientficas.
Las frmulas matemticas.
Las frmulas y/o esquemas
lgicos.
Los enunciados cerrados o
definidos.
Los hechos o personajes literarios.

Los proverbios, modismos y refranes.
Creencias religiosas, supersticiones y
mitos.
Las interrogantes.
Las rdenes.
Las interjecciones.
Los deseos, dudas y splicas.
Los abiertos o indefinidos.

15
Lgica Proposicional
Fidel Vera Obeso
EJEMPLO 1
De las siguientes oraciones, identificar las que son proposiciones.
01) Cuando x > 3 entonces xq
2
>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.
Solucin:
La caracterstica fundamental de una proposicin es verdadera o falsa
empricamente. De acuerdo a esto:
Son proposiciones:
1, 2, 3, 8 y 10
(oraciones aseverativas)
15 (frmula matemtica)
No son proposiciones: 5 y 6 (figuras literarias)
4 (interjeccin)
16
2
Lgica Proposicional
Fidel Vera Obeso
13
14
(refrn) (supersticin)
CLASES DE PROPOSICIONES:
Simples, atmicas o elementales: Aquellas que carecen de conectores lgicos.
Compuestas, moleculares o coligativas: Aquellas que tienen uno o ms conectores
lgicos.
EJEMPLO 2
De las siguientes proposiciones, identificar las proposiciones simples y las
proposiciones compuestas.
01) 02) 03) 04) 05) 06)
07)
08) 09) 10)
11) 12) 13)
No existe la capa de ozono.
El SIDA y la TBC son enfermedades.
Los ofidios tienen extremidades o bien vrtebras.
Los medios de comunicacin son necesarios en la pedagoga.
iCero es un nmero par o impar.
La relacin es una funcin y representa
una circunferencia.
Si
es un nmero irracional entonces es un nmero real.
si y slo si x = h
Manipular la computadora y la impresora son ejemplos de aprendizaje motor.
"Peruanicemos al Per" es un tema crtico-cientfico-literario de Jos Mara
Arguedas.
Las palabras: mrmol, carcter, bal, trax llevan tilde por ser graves prosdicas.
Los metaloides son combinables con oxgeno para formar
17
Lgica Proposicional
Fidel Vera Obeso
14) En todo proceso redox existen uno o ms elementos que se oxidan.
15) X + 6 = 4 si X = -2
Solucin:
4 y 13 son proposiciones simples pues carecen de conectores lgicos.
1 y 5 tienen la negacin como conectivo. El smbolo matemtico V " diferente a" es
equivalente a "no es igual a".
2, 7, 10, 11 y 12 tienen la conjuncin como conectivo.
3, 6 y 14 tienen la disyuncin como conectivo.
8 y 15 tiene como conectivo el condicional.
9 tiene el bicondicional como conectivo.
18
Lgica Proposicional
Fidel Vera Obeso
ACTIVIDAD N 02
Resuelve a continuacin la siguiente
EJERCICIOS SOBRE PROPOSICIN. DEFINICIN Y CLASES:
(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.
19
Lgica Proposicional
Fidel Vera Obeso
(3) El valor de n = 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=n/4
2
-i
(2) 2 2
1
= % no obstante
1/2
(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)
k\(n- k)\
(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
20
Lgica Proposicional
Fidel Vera Obeso
ACTIVIDAD N 01
OBJETIVO N 03
Formalizar proposiciones usando variables
proposicionales y los
conectivos lgicos, y
determinar su valor de verdad.
Operadores o Conectivos Lgicos:

La Negacin
i_
Smbolo: ~
Esquema lgico
Lectura
P
"no p", "nunca p",
"jams p", "tampoco p"
"es absurdo que p"
"es inadmisible que p"
"es falso que p"
"no acaece que p"
"es inconcebible que p"
"no es innegable que p"
"es imposible que p"
"carece de todo sentido que p"
"no ocurre que p"
"de ninguna forma se da p"
"no es verdad que p"
"es errneo que p"
"es mentira que p"
"es incierto que p"

"nadie que sea p"
etc...

21
Lgica Proposicional
Fidel Vera Obeso
La Disyuncin Dbil o Inclusiva
Smbolo:
v, +
Esquema lgico
p q, p + q
Lectura
"p q"
"a menos que p, q" "p
tambin q"
"p de lo contrario q"
"p salvo que q"

"p a menos que q" "p excepto que q"
"p en tal sentido q"
etc...
La Disyuncin Dbil o Exclusiva

Smbolo:
v.
Esquema lgico
pvq, pAq, pyfq, p^q, p>--<q
Lectura
"o p q"
"p no equivale a q" "p no se
define como q" "ya sea p ya
sea q"
A,
-- <
jzr, > -
"o bien p bien q"

"p es diferente a q"
"ya bien p ya bien q"
"p se contrapone a q" "p excluye a q"
"p solamente q"
"p nicamente q"
El Operador de Nicond
Smbolo:
Esquema lgico
P/q, ~p ~q, ~ (p
Lectura
"no p no q"
"es falso que no p y no q"
La Conjuncin
Smbolo:
A,
Esquema lgico
., &
q, p.q , p&q
q).
Lectura
1
23
"p y q"
"p tambin q"
"p pero q" "p aunque q" "p sin "p del mismo modo q"
embargo q" "p incluso q" "p "p de la misma forma q"
as como q" etc...
"p tal como q"
"p al igual que q"
"p no obstante q"
"p es compatible con q"
"no slo p tambin q"
"siempre ambos p con q"
"tanto p como, cuanto q"
Lgica Proposicional
Fidel Vera Obeso
El operador de Sheffer
i
Smbolo:
Esquema lgico p i q, ~pA~q, ~(pvq)
Lectura
"ni p ni q" "es falso que p q"
El Condicional
Smbolo:
Esquema lgico
p q, p 3 q
Lectura
"si p entonces q"

"cuando p as pues q"
"ya que p bien se ve que q"

"siempre que p por consiguiente q"
"con tal de que p es obvio

que q"
"como quien que p por lo cual q"

"en el caso de que p en tal sentido
"en virtud de que p es
q"
evidente q"
"toda vez que p en consecuencia q"
"dado p por eso q"
"en la medida que p de all q"
"en cuanto p por tanto q"
"en el caso de p en este caso q"
"de p deviene q"
"p impone q"
"de p deducimos q"

"p slo si q"
"p es condicin suficiente para q"

etc...
En la condicional:
p
t
el s
El Antecedente La Hiptesis La causa
La Premisa
El consecuente La tesis
El efecto
La Conclusin
Despus de las siguientes palabras va el antecedente de una condicional

(INDICADORES DE PREMISAS):
puesto que dado que
a causa de
porque
pues
se sigue de como muestra
ya que
si como es indicado por
la razn es que
por las siguientes razones
se puede inferir de
se puede derivar de
se puede deducir de
en vista de que
cuando
cada vez que, siempre que, a condicin de que, es condicin necesaria para, es
insuficiente para.
q

25
Lgica Proposicional
Fidel Vera Obeso
En este caso el esquema lgico es:
Consecuente Conclusin
Palabra Indicador de premisa
Premisa Antecedente
r
Este conectivo se llama REPLICADOR. El Bicondicional
Smbolo:
<-, =
Esquema lgico
p <- q, p = q
Lectura
"p s y slo si q" "p se define

"p es equivalente, equivale a q" "p
como q" "p es lo mismo que q" siempre que y slo cuando q" "p cada
"p es idntico a q" etc....
vez que y slo si q" "p es equipolente a
q"
"p es de la forma q"
"p es condicin necesaria y
suficiente para q".
EJEMPLO 1
Formalizar o simbolizar las siguientes proposiciones.
1) Estudias Lgica o Biologa, pero no ambas a la vez. (p v

q) A ~ (p A q) (p v q) A ~ (p A q) = (p v q) A (p i
q)
2) O bien los animales son vertebrados o bien invertebrados, pero
(p A ~p) A
no es el caso que sean invertebrados a la vez vertebrados. ~ (~p A p)
(p A ~p) A ~ (~p A p)
3) Un enunciado abierto no es una proposicin a menos que
~p v se le asignen valores a la variable.
q
~p v q
s
26
Lgica Proposicional
Fidel Vera Obeso
4) Una condicin necesaria para que Roco no sea premiada con un libro
<- ~p es que estudie matemticas y no apruebe el examen. (q A ~r)
~p ( q A ~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.
Solucin: 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 A r) dado que (p q) A (r si q)]
Simbolizando los replicadores:
[(p q) A (qr)] [p (qAr)]
27
Lgica Proposicional
Fidel Vera Obeso
VALORES VERITATIVOS DE LOS OPERADORES O CONECTIVOS LGICOS
p
~p
V
V
(A)
(B)
(C)
(D)
(E)
(F)
(G)
pq
pvq
p^q
pAq
paq
p/q
pq
pq
VV
VF
FV
FF
(A) y (B) i son de valores de verdad opuestos
(D) y (E) r
Sentido convencional de la verdad formal. (A) es V -o al menos p es 1 q es 0
(C) es V o p y q tienen valores de verdad desiguales
(E) es V - cuando menos p es 0 q es 0
(G) es V o p y q tienen valores de verdad iguales
etc.
Sentido convencional de la falsedad formal: (D) es F -o al menos p es 0 q es 0
(F) es F -o p es 1 y q es 0
(G) es F o p y q tienen valores de verdad desiguales (C) es F o p y q tienen valores
de verdad iguales. etc.
28
Lgica Proposicional
Fidel Vera Obeso
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 Aq
Si p es
entonces
G)
p A q es
entonces
GV
Si p es
GK
p A q es
entonces V
p A q es
entonces
G)
p A q es
EJEMPLO 2
Si la proposicin q r es falsa, el valor de verdad de las siguientes proposiciones:
I. r A (p v r)
II. ~ (q A r)
III. (r A ~ q) p
IV. p A (q r)
Son respectivamente:
(a) FVFV
d) FFFV
(b) VVFV
e) FVVF
c) VFVF
Solucin: Sabemos que: q r = F V F

q =V
=F
Luego:
I. r A (p v r) = F
FA V

30
Lgica Proposicional
Fidel Vera Obeso
II. ~ (q A r) = V ~ F
III. ( r A ~q) p = V ( F A F) p
F p cualquiera sea el valor de verdad de p
IV. p A (q r) = F P A F
cualquiera sea el valor de verdad de p
Respuesta (e)
EJEMPLO 3
Dadas las proposiciones:
q : " 7 es un nmero racional" p y r cualquier proposicin adems se sabe que:
~[ (r v q) (r p) ] es verdadera
Hallar el valor de verdad de:
I. r (~ p v ~ q)
II. [ ( r o (p A q)] o (q A ~p)
III. ( r v ~p) A (q v p)
(a) VVV
(b) FFF c) VFV d) FVV e) VVF Solucin:
Del dato, q = F, adems (r v q) ( r p) = F V F (i) r p = F (ii) r v q = V
V FVv F
p = F .'. q = F r = V
31
Lgica Proposicional
Fidel Vera Obeso
I. r (~p v ~q) = V V (V v V)
V V
II. [ (r o (p A q)] o (q A ~p) = V (V o F) o (F A V)

Fo F
III. ( r v ~p) A (q v p) = F
(V v V) A (F v F) V A F
Respuesta (c)
EJEMPLO 4 Si se sabe que:
{[(r v s) t] A (p v q) } A {~{[(r A t) A s] (~qA~p)}}
es verdadera, hallar el valor de verdad de:
I. {[(p v q) r ] A ( t p )} A r
II. [ (r s) v ~t ] ~(p v q)
III. ~ (p v q) A ( t ~ A)
(a) VVV
(b) VFF c) VFV d) FVV e) VVF Solucin:
Para que toda la proposicin sea verdadera, cada una de las
expresiones entre llaves debe ser verdadera, o sea:
(i) {[( r v s) t ] A (p v q)} = V
(ii) {-{[( r A t) A p] (~q A ~p)}} = V
1
V
32
Lgica Proposicional
Fidel Vera Obeso
De (ii)
[(r A t) A s] (~q A ~p) = F C_'_j
C_ J
-Y- -Y-
V F
V AV
s=V
(~q A ~p) = F ~ (q v p) = F
: q v p= V
De (i) {[( r v s) t, ] A (pv^q)}= V A V
F
s
( r v s) t = F
VF
t=F
r=V
Luego, evaluando los casos pedidos:
I. {[(p v q) r ] A ( t p )} A r = V {[(V V ] A ( F p )} A V {V A
V} A VFA V
II. [ (r s) v ~t ] ~ (p v q) = F [ (V V) v V ] ~ (V) [ (V v V ] F V F
33

IV. ~ (p v q) A ( t ~ s) = F
F A ( F F)
F AV
Respuesta (b)
34
Lgica Proposicional
Fidel Vera Obeso
ACTIVIDAD N 02
Resuelve a continuacin los siguientes
EJERCICIOS SOBRE FORMALIZACIN DE PROPOSICIONES:
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.
35
Lgica Proposicional
Fidel Vera Obeso
8 La frmula [( p A q ) A r ] o 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
36
Lgica Proposicional
Fidel Vera Obeso
EJERCICIOS SOBRE VALORES VERITATIVOS:
C. 10. Si la proposicin:
(p A ~q) (p r) es falsa,
Se afirma que:
I. p v 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 A q) (q r) es falsa, luego:
I. (p o q ) no es falsa
II. (q v 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 A q) r ] (r v s)} es verdadera
Hallar el valor de verdad de:
I. (p A q) o (r A s)
II. ~ [(p A s) o r] (w A p)
III. [q A (r A w)] A [p (sq)]
Son ciertas:
a) VVV b) FVV
c) FFV
d) FFF
e) VFV
37
Lgica Proposicional
Fidel Vera Obeso
ACTIVIDAD N 01
OBJETIVO N 04
una
es
Determinar cundo proposicin compuesta una tautologa, contradiccin o contingencia.
1.4. TAUTOLOGA, CONTRADICCIN O CONTINGENCIA:
Una proposicin molecular es una tautologa 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 contradiccin. Si no es una tautologa ni una contradiccin es una
contingencia.
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.
EJEMPLO 1
Determinar, previa evaluacin; si cada uno de los siguientes
esquemas moleculares es una tautologa, contradiccin o contingencia.
1. [(p A ~q) A ~ ( r A q ) ] o ~ [ ( p A ~q) (q A r ) ]
2. [ (~p A q) ~r ] o [ r A ~ (p v ~q ) ]
3. [ p v (q ~r ) ] A [ (~p v r ) o ~q ]
38
Lgica Proposicional
Fidel Vera Obeso
Solucin:
1. n de variables preposicionales: 3
=8
3
Total de valores por cada variable: 2
[(p A ~q)
~(r
q )]o
~ [ ( p A ~q) (q
r ) ]) ]
2 A4 23
~6
5o7
pA 1 r
1 1 1 0
1 1 0 0
1 0 1 1
1 0 0 1
0 1 1 0
0 1 0 0
0 0 1 1
0 0 0 1
2.
r3
p q r ~q
El esquema molecular
es una TAUTOLOGIA
[ (~p
1
p
q)
p 1 Aq
~r ]
r 23
Operador principal
de mayor jerarqua
[r
(p v ~q ) ]
pv5
~6
9
A
7 4o8
1 1 1 0
1 1 0 0
1 0 1 0
1 0 0 0
0 1 1 1
0 1 0 1
0 0 1 1
0 0 0 1
El esquema molecular es
una CONTRADICCIN

40
Operador principal o de
mayor jerarqua
Lgica Proposicional
Fidel Vera Obeso
3.
[ p v (q ~r ) ] A [ (~p v r ) o ~q ]
1
p q r ~r
q1
pv2
~p
4vr
~q
5o6
1 1 1 0
1 1 0 1
1 0 1 0
1 0 0 1
0 1 1 0
0 1 0 1
0 0 1 0
0 0 0 1
El esquema molecular Operador principal o

es una CONTINGENCIA de mayor jerarqua
41
Lgica Proposicional
Fidel Vera Obeso
ACTIVIDAD N 02
EJERCICIOS SOBRE EVALUACIN DE PROPOSICIONES
COMPUESTAS:
Determinar, previa evaluacin, si cada uno de los siguientes esquemas moleculares
es una tautologa, contradiccin o contingencia.
1. ~ { (p A q) v [ p A (~p v q) ] } o (p ~q)
2. {[(~p ) i q] v (q i p) } o { [ (~p ) i ( ~ q) ] v ( p i q) }
3. {[(p i q) i ( q / p) ] o (p A q) } o [ ~ (p A q) o (p/ q)]
4. [(- p q) A ~ r ] v {[( q A r) ~ p] A p }
5. ~[~ (p v q) o (q v p)] [~ q (p v r) ]
6. ~{[(p v ~q) A ~ (r A p)] o ~ [ (p v ~q) (q A r) ] }
7. ~ | ~ { ~ [ ~ ( ~ p A q) o ~r] ~ (~r v ~q)} o [p A ~ ( r o 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.
42
Lgica Proposicional
Fidel Vera Obeso
ACTIVIDAD
) N 01
/
OBJETIVO N 05 ^\
Determinar cundo dos proposiciones compuestas l
son lgicamente esquiva-lentes y cuando una implica
a la otra.
1.5. EQUIVALENCIA E IMPLICACIN:

Dos esquemas moleculares A y B son equivalentes 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 o B es una tautologa.
Un esquema molecular A implica a otro 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
EJEMPLO 1
Dados los siguientes esquemas moleculares:
A = (p q) v ( r A p) B = ~p <A (~r oq) C = ~q (~ r ~ p)
Determinar los que son equivalentes
Solucin:
43
Lgica Proposicional
Fidel Vera Obeso
A
p q r (pq)
(rA p)
~[~ p <H> (~ r <H> q )]
~ q (~ r ~ p)
1 1 1 1
1 1 0 1
1 0 1 0
1 0 0 0
0 1 1 1
0 1 0 1
0 0 1 1
0 0 0 1
A y B tienen los mismos valores de verdad en su operador de mayor jerarqua, por

lo tanto:
A=C
EJEMPLO 2
Dados los siguientes esquemas moleculares:
A = p >4 -q
B = - (p v 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.
44
Lgica Proposicional
Fidel Vera Obeso
Solucin:
1) A implica a C si A C es una tautologa verificando:
A- C
~ (p o ~ q)
q-p
[~ (po ~ q)] (qp)
00
11
00
01
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
~ (q ~ r)
~ (P
01
11
01
10
01
11
01
01
11
10
10
01
11
10
00
00
r)
[~(q~r)] [~(pvr)]
Por lo tanto,
implicado por D

46
no es una tautologa B no es
es una contingencia
Lgica Proposicional
Fidel Vera Obeso
3) C implica a la disyuncin de A, B y D si C (AvBvD) es una Tautologa.
Verificando:
C
AvB vD
C(A v B v D)
p
qp
~(po~q)]v~(pvr)v ~ (q~r]
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
AB
~ C (A B)
p
~ (q p) [~(po~q)]~(pvr)
~(qp)[~(po~q)] ~(pvr)
10
10
01
01
01
01
10
10
Por lo tanto, es una tautologa

A entonces B est implicado por la negacin de C.
47
Lgica Proposicional
Fidel Vera Obeso
ACTIVIDAD N 02
EJERCICIOS SOBRE EQUIVALENCIA E IMPLICACIN: I.
esquemas moleculares que aparecen a
continuacin, determinar los que son equivalentes.
1. P = p >4 ( ~r A q)
En cada grupo de
= (~ p o^q) r
R = q o (p ~r)
Q
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.
48
Lgica Proposicional
Fidel Vera Obeso
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.
49

ACTIVIDA
D N 01
S
OBJETIVO N 06 ^\
/ Enunciar, demostrar y \ / aplicar las
principales leyes ] l
lgicas o tautolgicas \
notables. /
1.6. PRINCIPALES LEYES LGICAS O TAUTOLOGAS NOTABLES:

1) Identidad
(a) p p = T (b) p o p = p
2) No Contradiccin:
~ (P A ~p) = ~C = T
3) Tercio Excluido: p v ~p = T
4) Idempotencia:
(a) p A ~p = p (b) p v p = p
5) Conmutativa:
(a) p A q = q A p (b) p v q = q v p
6) Asociativa:
(a) p A (q A r) = (p A q) (b) p v (q v r) = (p v q) v r
7) Distributiva:
(a) p A ( q v r) = (p A q) v (p A r)
(b) p v ( q A r) = (p v q) A (p v r)
8) Doble Negacin o Involucin:
~ (~p) = P
50
Lgica Proposicional
Fidel Vera Obeso
9) Absorcin:
(a) p A (p v q) = p
(b) p v (p A q) = p
(c) p A (~p v q) = p A q
(d) p v (~p A q) = p v q
10) Morgan:
(a) ~(p A q) = ~p v ~q = p/q
(b) ~(p v q) = ~p A ~q = p i q
11) Condicional:
(a) p q = ~p v q
(b) ~(p q) = p A ~q
12) Disyuncin Fuerte:
p A q = (p v q) A ~ (p A q) = (p A ~q) v (q A ~p)
13) Transposicin:
(a) p q = ~p ~q
(b) (p o q) = ~q o ~p
14) Transitiva:
(a) [(p q) A (q r)] (p r)
(b) [(p o q) A (q o r)] (p o r)
15) Elementos Neutros Respecto a A y v
(a) p A T = p
(b) p v T = T
(c) p A C = C
(d) p v C = p
51
Lgica Proposicional
Fidel Vera Obeso
La demostracin 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.
EJEMPLO 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
Solucin:
Consideramos
p = hace fro
q = congela
Formalizando:
No es el caso que, p y no q
= ~(p A ~q) Morgan = ~p v q
cuya lectura es: "No hace fro o congela ". Respuesta (b) EJEMPLO 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.
52
Lgica Proposicional
Fidel Vera Obeso
(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.
Solucin:
Formalizando:
p = pagar 50 soles q = ser socio
r = ingresar al club.
Hay que p y q para r.
= (p A q) r por condicional
= ~(p A q) v r
Luego:
"No es cierto que se pague 50 soles y sea socio, o ingrese al club". Respuesta (c)
EJEMPLO 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.
53
Lgica Proposicional
Fidel Vera Obeso
Solucin:
Formalizando:
p = 17 es primo
q = 30 es par
(p v q) A ql p = q p
"Si 30 es par, 17 es primo"
= ~q v ~p
Por absorcin
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)
EJEMPLO 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 v q e) p q
Solucin:
Formalizando:
Sea p = viene a casa
q = se va de viaje
p q, pero no p; en consecuencia q = [(pv q) A ~p] q
= [(Q A ~P) -> Q Por absorcin
54
Lgica Proposicional
Fidel Vera Obeso
(q A ~p) v q
(~q v p) v q
p v (~q v q)
= p v T = T por condicional
por Morgan
asociativa
tercio excluido elemento neutro para v
Respuesta (a)
EJEMPLO 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 A q d) C e) T
Solucin:
Formalizando:
Sea p = obtengo mi ttulo
q = ingreso a la carrera magisterial
Cuando p entonces q, pero no q; luego no p
= r(p -> q ) A ~q] -> ~p = r(~p v ^q) A ~q] ~p
= r~p A ~q) ~p = ~r~p A ~q) v ~p = (p v q) v ~p = q v (p v ~p)
=qvT
=T
Condicional
Absorcin
Condicional Morgan
Asociativa
Tercio excluido Elemento neutro para v
Respuesta (e)
= ~
=
=

55
Lgica Proposicional
Fidel Vera Obeso
EJEMPLO 6:
Determinar los esquemas ms simples equivalentes a:
(a) ~r~ (p A q) ~q] v p
(b) r (p q) v ~p ] A (~q p)
(c) r p A (~r) ] v r (~q ) ~(p A r) ]
Solucin:
(a) ~r~ (p A q) ~q ] v p
r~ (p A q) A ~(~q)] v p r~ (p A q) A q] v p r (~p v ~q) A q] v p
r (~p>-qrv q] v p
qvp
Condicional
Involucin
Morgan
Absorcin
Absorcin
=
=
=
=
=
(b) r (p q) v ~p] A (~q p) = r (~P v q ) v ~p] A (q v p) = r (~P v ~p) v q ]

r ~p v q ] A (q v p) = r (~p vq) A q ] v r (~pv q) A p ] = q v (q A p) = q
Condicional
Asociativa
Idempotencia
Distributiva
Absorcin
Absorcin
(c) r p A (~r)] v r (~q) ~(p A r) ]
= r p A (~r)] v r q v ~(p A r) ] Condicional
= r p A (~r)] v r q v (~p) v (~r)] Morgan
= {r E^4~r) ] v (~r)} v (q v ~p) Conmutativa y asociativa.
~r v q v ~p Absorcin
(~r v ~p) v q Asociativa ~ (r
=

56
p) v q Morgan (r
p) q Condicional
(q v p) =
Lgica Proposicional
Fidel Vera Obeso
Respuesta (e)
57
Lgica Proposicional
Fidel Vera Obeso
ACTIVIDAD N 02
EJERCICIOS SOBRE LAS PRINCIPALES LEYES LGICAS O TAUTOLOGAS
NOTABLES:
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.
58
Lgica Proposicional
Fidel Vera Obeso
(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 v r c) T
d) C e) (p v ~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 v q e) p - q
6. Simplificar el esquema:
~p (p A ~q)
a) p q b) q p c) p A ~q
d) q v ~p e) p v q
7. Simplificar el esquema:
~[(p v q) ~ (r p)] v ~(q p)
a) p v q b) ~p A q c) p A ~q
d) ~p e) q
8. Simplificar:
(p A q) (~q o ~p) A (p A q)
a) p A q b) p v q c) ~p A q
d) p A ~q e) q v ~p
59
Lgica Proposicional
Fidel Vera Obeso
9. Simplificar:
{[ (p q) A p] v ~(q p)} ~(p v ~q)
a) ~p A q b) ~(p A q) c) ~p q
d) p v q e) ~(p v q)
10.Se define el conector @ como:
p @ q = {[ (p A q) A ~q ] v ~q }v q
Simplificar el esquema molecular:
{[ ~ (p A q) @ (t w)] @ ~q } @ ~p
a) q b) ~q c) ~p
d) p e) p A q
60

RTRI TCDAETA
BIBLIOGRAFA
1
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.

61

004 Modulo Logica Proposicional

Cargado por

Información del documento

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

FACULTAD DE CIENCIAS Departamento de Matemtica

Lgica Preposicional_Fidel Vera Obeso

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

Lgica Proposicional_Fidel Vera Obeso

Lgica Proposicional_Fidel Vera Obeso

01) De las siguientes expresiones:

Analice la siguiente informacin sobre

1.1. LA LGICA COMO CIENCIA:

Principios y/o leyes

LGICA (en general)

Universidad Nacional del Santa

Lgica Proposicional_Fidel Vera Obeso

Estudie la siguiente informacin sobre

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

Las oraciones aseverativas.

Los hechos o personajes literarios.

Universidad Nacional del Santa

Operadores o Conectivos Lgicos:

"jams p", "tampoco p"

"es absurdo que p"

"es inadmisible que p"

"es falso que p"

"no acaece que p"

"es inconcebible que p"

"no es innegable que p"

"es imposible que p"

"carece de todo sentido que p"

"no ocurre que p"

"de ninguna forma se da p"

"no es verdad que p"

"es errneo que p"

"es mentira que p"

"es incierto que p"

Universidad Nacional del Santa

"p salvo que q"

La Disyuncin Dbil o Exclusiva

pvq, pAq, pyfq, p^q, p>--<q

"o bien p bien q"

"ni p ni q" "es falso que p q"

"si p entonces q"

"ya que p bien se ve que q"

"con tal de que p es obvio

"como quien que p por lo cual q"

"en virtud de que p es

"toda vez que p en consecuencia q"

"dado p por eso q"

"en la medida que p de all q"

"en cuanto p por tanto q"

"en el caso de p en este caso q"

"de p deviene q"

"p impone q"

"de p deducimos q"

"p es condicin suficiente para q"

Despus de las siguientes palabras va el antecedente de una condicional

Universidad Nacional del Santa

"p s y slo si q" "p se define

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

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

Solucin: Sabemos que: q r = F V F

Universidad Nacional del Santa

II. [ (r o (p A q)] o (q A ~p) = V (V o F) o (F A V)

Lgica Proposicional_Fidel Vera Obeso

Universidad Nacional del Santa