004 Modulo Logica Proposicional PDF

UNIVERSIDAD NACIONAL DEL SANTA
FACULTAD DE CIENCIAS
Departamento de Matemtica
Mdulo de Lgica
Proposicional
(A)
p q
VV
VF
(B)
q
p q
(C)
p
(D)
q
pq
(E)
(F)
p / q p q
(G)
p q
FV
FF
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
Lgica Proposicional
Fidel Vera Obeso
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
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.
iii
Lgica Proposicional
Fidel Vera Obeso
PRE -
TEST
POST
TEST
Instruccin:
Resuelva el Post-Test de acuerdo a los requerimientos

dados.
01) De las siguientes expresiones:

(01) El ozono filtra los rayos ultravioletas
(02) C (n, k )
n!
, kn
k!(n k )!
1 i i 2 1
(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
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
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
NOMBRE
FECHA
TIEMPO
: 1 HORA 30 MINUTOS
c) p
Lgica Proposicional
Fidel Vera Obeso

OBJETIVO N 01
ACTIVIDAD N 01
Conceptualizar la lgica como
ciencia
importancia
reconocer
en
el
su
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
Base
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.
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
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).
Lgica Proposicional
Fidel Vera Obeso
IMPORTANCIA DE LA LGICA PARA EL AVANCE CIENTFICOTECNOLGICO:

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.
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?
Lgica Proposicional
Fidel Vera Obeso
ACTIVIDAD N 01
OBJETIVO N 02
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.
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 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.
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.
Son proposiciones
No son proposiciones
Las oraciones aseverativas.
Los
Las leyes cientficas.
hechos
personajes
literarios.
Los proverbios,
Las frmulas matemticas.

Las frmulas y/o esquemas
modismos y
refranes.
Creencias
lgicos.
Los enunciados cerrados o
religiosas,
supersticiones y mitos.
Las interrogantes.
definidos.
Las rdenes.
Las interjecciones.
Los deseos, dudas y splicas.

Los abiertos o indefinidos.
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
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
4
(figuras literarias)
(interjeccin)
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
es una funcin y representa
una circunferencia.
08) Si
09)
es un nmero irracional entonces es un nmero real.

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

(1) Los cuerpos caen por accin de la gravedad.
(2) La materia es energa concentrada.
11
e) 1, 4 y 5
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 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
e) 1 y 2
12
d) Slo 1
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.
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,
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...
13
Lgica Proposicional
Fidel Vera Obeso

La Disyuncin Dbil o Inclusiva
Smbolo:
v, +
Esquema lgico
Lectura
q, p + q
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:
Esquema lgico
Lectura
o p q
p no equivale a q
p no se define como q
ya sea p ya sea q
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

Lectura
~q, ~ (p q).
no p no q
es falso que no p y no q
La Conjuncin
Smbolo:
Esquema lgico
Lectura
, ., &
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
Lgica Proposicional
Fidel Vera Obeso
El operador de Sheffer
Smbolo:
Esquema lgico
Lectura
p q, ~p~q, ~(pq)
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
e s
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...
q
e s
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
condicin
que,
de
siempre
que,
es
que,
condicin
necesaria para, es insuficiente para.
15
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
Lectura
p q, p q
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
16
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
17
Lgica Proposicional
Fidel Vera Obeso
VALORES VERITATIVOS DE LOS OPERADORES

O CONECTIVOS LGICOS
(A)
(B)
(C)
(D)
(E)
(F)
(G)
pq
pvq
pq
pq
pq
pq
VV
VF
FV
FF
pq pq
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
V es 1
F es 0
(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.
18
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.
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
VF
F
Luego:
I.
r (p r) F
F V
F
19
q V
r F
Lgica Proposicional
II.
Fidel Vera Obeso
(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
(i)
r p F
F
(ii)
V F
rqV
VF
20
p F
q F
r V
Lgica Proposicional
I.
Fidel Vera Obeso
r (p q) V
V (V V)
V
V
II.
(r (p q) (q p) V
(V F)
(F V)
V
III.
( r p) (q p) F
(V V) (F F)
V
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
V
21
Lgica Proposicional
Fidel Vera Obeso
De (ii)
r t) s q p) F
r t) s V
V
s V
q p) F (q p) F
q p V
De (i) r s) t p q) V
r s) t F
V
t F
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
22
r V
Lgica Proposicional
Fidel Vera Obeso
IV. (p q) ( t s) F
F
( F F)
F
Respuesta (b)
23
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
24
d) T.A.
e) N.A.
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
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
e) 1, 3 y 5
25
d) 2, 4 y 5
la
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 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
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
26
d) FFF
e) VFV
Lgica Proposicional
Fidel Vera Obeso
ACTIVIDAD N 01
OBJETIVO N 04
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
contingencia.
1. p q r q p q q r
2. p q r r (p q
3. p q r ) (p r q
27
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
es una CONTRADICCIN
de mayor jerarqua
28
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
es una CONTINGENCIA
de mayor jerarqua
29
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 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.
30
Lgica Proposicional
Fidel Vera Obeso

OBJETIVO N 05
ACTIVIDAD N 01
Determinar cundo dos

proposiciones compuestas
son lgicamente esquivalentes 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:
31
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
A=p
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.
32
Lgica Proposicional
Fidel Vera Obeso
Solucin:
1) A implica a C si A C es una tautologa verificando:
A C
(p q)
qp
p q qp)
Por lo tanto, A implica a C
2)
es una tautologa
B es implicado por D si D B es una tautologa verificando:
D B
(q r)
(p r)
qr (pr)
Por lo tanto,
no es una tautologa
B no es implicado por D
33
es una contingencia
Lgica Proposicional
Fidel Vera Obeso
3) C implica a la disyuncin de A, B y D si C (ABD) es una

