Sei sulla pagina 1di 55

Lgica Proposicional

Fidel Vera Obeso

OBJETIVO N 01
ACTIVIDAD N 01

Conceptualizar

la

lgica

como ciencia y reconocer su


importancia en el avance
cientfico.

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

ESQUEMTICAMENTE:

LGICA (en general)

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

Mtodos

Formas

- Induccin

- Concepto

- Deduccin

- Juicio

- Anlisis

- Raciocinio

- Sntesis

Universidad Nacional del Santa

Procedimientos

Propiedades

Definicin
Clasificacin
Divisin
Explicacin
Argumentacin
Refutacin
Demostracin
Exposicin
Investigacin

- Espacio

- Tiempo
- Movimiento
- Cantidad
- Cualidad

Relaciones

Causa
Efecto
Necesidad
Casualidad
Posibilidad
Realidad
Singular,
particular,
universal.

DAM

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

Universidad Nacional del Santa

DAM

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
podemos

general),

plantear

hiptesis

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
ejemplos 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

razonamientos

lenguaje

natural,

filosficos,

las

al

anlisis

aplicaciones

al

de

los

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.

Universidad Nacional del Santa

DAM

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?

Universidad Nacional del Santa

DAM

Lgica Proposicional

Fidel Vera Obeso

OBJETIVO N 02

ACTIVIDAD N 01

Definir

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

Universidad Nacional del Santa

DAM

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)
Ej.: 2 + 3 = 5
b) Descriptivas (Describen)
Ej.: La tierra gira alrededor del sol.
c) Explicativas (Explican)
Ej.: 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) Expresivas o no Aseverativas:
a) Exclamativas (Sentimientos, interjecciones)
Ej.: Viva el Per!
b) Imperativas (rdenes)
Ej.: Silencio
c) Desiderativas (Deseos, splicas)
Ej.: Quiero viajar al Cuzco
d) Interrogativas (Preguntas)
Ej.: 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.
Ej.: Todo nmero par es divisible por dos.

Universidad Nacional del Santa

DAM

Lgica Proposicional

Fidel Vera Obeso

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.

No son proposiciones

Son proposiciones
Las

oraciones Los

aseverativas.

personajes

Los proverbios, modismos y


refranes.

frmulas

Creencias

matemticas.
Las

literarios.

Las leyes cientficas.


Las

hechos

frmulas

esquemas lgicos.

religiosas,

supersticiones y mitos.

y/o

Las interrogantes.

Los enunciados cerrados Las rdenes.


o definidos.

Las interjecciones.
Los deseos, dudas y splicas.
Los abiertos o indefinidos.

Universidad Nacional del Santa

DAM

Lgica Proposicional

Fidel Vera Obeso

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

Solucin:
La

caracterstica

fundamental

de

una

proposicin

es

verdadera o falsa empricamente. De acuerdo a esto:


Son proposiciones:
1, 2, 3, 8 y 10
15

(oraciones aseverativas)
(frmula matemtica)

no son proposiciones:
5y6

(oraciones aseverativas)

(interjeccin)

(interrogante)

9, 11 y 12 (enunciados abiertos o indefinidos)

Universidad Nacional del Santa

DAM

Lgica Proposicional

Fidel Vera Obeso

13

(refrn)

14

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

{(x y ) R
1

/ x2 + y 2 = 1

es una funcin y

representa una circunferencia.


08) Si 2 es un nmero irracional entonces es un nmero
real.
09) x h = 0 S y slo s x = h
10) Manipular la computadora y la impresora son ejemplos
de aprendizaje motor.
11) Peruanicemos al Per es un tema crtico-cientficoliterario 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 anhdridos.

Universidad Nacional del Santa

DAM

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 "diferente a" es equivalente a "no es igual a".
1, 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.

Universidad Nacional del Santa

10

DAM

Lgica Proposicional

Fidel Vera Obeso

ACTIVIDAD N 02

Resuelve a continuacin la siguiente

PRCTICA SOBRE PROPOSICIN. DEFINICIN Y CLASES:


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) slo 1

03) De las siguientes expresiones:


(1) Los cuerpos caen por accin de la gravedad.
(2) La materia es energa concentrada.

Universidad Nacional del Santa

11

DAM

Lgica Proposicional

