Output

UNIVERSIDAD NACIONAL DEL SANTA
FACULTAD DE CIENCIAS
Departamento de Matemtica
Mdulo de Lgica
Proposicional
(A) (B) (C) (D) (E) (F) (G)
p q p q p q p q pq p / q p q p q
VV V F F V F V V
q
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

2013
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; 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
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
ii
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 -
POST TEST
TEST
Instruccin: Resuelva el Post-Test de acuerdo a los requerimientos

dados.
01) De las siguientes expresiones:

(01) El ozono filtra los rayos ultravioletas
n!
(02) C (n, k ) , kn
k!(n k )!
(03) 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 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
R = q (p r)
iv
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
v
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 Procedimientos Propiedades Relaciones

Mtodos Formas
y/o leyes
- Identidad - Induccin - Concepto - Definicin - Espacio - Causa

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

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

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.

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?

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

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 16m2
porque 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.

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.

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 (oraciones aseverativas)
15 (frmula matemtica)
No son proposiciones:
5y6 (figuras literarias)
4 (interjeccin)

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

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

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

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

La Disyuncin Dbil o Inclusiva

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 Disyuncin Dbil o Exclusiva

Smbolo:
Esquema lgico
Lectura o p q o bien p bien q
p no equivale a q p es diferente a q
p no se define como q ya bien p ya bien q
ya sea p ya sea 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 q).
Lectura no p no q
es falso que no p y no q
La Conjuncin
Smbolo: , ., &
Esquema lgico p q, p.q , p&q
Lectura p y q p tambin q
p pero q p del mismo modo q
p aunque q p de la misma forma q
p sin embargo q p tal como q
p incluso q p al igual que q
p as como q p no obstante q
etc... p es compatible con q
no slo p tambin q
siempre ambos p con q
tanto p como, cuanto q

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 p q, p q
Lectura si p entonces q ya que p bien se ve que q
cuando p as pues q siempre que p por consiguiente q
con tal de que p es obvio como quien que p por lo cual q
que 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 es condicin suficiente para q
p slo si q etc...
En la condicional:
p q
e s e s
El Antecedente El consecuente
La Hiptesis La tesis
La causa El efecto
La La Conclusin
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 REPLICADOR.
El Bicondicional
Smbolo: ,
Esquema lgico p q, p q
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 y
suficiente para q.
EJEMPLO 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.
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

VALORES VERITATIVOS DE LOS OPERADORES

O CONECTIVOS LGICOS
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
EJEMPLO 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
Solucin:
Sabemos que:
qrF
q V

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)
EJEMPLO 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
Solucin:
Del dato, q F, adems
(r q) ( r p) F
V F
(i) r p F (ii) rqV p F
q F
V F VF r V

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

De (ii)
r t) s q p) F
V F
r t) s V
s V
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
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.

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

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

Determinar cundo una
proposicin compuesta es
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 q r q p q q r
2. p q r r (p q
3. p q r ) (p r q

Solucin:
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 TAUTOLOGIA 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 CONTRADICCIN 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 CONTINGENCIA de mayor jerarqua

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

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

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

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.

Enunciar, demostrar y
aplicar las principales leyes
lgicas o tautolgicas
notables.
1.6. PRINCIPALES LEYES LGICAS O 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

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

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 q) Morgan
p 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.

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

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 c) p d) p q 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 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)
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 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
T Elemento neutro para
Respuesta (e)

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

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)

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.

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

Output

Caricato da

Informazioni sul documento

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Output

Caricato da

Copyright:

Formati disponibili

UNIVERSIDAD NACIONAL DEL SANTA

Autor: Fidel Vera Obeso

Nuevo Chimbote, Per

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

Las instituciones democrticas requieren que los ciudadanos piensen por

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

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

1.1. LA LGICA COMO CIENCIA

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

1.3. OPERADORES O CONECTORES LGICOS

1.4. TAUTOLOGA, CONTRADICCIN Y CONTINGENCIA----------------------------------27

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

1.6. PRINCIPALES LEYES LGICAS O

2) Definir e identificar proposiciones.

3) Formalizar proposiciones usando variables proposicionales y los conectivos

4) Determinar cuando una proposicin compuesta es una tautologa,

5) Determinar cuando dos proposiciones compuestas son lgicamente

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

04) Determinar cules de las siguientes proposiciones son equivalentes:

05) Se define el conector @ como:

Simplificar el esquema molecular:

Analice la siguiente informacin sobre

1.1. LA LGICA COMO CIENCIA:

LGICA (en general)

Principios Procedimientos Propiedades Relaciones

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

Universidad Nacional del Santa 1

b) Como producto la ciencia en tanto teora a exponerse,

Universidad Nacional del Santa 2

IMPORTANCIA DE LA LGICA PARA EL AVANCE CIENTFICO-

Universidad Nacional del Santa 3

Resuelve a continuacin el siguiente

CUESTIONARIO SOBRE LA LGICA COMO CIENCIA:

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

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

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

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

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

Universidad Nacional del Santa 4

Estudie la siguiente informacin sobre

1.2. PROPOSICIN. DEFINICIN Y CLASES:

Universidad Nacional del Santa 5

CLASIFICACIN DE LAS ORACIONES:

Ejm.: Todo nmero par es divisible por dos.

Universidad Nacional del Santa 6

En sntesis, el proceso lgico puede esquematizarse del modo

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

Son proposiciones No son proposiciones

Las oraciones aseverativas. Los hechos o personajes

Universidad Nacional del Santa 7

De las siguientes oraciones, identificar las que son

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

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