Tautologa.
Verificando:
p
ABD
qp
pq(pr) (qr
C(A B D)
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) pqpr) qppq pr)
Por lo tanto,
es una tautologa
A entonces B est implicado

por la negacin de C.
34
Lgica Proposicional
Fidel Vera Obeso
ACTIVIDAD N 02
EJERCICIOS SOBRE EQUIVALENCIA E IMPLICACIN:

I.
En
cada
grupo
de
esquemas
moleculares
que
aparecen
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.
35
Lgica Proposicional
II.
Fidel Vera Obeso

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.
36
Lgica Proposicional
Fidel Vera Obeso

OBJETIVO N 06
ACTIVIDAD N 01
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
37
Lgica Proposicional
9)
Fidel Vera Obeso
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
38
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
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.
39
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
(p q)
por condicional
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.
40
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
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
41
e) p q
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 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
Elemento neutro para

Respuesta (e)
42
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
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
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
43
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)
44
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.
45
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
c) p q
46
Lgica Proposicional
Fidel Vera Obeso
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
d) p
e) p q
c) p
47
Lgica Proposicional
Fidel Vera Obeso
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.
48

004 Modulo Logica Proposicional PDF

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

004 Modulo Logica Proposicional PDF

Diunggah oleh

Hak Cipta:

Format Tersedia

UNIVERSIDAD NACIONAL DEL SANTA

Autor: Fidel Vera Obeso

Nuevo Chimbote, Per

Fidel Vera Obeso

en caso contrario debern volver a

estudiar los cuadros correspondientes y resolver nuevamente los ejercicios

Fidel Vera Obeso

LA LGICA COMO CIENCIA

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

OPERADORES O CONECTORES LGICOS

TAUTOLOGA, CONTRADICCIN Y CONTINGENCIA----------------------------------27

PRINCIPALES LEYES LGICAS O

Fidel Vera Obeso

equivalentes y cuando una implica a la otra.

Fidel Vera Obeso

Resuelva el Post-Test de acuerdo a los requerimientos

01) De las siguientes expresiones:

(04) El aire contiene oxgeno e hidrgeno

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

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

04) Determinar cules de las siguientes proposiciones son equivalentes:

Fidel Vera Obeso

05) Se define el conector @ como:

Fidel Vera Obeso

Analice la siguiente informacin sobre

LA LGICA COMO CIENCIA:

LGICA (en general)

Universidad Nacional del Santa

Fidel Vera Obeso

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

a) Como proceso la ciencia necesita de la lgica en tanto leyes,

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

sistematizarse, estructurarse, formalizarse a fin de poder

Universidad Nacional del Santa

Fidel Vera Obeso

IMPORTANCIA DE LA LGICA PARA EL AVANCE CIENTFICOTECNOLGICO:

En la vida diaria hacemos uso de la lgica constantemente,

Universidad Nacional del Santa

Fidel Vera Obeso

Resuelve a continuacin el siguiente

CUESTIONARIO SOBRE LA LGICA COMO CIENCIA:

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

Universidad Nacional del Santa

Fidel Vera Obeso

Estudie la siguiente informacin sobre

PROPOSICIN. DEFINICIN Y CLASES:

(designa un objeto real fsico)

(designa un objeto real o psquico)

(designa objeto abstracto).

(indican relacin entre los anteriores)

Finalmente, un concepto no afirma ni niega nada, simplemente

Universidad Nacional del Santa

Fidel Vera Obeso

CLASIFICACIN DE LAS ORACIONES:

Universidad Nacional del Santa

Fidel Vera Obeso

En sntesis, el proceso lgico puede esquematizarse del modo

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

Las oraciones aseverativas.

Las leyes cientficas.

Las frmulas matemticas.

Los deseos, dudas y splicas.

Universidad Nacional del Santa