Fidel Vera Obeso

(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, 5

b) 1, 2, 3 y 4

c) 1,2, 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

2 1
=1
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, 5
05) De las siguientes expresiones:
(01) El ozono filtra los rayos ultravioletas
(02) C (n, k ) =
(03)

n!
, kn
k!(n k )!

1 = i i 2 = 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

Universidad Nacional del Santa

12

DAM

Lgica Proposicional

Fidel Vera Obeso

OBJETIVO N 03

ACTIVIDAD N 01

Formalizar
proposiciones
usando
variables
proposicionales
y
los
conectivos
lgicos,
y
determinar su valor de verdad.

Analice la siguiente informacin sobre

1.3. OPERADORES O CONECTIVOS LGICOS:


NOTACIN, VALORES DE VERDAD Y LECTURA:
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 Negacin
Smbolo: ~
Esquema lgico
Lectura

, ' , __
~ p, p , p ' , 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...

Universidad Nacional del Santa

13

DAM

Lgica Proposicional

Fidel Vera Obeso

La Disyuncin Dbil o Inclusiva


Smbolo:

, +

Esquema lgico

p q, p + q

Lectura

p o 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:

Esquema lgico

p q, p q , p q, 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

o bien p o 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 o nicamente q

El Operador de Nicond
Smbolo:

Esquema lgico p/q, ~p ~q, ~ (p q).


Lectura

no p no q
es falso que no pe y no q

La Conjuncin
Smbolo:
Esquema lgico
Lectura

Universidad Nacional del Santa

, ., &
p q, p.q , p&q
p y q
p pero q
p aunque q
p sin embargo q
p incluso q
p as como q
etc...

14

p tambin q
p del mismo modo q
p de la misma forma q
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

DAM

Lgica Proposicional

Fidel Vera Obeso

El operador de Sheffer
Smbolo:

Esquema lgico

p q, ~p~q, ~(pq)

Lectura

ni p ni q , es falso que p q

El Condicional
Smbolo:

Esquema lgico
Lectura

p q, p q
si p entonces q
cuando p as pues q
con tal de que p es obvio
que q
en virtud de que p es
evidente q
dado p por eso q
en cuanto p por tanto q
de p deviene q
de p deducimos q
p slo si q

En la condicional:
p

ya que p bien se ve que q


siempre que p por consiguiente q
como quien que p por lo cual q
en el caso de que p en tal sentido
q
toda vez que p en consecuencia q
en la medida que p de all q
en el caso de p en este caso q
p impone q
p es condicin suficiente para q
etc...

El Antecedente
La Hiptesis
La causa

El consecuente
La tesis
El efecto

La
Premisa

La
Conclusin

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 suficiente para.

Universidad Nacional del Santa

15

DAM

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:

p q, p q

Esquema lgico
Lectura

p s y slo si q

p es equivalente, equivale a q

p se define como q

p siempre que y slo cuando q

p es lo mismo que q

p cada vez que y slo si q

p es idntico a q

p es equipolente a q

etc....

p es de la forma q
p

es

condicin

necesaria

suficiente para q.

EJEMPLO 1
Formalizar o simbolizar las siguientes proposiciones.
1) Estudias Lgica o Biologa, pero no ambas a la vez.

(p

~ (p q)

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

Universidad Nacional del Santa

16

DAM

Lgica Proposicional

Fidel Vera Obeso

4) Una condicin necesaria para que Roco no sea premiada con un libro

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.
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 r)

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

Simbolizando los replicadores:


[(p q) (qr)] [p (qr)]

Universidad Nacional del Santa

17

DAM

Lgica Proposicional

Fidel Vera Obeso

VALORES VERITATIVOS DE LOS OPERADORES


O CONECTIVOS LGICOS
p

(A)

(B)

(C)

(D)

(E)

(F)

(G)

pq

pq

pq

pq

pq

p/q

VV

VF

FV

FF

pq pq

V es 1
F es 0

En el lgebra de Boole,

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.

Universidad Nacional del Santa

18

DAM

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 q

entonces

p q es
Si p es

V
F

entonces

P q es
V

entonces

p q es
Si p es

F
F

entonces

p q es
EJEMPLO 2
Si la proposicin q r es falsa, el valor de verdad de las
siguientes proposiciones:
I.
II.
III.

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

Son respectivamente:
(a) FVFV

(b) VVFV

c) VFVF

d) FFFV

e) FVVF

Solucin:
Sabemos que:
qrF

VF

q V
r F

F
Luego:
I.

r (p r) F
FV
F

Universidad Nacional del Santa

19

DAM

Lgica Proposicional

Fidel Vera Obeso

(q r) V

II.

F
V
( r q) p V

III.

( F F) p
F p

cualquiera sea el valor de verdad de p

V
IV.

p (q r) F
PF
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 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

Solucin:
Del dato, q F, adems
(r q) ( r p) F
V
(i)

r p F

(ii)

rvqV

V F

Universidad Nacional del Santa

VvF

20

p F
q F
r V

DAM

Lgica Proposicional

Fidel Vera Obeso

r (p v q) V

I.

V (V v V)
V V
F

[ (r (p q)] (q p) V

II.

(V F)

(F v V)

V
III.

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

F
Respuesta (c)
EJEMPLO 4
Si se sabe que:
{[(r s) t] (p v q) } {{[(r t) s] (q p)}}
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

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

Universidad Nacional del Santa

21

DAM

Lgica Proposicional

Fidel Vera Obeso

De (ii)
[(r t) s] (q p) F

(r t) s V
V

s V

(q p) F (q v p) F
q v p V

De (i) {[( r s) t ] (p q)} V

( r s) t F

t F

r V

Luego, evaluando los casos pedidos:


I.

{[(p q) r ] ( t p )} r V
{[(V V ] ( F p )} V
{V

V} V
V

V
II. [ (r s) t ] (p q) F
[ (V V) V ] (V)
[ (V V ] F
V

F
F

Universidad Nacional del Santa

22

DAM

Lgica Proposicional

Fidel Vera Obeso

IV. (p q) ( t ) F
F

( F F)

F
Respuesta (b)

Universidad Nacional del Santa

23

DAM

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) 2, 3 y 5

b) 2 y 5

Universidad Nacional del Santa

c) 2, 4 y 5

24

d) N.A.

e) T.A.

DAM

Lgica Proposicional

Fidel Vera Obeso

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

Universidad Nacional del Santa

25

DAM

Lgica Proposicional

Fidel Vera Obeso

EJERCICIOS SOBRE VALORES VERITATIVOS:


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 v s) no es falsa

III.

(q p) es verdad

Son ciertas:
a) Slo I

b) slo II

d) Slo II y III

e) I, II y III

c) Slo I 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

Universidad Nacional del Santa

c) FFV

26

d) FFF

e) VFV

DAM

Lgica Proposicional

Fidel Vera Obeso

OBJETIVO N 04

ACTIVIDAD N 01

Determinar
cundo
una
proposicin compuesta es una
tautologa, contradiccin o
contingencia.

Analice la siguiente informacin sobre

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, cambindolos
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 q) ( r q ) ] [ ( p q) (q r ) ]
2. [ (p q) r ] [ r (p q ) ]
3. [ p (q r ) ] [ (p r ) q ]

Universidad Nacional del Santa

27

DAM

Lgica Proposicional

Fidel Vera Obeso

Solucin:
1. N de variables proposicionales: 3
Total de valores por cada variable: 23 = 8
[(p q) ( r q ) ] [ ( p q) (q r ) ]
1

p q r

p 1

rq

2 4

23

57

1 1 1

1 1 0

1 0 1

1 0 0

0 1 1

0 1 0

0 0 1

0 0 0

El esquema molecular

Operador principal o

es una TAUTOLOGIA

de mayor jerarqua

2.
[ (p q) r ] [ r (p q ) ]

p q r

1q

23

pv5

r7

48

1 1 1

1 1 0

1 0 1

1 0 0

0 1 1

0 1 0

0 0 1

0 0 0

El esquema molecular

Operador principal o

es una CONTRADICCIN

de mayor jerarqua

Universidad Nacional del Santa

28

DAM

Lgica Proposicional

Fidel Vera Obeso

3.
[ p (q r ) ] [ (p r ) q ]

p q r

q1

p2

4r

56

37

1 1 1

1 1 0

1 0 1

1 0 0

0 1 1

0 1 0

0 0 1

0 0 0

El esquema molecular

Operador principal o

es una CONTINGENCIA

de mayor jerarqua

01

Universidad Nacional del Santa

29

DAM

Lgica Proposicional

Fidel Vera Obeso

ACTIVIDAD N 02

Resuelve a continuacin los siguientes

EJERCICIOS

SOBRE

EVALUACIN

DE

PROPIEDADES

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

moleculares

es

una

tautologa,

contradiccin

contingencia.
1. { (p q) [ p (p q) ] } (p q)
2. {[(p ) q] (q p) } { [ (p ) ( q) ] ( p q) }
3. {[(p q) ( q l p) ] (p q) } [ (p q) (p l 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.

Universidad Nacional del Santa

30

DAM

Lgica Proposicional

Fidel Vera Obeso

OBJETIVO N 05

ACTIVIDAD N 01

Determinar
cundo
dos
proposiciones compuestas son
lgicamente equivalentes y
cuando una implica a la otra.

Analice la siguiente informacin sobre

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 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) ( r p)
B = p (r q)
C = q ( r p)
Determinar los que son equivalentes
Solucin:

Universidad Nacional del Santa

31

DAM

Lgica Proposicional

Fidel Vera Obeso

A
p q r (pq) (r p)

[ p ( r q )]

q ( r p)

1 1 1

1 1 0

1 0 1

1 0 0

0 1 1

0 1 0

0 0 1

0 0 0

A y B tienen los mismos valores de


verdad

en

su

operador

de

mayor

jerarqua, por lo tanto:


AC
EJEMPLO 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.

Universidad Nacional del Santa

32

DAM

Lgica Proposicional

Fidel Vera Obeso

Solucin:
1) A implica a C si A C es una tautologa verificando:
A
p

(p

A C

q)

qp

[ (p q)] (qp)

Por lo tanto, A implica a C

es una tautologa

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


verificando:
D
p

(q

D B

r)

(p

r)

[(qr)] [(pr)]

Por lo tanto,

no es una tautologa

B no es implicado por D

es una contingencia

Universidad Nacional del Santa

33

DAM

Lgica Proposicional

Fidel Vera Obeso

3) C implica a la disyuncin de A, B y D si C (ABD) es


una Tautologa.
Verificando:
C
p

qp

C(A B D)

(pq)] (pr) (qr]

1 0

1 0

0 0

0 0

1 0

1 1

1 0

1 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
p

A B

C (A B)

(q p) [(pq)](pr) (qp)[(pq) (pr) ]

0 0

0 0

1 0

1 0

1 0

1 1

0 0

1 1

Por lo tanto,

es una tautologa

A entonces B est implicado


por la negacin de C.

Universidad Nacional del Santa

34

DAM

Lgica Proposicional

Fidel Vera Obeso

ACTIVIDAD N 02

Resuelve a continuacin los siguientes

EJERCICIOS SOBRE EQUIVALENCIA E IMPLICACIN:


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.

Universidad Nacional del Santa

35

DAM

Lgica Proposicional

II.

Fidel Vera Obeso

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.

Universidad Nacional del Santa

36

DAM

Lgica Proposicional

Fidel Vera Obeso

OBJETIVO N 06

ACTIVIDAD N 01

Enunciar, demostrar y aplicar


las principales leyes lgicas o
tautolgicas notables.

Analice la siguiente informacin sobre

1.6. PRINCIPALES

LEYES

LGICAS

TAUTOLOGAS

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

Universidad Nacional del Santa

37

DAM

Lgica Proposicional

Fidel Vera Obeso

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)

Disyuncin 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

Universidad Nacional del Santa

38

DAM

Lgica Proposicional

Fidel Vera Obeso

La demostracin de las propiedades, leyes lgicas o


tautologas 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 q)

Morgan

p q
cuya lectura es: No hace fro o congela . Respuesta (b)
EJEMPLO 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 servicio.
(b) Pagar 50 soles o ser socio, y no ingresar al club.

Universidad Nacional del Santa

39

DAM

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 q) r

por condicional

(p q) r
Luego:
No es cierto que se pague 50 soles y sea socio, o ingresa al
club.

Respuesta (c)

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

Universidad Nacional del Santa

40

DAM

Lgica Proposicional

Fidel Vera Obeso

Solucin:
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)

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

d) p q

c) p

e) p q

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

Universidad Nacional del Santa

por absorcin

41

DAM

Lgica Proposicional

Fidel Vera Obeso

(q p) q

por condicional

(q p) q

por Morgan

p (q q)

asociativa

pT

Tercio excluido

elemento neutro para


Respuesta (a)

EJEMPLO 5:
Simbolizar y luego simplificar la proposicin:
Cuando obtenga mi ttulo entonces ingres a la carrera
magisterial, pero no ingres a la carrera magisterial; luego
no obtuve mi ttulo
(a) p

b) p

c) p 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


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

Elemento neutro para


Respuesta (e)

Universidad Nacional del Santa

42

DAM

Lgica Proposicional

Fidel Vera Obeso

EJEMPLO 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) ]
Solucin:
(a) [ (p q) q ] p [ (p q) (q)] p Condicional
[ (p q) q] p

Doble Negacin

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

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

Conmutativa y asociativa

(r p) q

Morgan

(r p) q

Condicional

Universidad Nacional del Santa

43

DAM

Lgica Proposicional

Fidel Vera Obeso

EJEMPLO 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

Solucin:
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)

Universidad Nacional del Santa

44

DAM

Lgica Proposicional

Fidel Vera Obeso

ACTIVIDAD N 02

Resuelve a continuacin los siguientes

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 el ttulo universitario.

Universidad Nacional del Santa

45

DAM

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

d) q p

e) p q

c) p q

7. Simplificar el esquema:
[(p q) (r p)] (q p)
a) p q

b) p q

d) p

e) q

c) p q

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

b) p q

d) p q

e) q p

Universidad Nacional del Santa

c) p q

46

DAM

Lgica Proposicional

Fidel Vera Obeso

9. Simplificar:
{[ (p q) p] (q p)} (p q)
a) p q

b) (p q)

d) p q

e) (p q)

c) 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

d) p

e) p q

Universidad Nacional del Santa

c) p

47

DAM

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 uno implica a la otra.
6) Enunciar, demostrar y aplicar las principales leyes
lgicas o tautologas notables.

Universidad Nacional del Santa

48

DAM

Lgica Proposicional

Universidad Nacional del Santa

Fidel Vera Obeso

49

DAM

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
(02) C (n, k ) =
(03)

n!
, kn
k!(n k )!

1 = i i 2 = 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

03) Determinar

si

la

c) FFV
siguiente

d) FFF

e) VFV

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
R = q (p r)
Universidad Nacional del Santa

50

DAM

Lgica Proposicional

Universidad Nacional del Santa

Fidel Vera Obeso

51

DAM

Lgica Proposicional

Fidel Vera Obeso

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

d) p

e) p q

c) p

NOMBRE

FECHA

TIEMPO

: 1 HORA 30 MINUTOS

Universidad Nacional del Santa

52

DAM

Lgica Proposicional

Fidel Vera Obeso

BIBLIOGRAFA

Copi, I. y Cohen, C. (1996). Introduccin a la Lgica.


Mxico: Editorial Limusa, S.A. de C.V.

Barker, S. (1991). Elementos de Lgica. Mxico: McGrawHill Interamericana de Mxico, S.A. de C.V.

Suppes, P. y Hill, SH. (1992). Primer Curso de Lgica


Matemtica. Mxico: Editorial Revert, S.A.

Universidad Nacional del Santa

53

DAM

Lgica Proposicional

Fidel Vera Obeso

INDICE

PROLGO
OBJETIVOS
PRE-TEST
CONTENIDO
1.1.

LA LGICA COMO CIENCIA


CONCEPTUALIZACIN E IMPORTANCIA ------------------------------------ 01
EJERCICIOS ---------------------------------------------------------------------- 04

1.2.

PROPOSICIN. DEFINICIN Y CLASES-------------------------------------- 05


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

POS TEST ------------------------------------------------------------------------------ 49


BIBLIOGRAFA -------------------------------------------------------------------------- 51

Universidad Nacional del Santa

54

DAM

Lgica Proposicional

Fidel Vera Obeso

PRLOGO

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;

equivalencia e

tautologa,

implicacin

contradiccin
las

principales

contingencia;

leyes

lgicas

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

Universidad Nacional del Santa

55

DAM

Potrebbero piacerti anche