Logica Proposicional

UNIVERSIDAD CSAR VALLEJO - PIURA
DEPARTAMENTO DE FORMACIN GENERAL

REA DE MATEMTICA Pgina 1

PRESENTACIN

Este mdulo preparado por el equipo de docentes del rea de Matemtica,
del Departamento de Formacin General de la Universidad Csar Vallejo Piura
tiene como propsito ayudarte a mejorar tus habiliades lgico matemticas.

El contenido est dividido en 8 captulos los cuales son : Lgica
Proposicional, Introduccin al Algebra, Ecuaciones, Inecuaciones, Razones y
Proporciones, Conjuntos, Relaciones y Funciones e Introduccin a la Geometra
Analtica, se desarrollarn en las sesiones de aprendizaje de acuerdo al slabo
correspondiente. Cada uno de los temas desarrollados contiene ejemplos
desarrollados paso a paso, as como problemas de aplicacin, talleres de
ejercicios, talleres de problemas que sern desarrollados en clase y las
actividades te servirn para afianzar tu aprendiazaje.

Si al terminar cada tema no has logrado comprender el material, revsalo
nuevamente hasta que logres afianzar tus conocimientos, puedes consultar a tu
profesor, de esta manera podrs reafirmar o complementar la comprensin de
algn tema.

Ten presente que estos contenidos sirven particularmente para garantizar el
xito indispensable en el estudio de las matemticas enseadas en el nivel
universitario, por eso se te exhorta a estudiar y resolver los talleres y actividades
de cada captulo.

Los autores.
NDICE

PRESENTACIN 01
CAPTULO 01: LGICA PROPOSICIONAL
El interruptor 08
ELEMENTOS DE LA LGICA PROPOSICIONAL 09
Introduccin 09
1.1 La lgica como ciencia 10
1.2 La lgica proposicional 11
Taller de ejercicios 23
Actividad 26

FORMALIZACIN PROPOSICIONAL 30
Introduccin 30
1.3 Casos especiales de formalizacin 32
Actividad 36

VERDAD FORMAL 39
Introduccin 39
1.4 Esquemas moleculares 39
1.5 Tablas de verdad 39
1.6 Evaluacin de esquemas moleculares 41
1.6.1 Mediante tablas de verdad 42
1.6.2 Mediante mtodo abreviado 44
Actividad 48

EQUIVALENCIAS LGICAS 51
Introduccin 51
1.7 Leyes de equivalencia 51
1.8 Simplificacin de esquemas moleculares 54
Bibliografa 56

CAPTULO 02: INTRODUCCIN AL ALGEBRA
En qu se aplica el lgebra? 58
OPERACIONES COMBINADAS EN
59

Introduccin 59
2.1 Operaciones combinadas con nmeros naturales
59

2.2 Operaciones combinadas con nmeros enteros 59
2.3 Operaciones combinadas con nmeros racionales 61
Actividad 62

CONCEPTOS BSICOS DEL LGEBRA 64
Introduccin 64
2.4 Teora de exponentes 64
Actividad 67

PRODUCTOS NOTABLES 68
Introduccin 68
2.5 Productos notables 69
Actividad 71

FACTORIZACIN 72
Introduccin 72
2.6 Factor comn monomio 72
2.7 Factor comn polinomio 72
2.8 Trinomio cuadrado perfecto 73
2.9 Aspa simple 74
2.10 Diferencia de cuadrados 74
2.11 Suma o diferencia de cubos 74
2.12 Mtodo de los divisores comunes 75
Actividad 77

FRACCIONES ALGEBRAICAS 78
Introduccin 78
2.13 Fraccin algebraica 78
2.14 Simplificacin de fracciones algbricas 78
2.15 Operaciones con fraciones algebraicas 79
2.15.1. Adicin y sustraccin de fracciones algebraicas 79
2.15.2. Multiplicacin y divisin de fracciones algebraicas 79
2.15.3. Operaciones combinadas de fracciones algebraicas 80
Actividad 81
Bibliografa

CAPTULO 03: ECUACIONES
Por qu utilizamos la letra x para representar un valor desconocido? 82
ECUACIONES 84
Introduccin
3.1 Ecuaciones de primer grado con una incgnita 85
3.1.1 Ecuaciones de primer grado con coeficientes enteros 85
3.1.2 Ecuaciones de primer grado con coeficientes fraccionarios 87
3.1.3 Ecuaciones de primer grado con denominadores compuestos 88
3.2 Sistema de ecuaciones de primer grado con dos incgnitas 91
3.2.1 Mtodos de resolucin 91
a) Mtodo de reduccin o de sumas y restas. 91
b) Mtodo de sustitucin. 93
Actividad 95
3.3 Ecuaciones de segundo grado 97
3.3.1 Ecuacin de segundo grado incompleta 97
3.3.2 Ecuacin de segundo grado completa 98
3.3.2.1 Solucin de ecuaciones de segundo grado por factorizacin 98
3.3.2.2 Solucin de ecuaciones de segundo grado por frmula general 99
Taller de ejercicios. 100
3.3.2.3 Solucin de ecuaciones de segundo grado
completando cuadrados 101
Actividad 103
3.4 Problemas con ecuaciones de primer grado 104
Taller de problemas 105
Actividad 107
3.5 Problemas con ecuaciones de segundo grado 109
Actividad 111
3.6 Ecuaciones polinmicas 112
3.6.1 Ecuaciones polinmicas de grado superior a dos 112
3.6.2 Regla de Rufiini 114
Actividad 115
Bibliografa 116

CAPTULO 04: INECUACIONES
Las tres cajas de caramelos 118
INTERVALOS 119
Introduccin 119
4.1 Desigualdades 119
4.2 La notacin de intervalo 119
4.3 Operaciones entre intervalos 121

INECUACIONES DE PRIMER GRADO 126
Introduccin
4.4 Inecuaciones de primer grado 126
Actividad 127

INECUACIONES DE SEGUNDO GRADO 129
Introduccin 129
4.5 Inecuaciones de segundo grado 129

APLICACIONES DE LAS INECUACIONES
Actividad 133

INECUACIONES POLINMICAS 135
Introducin 135
4.6 Inecuaciones polinmicas 135
4.6.1 Mtodo de los puntos crticos para resolver problemas 135
4.6.2 Inecuaciones con factores cuadrticos irreductibles 139
Actividad 141
Bibliografa 141

CAPITULO 05: RAZONES Y PROPORCIONES
Las proporciones del hombre 143
Introduccin 144
5.1 Razn 144
5.2 Serie de razones geomtricas equivalentes 145
5.3 Propiedades de las razones geomtricas 145
5.4 Problemas resueltos 146
5.5 Proporcin 147
5.6 Propiedades de las proporciones 148
Actividad 150

CAPTULO 06: CONJUNTOS
Por qu agrupamos? 153
CONJUNTOS 154
Introducin 154
6.1 Idea intuitiva de conjunto 154
6.2 Notacin de un conjunto 154
6.3 Relacin de conjuntos 154
6.3.1 Relacin de pertenencia 154
6.3.2 Realcin de inclusin 155
6.3.3 Relacin de igualdad 155
6.4 Clases de conjuntos 157
6.4.1 Conjunto universal 157
6.4.2 Conjunto vacio o nulo 157
6.4.3 Conjunto unitario 157
6.4.4 Conjunto finito 157
6.4.5 Conjunto infinito 157
6.5 Conjunto potencia 158
6.5.1 Propiedades del conjunto potencia 158
6.6 Operaciones con conjuntos 160
6.6.1 Interseccin 160
6.6.2 Unin 161
6.6.3 Diferencia 163
6.6.4 Diferencia simtrica 164
6.6.5 Complemento de A 165
6.7 Problemas de aplicacin de conjuntos 167
Actividad 170

CAPTULO 07: RELACIONES Y FUNCIONES
El problemas de la seora Benitez 173
RELACIONES 174
Introduccin 174
7.1 Preliminares 175
7.2 Relacin 176
7.3 Relaciones de en
177


FUNCIONES 184
Introduccin 184
7.4 Dominio y rango de una funcin real 186
7.5 Funcin lineal 187
7.6 Funcin cuadrtica 189
7.6.1 Clculo del rango de la funcin cuadrtica 189
7.6.2 Grfica de una funcin cuadrtica 189
7.7 Funcin exponencial 191
7.7.1 Grfica de una funcin exponencial 192
7.8 Funcin logartmica 194
7.8.1 Grfica de una funcin logartmica 197
Actividad 197
Bibliografa 200

CAPTULO 08: INTRODUCIN A LA GEOMETRA ANALTICA
Qu es la geometra analtica? 202
GEOMETRA ANALTICA 203
Introduccin 203
8.1 Frmula de la distancia entre dos puntos 203
8.2 Frmula del punto medio 204
8.3 Pendiente de una recta 205

LA RECTA 207
Introducin 207
8.4 Formas de la ecuacin de una recta 207
8.4.1 Forma punto pendiente 208
8.4.2 Forma de dos puntos 208
8.4.3 Forma pendiente ordenada al origen 208
8.4.4 Forma coordenadas al origen 208
8.4.5 Ecuacin de una recta vertical 209
8.4.6 Forma general de la ecuacin de una recta 209
8.5 Distancia de un punto a una recta 210
8.6 Relacin entre dos rectas en el plano 210

LA PARBOLA 214
Introduccin 214
8.8 Elementos de la parbola 214
8.9 Formas de la ecuacin de la parbola 215
8.9.1 Forma cannica 215
8.9.2 Forma ordinaria 217
8.9.3 Forma general de la recta 219
Actividad 222

LA CIRCUNFERENCIA 223
Introduccin 223
8.11 Elementos de la circunferencia 223
8.12 Formas de la ecuacin de una circunferencia 224
8.12.1 Forma cannica 224
8.12.2 Forma ordinaria 224
8.12.3 Ecuacin general de la circunferencia 224
Actividad 228
Bibliografa 228


LGICA
PROPOSICIONAL


El interruptor

En el interior de una habitacin hay una bombilla. Fuera
hay tres interruptores, y slo uno de ellos enciende la
bombilla. Nosotros estamos fuera y slo podemos entrar una
vez a la habitacin. Cmo averiguar el interruptor que
enciende la bombilla?

ELEMENTOS DE LGICA
PROPOSICIONAL

La historia hace a los hombres sabios; la poesa, ingeniosos;
las matemticas, sutiles; la filosofa natural, profundos;
la moral, graves; la lgica y retrica, hbiles para la lucha.
FRANCI S BACON

Introduccin

Cuando escuchamos la palabra Lgica inmediatamente la asociamos, al menos a la
mayora de personas les pasa esto, con la idea o nocin de razonamiento. Aunque esta
relacin nos puede servir de primera aproximacin, hoy en da esto puede ser
considerado desbordado por la enorme extensin y diversidad que ha alcanzado esta
disciplina, sobre todo en la tecnologa e informtica.

Lo cierto es que uno puede razonar correctamente sin ni siquiera haber estudiado
lgica. Y esto no es un caso aislado. Por ejemplo, en el mundo deportivo se ejecutan
maniobras difciles, a veces increbles, sin que los atletas sepan de las leyes fsicas que
les permiten ejecutar dichas maniobras. Algo similar ocurre en lgica. Entonces, por
qu estudiar lgica?... Bsicamente por dos razones que expongo a continuacin:

Primero, porque un estudio adecuado de sta la enfocar tanto como una ciencia y
como un arte. Esto significa que es menester aplicar las tcnicas y criterios aprendidos a
nuestros propios razonamientos, lo cual a su vez nos da una menor posibilidad de
cometer errores que aquella persona que nunca ha estudiado lgica. Esta posibilidad
disminuye an ms cuando estudiamos y analizamos los mtodos incorrectos de
razonamiento, las llamadas falacias, pues su conocimiento nos ayuda efectivamente a
evitarlas y nos ayuda a conocer, con slo escuchar, lo que pasa en realidad en la otra
persona.

La otra razn tiene que ver con nuestra
necesidad tecnolgica. Todos sabemos, por
ejemplo, que cuando una plancha se est
calentando demasiado debemos bajarle la
graduacin. Y no necesitamos que se nos
diga qu entendemos por calentando
demasiado (basta con acercar un poco la
mano, si es que la ropa no huele ya ha
quemado) o cul es esa temperatura. Hasta
aqu no hay problema. Pero como humanos
que somos, no nos quedamos contentos con
eso. Para no estar tan pendientes de que si
la plancha est muy caliente o no, es mejor
tener una que automticamente baje su
temperatura cuando sta se est elevando
demasiado y la eleve cuando baja ms de lo necesario. Aqu la situacin cambia. Ahora
necesitamos precisar lo que antes era obvio para nosotros y traducirlo de alguna forma
en un lenguaje en que la plancha nos entienda. Es aqu donde se hace imprescindible
el uso de las ciencias formales (la lgica y la matemtica) y naturales. Parece un tanto
extrao que se deba recurrir a una ciencia formal como la lgica, pero lo cierto es que las
instrucciones se dan naturalmente en su lenguaje. Si no conocemos ese lenguaje, no
podremos conseguir nuestro objetivo. Claro que an queda otro camino: esperar que
otro lo haga y luego comprrsela. Esa ha sido, en general, la tendencia de nuestro pas.
Si queremos cambiar y generar nuestra propia tecnologa, el estudio de la lgica, entre
otras ciencias, es fundamental.

Por supuesto que para lograr lo anterior se requiere de una lgica ms potente que la
lgica proposicional, que es la que se expone en este mdulo. Pero aunque ya de por s
sta nos permite comprender los procesos informticos en los que tiene aplicacin, su
estudio nos facilita la comprensin de lgicas ms avanzadas, como la lgica borrosa por
ejemplo, y nos proporciona ideas para la generalizacin de conceptos y tcnicas a esas
lgicas.

Y todo este emocionante viaje empieza aqu, con la lgica proposicional.

1.1 La lgica como ciencia
Si reparamos en las ciencias que la humanidad ha creado y cultivado,
advertimos que presentan cinco caractersticas invariables:

Aunque pueden interrelacionarse, lo que distingue a una ciencia de otra (lo que
me permite decir: yo soy matemtico y t abogado) es bsicamente el objeto de
estudio. Basndose en este criterio, Mario Bunge [Bu] clasifica a las ciencias en dos
grandes grupos: Fcticas (su objeto de estudio est en la realidad fsica o social) y
Formales (cuyo objeto de estudio es ideal o abstracto)
CIENCIA
Conjunto Ordenado y Sistematizado de
Conocimientos
Conocimientos de Validez Universal
Objeto Propio de Estudio
Mtodo de Estudio
Leyes Propias
Figura 1.1 Caractersticas de una ciencia

De lo anterior, podemos decir que la lgica es una ciencia formal, cuyo objeto de
estudio son los mtodos y los principios usados para determinar la validez o
invalidez de los argumentos
1
.

1.2 La lgica proposicional
La lgica proposicional es una rama de la lgica clsica que estudia las
proposiciones, sus posibles valores de verdad y en el caso ideal, su nivel absoluto
de verdad.

Definicin 1.1 Enunciado
Es toda frase u oracin.

Ejemplo 1.1
(a) Lima es la capital del Per
(b) El doble de 3 es 5
(c) Qu hora es?
(d) Auxilio!
(e) x 2 7 + =
(f)
2
x 2 +

Dentro de los enunciados podemos distinguir los siguientes tipos

Definicin 1.2 Enunciado abierto
Es aquel enunciado que presenta variables
2
y que en s mismo no es ni
verdadero ni falso, pero que al asignarle un valor a aquellas, resulta ser verdadero o
falso, pero no ambos. Se abrevia por E.A.

1
ARGUMENTOS: representaciones mentales que relacionan conceptos y juicios (premisas) de
modo que permiten derivar otros juicios (conclusiones).
2
El trmino variable abarca los pronombres en tercera persona (l,ella,ellos,ellas)(*)
Entes Ideales
(Matemticas, Lgica)
Fenmenos Sociales
(Sociologa, Derecho,)
CIENCIAS
FORMALES
CIENCIAS
SOCIALES
Fenmenos Naturales
(Fsica, Qumica, Geologa,)
CIENCIAS
NATURALES
O
B
J
E
T
O

D
E

E
S
T
U
D
I
O
CIENCIAS
FCTICAS
Figura 1.2. Clasificacin de las ciencias segn su objeto de estudio
Otra forma de caracterizar a los enunciados abiertos es considerarlos como
aquellos enunciados que admiten la posibilidad de convertirse en una proposicin
(en el sentido de la definicin 1.4) cuando cada variable asume un valor
determinado. sa es la razn por la que tambin se conocen como funciones
proposicionales.

Un enunciado ser verdadero (o falso) si lo que afirma coincide (o no) con la
realidad.

Ejemplo 1.2
(a) l se fue a Lima
Es un E.A pues no se se indica quin es l. En este caso, el pronombre l
acta como variable. Si por ejemplo, hacemos que l se refiera a Luis, el
enunciado sera Luis se fue a Lima, enunciado del cual se puede hablar de
que sea verdadero o falso dependiendo si Luis se ha ido a Lima o no

(b) x 2y 7 + =
Es un E.A pues si x 2 = y y 3 = el enunciado se convierte en la proposicin
( ) 2 2 3 7 + = la cual es, en los nmeros reales, falsa

Definicin 1.3 Enunciado cerrado
Es toda definicin
3
, por lo que su valor de verdad es siempre verdadero, pues as
se ha convenido. Se admiten tambin como enunciados cerrados a aquellos
enunciados cuya verdad se aceptan sin demostracin.

Ejemplo 1.3

(a) El seno de un ngulo agudo es el cociente entre el cateto opuesto y la
hipotenusa..
Enunciado cerrado.

(b) El tringulo no es un polgono de tres lados.
No es un enunciado cerrado por dos razones: No es una definicin y no es
una proposicin simple.

(c) El tringulo es un polgono de tres lados
Enunciado cerrado. Se trata de la definicin de tringulo.

Definicin 1.4 Proposicin
Es el significado de un enunciado que tenga la propiedad de ser verdadero o
falso, pero no ambas.

Ejemplo 1.4
(a) Todos los peruanos son demcratas
Es una proposicin universal (debido al artculo todos) y afirmativa (el verbo
est afirmado).

(b) Algunos osos comen carne

3
Recuerde que una definicin siempre tiene sentido positivo, es decir, siempre es de la forma: El
objeto tal es , no de la forma El objeto tal no es
Es una proposicin particular (artculo algunos) y afirmativa (el oso panda es
hervboro).

(c) Miguel Grau muri en el combate de Abtao
Es una proposicin singular (Miguel Grau es nombre propio) y afirmativa.

(d) Io es una satlite de Jpiter
Es una proposicin singular y afirmativa.

(e) La Luna no es un planeta
Proposicin singular (la Luna es el nombre del satlite terrestre. Aqu la no
funciona como artculo) y negativa.

(f) El 28 de Julio de 1821 se proclam la independencia del Per
Proposicin singular (se refiere slo al 28 de julio de 1821 y no a otro 28 de
julio) y afirmativa.

(g) Los mamferos no son vertebrados
Proposicin universal (artculo definido los) y negativa.

Especficamente hablando, no se consideran como proposiciones a los deseos,
dudas, interjecciones, preguntas, pedidos, splicas, rdenes, las doxas o
enunciados de opinin o valoracin (por ejemplo, los mejores jugadores son de la
UCV), los enunciados que usan personajes ficticios
4
(por ejemplo, Romeo se
suicid por Julieta), los refranes, los proverbios, los enunciados abiertos, las
pseudoproposiciones (oraciones declarativas sin sentido), las descripciones
definidas, las supersticiones, mitos y los filosofemas o enunciados filosficos. El
porqu de estas exclusiones debe quedar claro al tener en cuenta la funcin del
lenguaje que predomina en ellos. De la definicin 1.3, todo enunciado cerrado es
una proposicin simple, con valor de verdad siempre verdadero, pero no lo
recprocamente.

Ejemplo 1.5
(a) La Virgen de la Puerta es milagrosa
A pesar de ser una oracin declarativa, es slo un enunciado

(b) El ro suena cuando piedras trae
Es un enunciado (refrn)

(c) El gato negro trae mala suerte
Enunciado (Supersticin)

(d) Qu es la lgica?
Enunciado. Es una pregunta.

(e) Debemos honrar a nuestros hroes.
Enunciado. Segn el contexto, puede ser una oracin imperativa o
exhortativa.

4
No as los enunciados que se refieren a personajes ficticios desde el punto de vista real. Por
ejemplo: Romeo es un personaje de una obra literaria o los duendes son personajes ficticios.
stas son proposiciones.
(f) Sea en hora buena
Enunciado. Oracin desiderativa

En el lenguaje comn, las oraciones se combinan para formar otras ms
complejas. Es natural esperar que lo mismo ocurra con las proposiciones. Para
realizar estas combinaciones, definimos lo siguiente.

Definicin 1.5 Trminos de enlace o conectores
Son aquellos trminos que sirven para enlazar una o ms proposiciones y as
formar otras ms complejas.

Bsicamente son 7 los conectores empleados. En la siguiente tabla aparecen
sus nombres y la forma ms pura como aparecen en el lenguaje.

NOMBRE FORMA BSICA
1. El Negador no
2. El Conjuntor ...y
3. El Disyuntor incluyente o
4. El Disyuntor excluyente oo
5. El Implicador sientonces
6. El Replicador si
7. El Biimplicador si y slo si

Obviamente, dada la diversidad de nuestro lenguaje, hay varios sinnimos para
los conectores mostrados en la tabla 1.1. Las tablas 1.2 a 1.8 muestran algunos
sinnimos empleados para referirse a cada uno de stos. P y Q son proposiciones.

Negadores Internos
- No P
- Nunca P
- Jams P
- Tampoco P

Negadores Externos
- Es absurdo que P
- Es inconcebible que
P
- Es innegable que no
P
- No es el caso que P
- Es imposible que P
- Es mentira que P
- Es incorrecto que P

De ninguna forma se da P
- Es incierto que P
- No es inobjetable que P
- En modo alguno P
- No ocurre que P
- No es innegable que P
- Es refutable P
- Es negable que P

- Es inadmisible que
P
- No acaece que P
- No acontece que
P.
- Es sofisma que P
- No es verdad que
P
- Es errneo que P

Tabla 1.1. Tipos de Conectores o Trminos de Enlace
Tabla 1.2. Sinnimos del Negador

El Conjuntor
- P y Q
- P incluso Q
- P pero Q
- P aunque Q
- P al igual que Q
- P tal como Q
- P tanto que Q
- Cierto que P lo
mismo que Q
- Simultneamente P
con Q
- P ms an Q
- Siempre ambos P
con Q
- P tambin Q
- P as como Q
- P vemos que tambin
Q
- P al mismo tiempo que
Q
- P sin embargo Q
- P es compatible con Q
- P an cuando Q
- Sin que P tampoco Q
- P adems Q
- P igualmente Q
- Tanto P como cuanto Q

- P al mismo modo Q
- P de la misma
manera Q
- P no obstante Q
- P sino Q
- No slo P sino
tambin Q
- P asimismo Q
- P a pesar de que Q
- P a la vez que Q
- P an cuando Q
- P a la par que Q

El Disyuntor Incluyente
- P o Q
- P a menos que Q
- A menos que P, Q
- P salvo que Q
- P y bien, o tambin
Q
- P ya bien Q
- P, de lo contrario
tambin Q

- P o tambin Q
- P a no ser Q
- P o sino Q
- P o en todo caso Q
- P y/o Q
- P a no ser que Q
- O P o Q o ambos

- P excepto que Q
- P o incluso Q
- P o a la vez Q
En sentido incluyente
- P alternativamente
Q
- P o bien Q
- Como mnimo P o
Q

El Disyuntor Excluyente
- o P o Q
- o bien P o bien Q
- P o Q (en sentidos
excluyentes)
- P o solamente Q
- P o nicamente Q
- P salvo que
unicamente Q

- P o slo Q
- P a menos que
solamente Q
- P no es equivalente a
Q
- No es equivalente P
con Q
- P no biimplica a Q

En sentido excluyente
- P excepto que solo
Q
- P a menos que solo
Q
- P salvo Q
- P alternativamente
Q
- P o bien
necesariamente Q

Tabla 1.3. Sinnimos del Conjuntor
Tabla 1.4. Sinnimos del Disyuntor incluyente
Tabla 1.5. Sinnimos del Disyuntor Excluyente

El Implicador
- Si P entonces Q
- Siempre que P por
consiguiente Q
- Ya que P bien se ve
que Q
- Con tal P es obvio
que Q
- Cuando P as pues
Q
- Toda vez que P es
consecuente Q
- Excepto que P, Q
- Para P es condicin
necesaria Q

- En cuanto P por tanto Q
- Cada vez que P
consiguientemente Q
- Ya que P es evidente Q
- De P derivamos Q
- P implica Q
- Si P, Q
- Dado P por eso Q
- Como quiera que P por
lo cual Q
- P es condicin suficiente
para Q
- P impone a Q

- Cuando P, Q
- Como P, Q
- De P, Q
- Suponiendo que P,
Q
- P slo si Q
- Slo P si Q
- P es condicin
suficiente de Q
- Una condicin
necesaria para P es
Q
- En el caso de que P
en tal sentido Q

El Replicador
- Slo si P, Q
- P si Q
- P porque Q
- P siempre que Q
- Es condicin
necesaria P para
Q
- No P a menos
que Q

- P para Q
- Para P es suficiente Q
- P puesto que Q
- P dado que Q
- P supone que Q
- P es suficiente para Q
- P en tanto Q

- P pues Q
- P en vista de Q
- P como Q
- P por cuanto Q
- P debido a que Q
- P cada vez que Q
- P en razn de Q

El Biimplicador
- P si y slo si Q
- P siempre y
cuando Q
- P se define
lgicamente
como Q

- P es igual que Q
- P es idntica a Q
- P es condicin
necesaria y suficiente
para Q
- P es equivalente a Q
- Slo si P entonces Q

- P siempre que y
slo cuando Q
- P porque y slo
porque Q
- P entonces y slo
entonces Q

Tabla 1.6. Sinnimos del Implicador
Tabla 1.7. Sinnimos del Replicador
Tabla 1.8. Sinnimos del Biimplicador

Definicin 1.6 Proposiciones Simples y Compuestas
Una proposicin es simple o atmica si no tiene conectivos lgicos en su
estructura. Si los presenta, se denomina compuesta o molecular.

El siguiente grfico muestra las relaciones entre enunciado, enunciado abierto ,
enunciado cerrado y proposicin.
ENUNCIADO
ENUNCIADO
ABIERTO
ENUNCIADO
CERRADO
PROPOSICIN
PROPOSICIN
COMPUESTA
PROPOSICIN
SIMPLE

Las proposiciones simples pueden ser:

a) Predicativas
Si al sujeto se le atribuye una cualidad o descripcin, es decir, se afirma una
caracterstica respecto a l.

b) Relacionales
Establecen una relacin entre dos o ms sujetos que tienen una misma
categora gramatical. Al sujeto se le compara con otro mediante trminos
relacionales

La siguiente tabla muestra algunos trminos relacionales.

TRMINOS RELACIONALES
Igual Vecino de Amigo de Siams
Semejante a Amar Juntos Compadre de
Contemporneo de Compaero de Similar a Hermano de
Gemelo de Correligionario de Camarada de Tio de
Mayor que Menor que Colega de Sobrino de
Interrelacionados Mellizo de Unidos Ms que

Figura 1.3. Relacin entre enunciado, enunciado abierto, enunciado
cerrado y proposicin
Tabla 1.9. Algunos trminos relacionales
Ejemplo 1.6
(a) Lima es la capital del Per.
Proposicin simple predicativa

(b) El Per es ms rico que Bolivia
Proposicin simple relacional (Relacin comercial)

(c) Los felinos son ms carnvoros que los primates.
Relacin simple relacional (Relacin alimenticia)

(d) Vallejo fue contemporneo de Maritegui.
Relacin simple relacional (Relacin temporal)

(e) Ica est al sur de Lambayeque.
Relacin simple relacional (Relacin espacial)

(f) Rebeca y Jos obsequian una bicicleta a su sobrino.
Relacin simple relacional (ambos le han obsequiado)

(g) Juan y Sara se aman.
Relacin simple relacional (Relacin afectiva)

A su vez, las proposiciones compuestas se clasifican en:

a) Negativas
Si tienen al conector mondico no. Decimos mondico pues slo necesita de
una proposicin para ser una expresin bien formada. Pueden ser:

a.1 Simples
Si presenta negador interno, es decir, la negacin va en el verbo. (ver tabla
1.2)

a.2 Compleja
Si tiene negador externo, es decir, la negacin va al inicio de una
proposicin simple o compuesta. Se construye con sinnimos de no (ver
tabla 1.2)

a.3 Por prefijo
Si el trmino predicado va antecedido por un prefijo que indica negacin

La siguiente tabla muestra los prefijos que indican negacin

Prefijo Ejemplo
a apoltico
des desarreglar
dis disconforme
(p) seudo (p) seudoprofeta
i
in
im
injusto
ilgico

Ejemplo 1.7
(a) Los felinos no son herbvoros
Es una proposicin compuesta negativa simple. Negador interno no.

(b) Es mentira que en el Per hay democracia.
Es una proposicin compuesta negativa compleja. Negador externo Es
mentira que.

(c) Es absurdo que Juan sea amigo de Luis
Es una proposicin compuesta negativa compleja. Negador externo Es
mentira que.

(d) Alejandro es un amoral
Es una proposicin compuesta negativa por prefijo. Prefijo que indica
negacin amoral.

(e) Este libro est desactualizado
Es una proposicin compuesta negativa por prefijo. Prefijo que indica
negacin desactualizado.

b) Conjuntivas
Si tienen el conector didico y. Didico pues necesita de dos proposiciones
para tener sentido.
Las comas ( , ) y los puntos seguidos ( . ) significan muchas veces una
conjuncin.

Ejemplo 1.8
(a) Aravis es mdico y Juan es abogado
Es una proposicin compuesta conjuntiva.

(b) Per y Brasil son pases sudamericanos.
Es una proposicin compuesta conjuntiva. La oracin puede ser reescrita
como: Per es un pas sudamericano y Brasil es pas sudamericano.
Observa la redundancia.

(c) Los mamferos y los reptiles son vertebrados y hervboros
como: Los mamferos son vertebrados y los mamferos son herbvoros y los
reptiles son vertebrados y los reptiles son herbvoros . Nota la gran
redundancia que existe. No obstante, ste es el realmente el significado de la
oracin. Cabe resaltar que hay en realidad cuatro proposiciones simples.

(d) Vallejo fue escritor, poeta y revolucionario.
como Vallejo fue escritor y Vallejo fue poeta y Vallejo fue revolucionario
Tabla 1.10. Prefijos que indican negacin

(e) Los claveles y los pjaros son flores y animales respectivamente.
Es una proposicin compuesta conjuntiva. Puede ser reescrita como Los
claveles son flores y los pjaros son animales

c) Disyuntivas incluyentes o dbiles
Si tienen el conector didico o en sentido incluyente, esto es, cuando
ambas proposiciones pueden ser ciertas a la vez, es decir, al menos una es
cierta. Se clasifican en:

Las comas ( , ) a veces significan disyuncin. El contexto aclarar si se trata
de una conjuncin o de una disyuncin.

Ejemplo 1.9
(a) La ingeniera es una ciencia o la medicina es un arte.
Es una proposicin compuesta disyuntiva incluyente.

(b) La matemtica o la biologa son ciencias exactas.
Es una proposicin compuesta disyuntiva incluyente. La oracin puede ser
reescrita como: La matemtica es una ciencia exacta o la biologa es una
ciencia exacta.

(c) Los hongos son causantes de enfermedades o ayudan en el metabolismo.
Es una proposicin compuesta disyuntiva incluyente. Se puede reescribir
como: Los hongos son causantes de enfermedades o los hongos ayudan en
el metabolismo

(d) Los peruanos o los ecuatorianos son pacifistas o buscan el desarrollo.
Es una proposicin compuesta disyuntiva incluyente. Al reescribirla como:
Los peruanos son pacifistas o los ecuatorianos son pacifistas o los peruanos
buscan el desarrollo o los ecuatorianos buscan el dearrollo. Se observa que
hay en realidad cuatro proposiciones simples.

d) Disyuntivas excluyentes o fuertes
Si tienen el conector didico o en sentido excluyente, es decir, cuando
ambas proposiciones no pueden ser ciertas al mismo tiempo. Pueden ser
reconocidas por las siguientes caractersticas:

d.1 Por su forma
Se presentan los siguientes casos:
d.1.1 La forma
oo

Esta forma incluye el caso cuando la segunda o es reemplazada por
un sinnimo de la o inclusiva, es decir, con alguno de los sinnimos
de la tabla 1.5.(ejemplos 1.9 (a) y 1.9 (c))

d.1.2 La forma
o + trmino modificador

Algunos trminos modificadores son slo, nicamente, solamente,
exclusivamente, prioritariamente, (ejemplo 1.9 (b))
Antecedente
Razn Suficiente
Condicin Suficiente
Proposicin Condicionadora
Prtasis
Consecuente
Razn Necesaria
Condicin Necesaria
Proposicin Condicionada
Apdosis
Antecedente
Razn Suficiente
Condicin Suficiente
Consecuente
Razn Necesaria
Condicin Necesaria

d.2 Por su contenido
Si las proposiciones no pueden ser verdaderas a la vez (ejemplo 1.9 (d))

Ejemplo 1.10
(a) O la ingeniera es una ciencia o es una tcnica.
(b) David es ingeniero o nicamente es poltico.
(c) Marleny es actriz salvo que solamente sea mdico.
(d) Per est en Amrica o Europa.

e) Implicativas
5
o proposiciones hipotticas
Si tienen el conector didico sientonces. La proposiciones entre estos
trminos reciben nombres especiales.

Si entonces

Observemos ahora el siguiente ejemplo:

Ejemplo 1.11
(a) Si todos los hombres son mortales y Scrates es hombre, entonces Scrates
es mortal.
(b) Si Kai es soltero, entonces no est casado.
(c) Si coloco en un cido papel de tornasol azul, entonces el papel de tornasol se
volver rojo.
(d) Si nuestro equipo pierde el partido, entonces te entrego mil soles.

Existen otros trminos lingusticos para representar a la proposicin implicativa.
Veamos el siguiente ejemplo:

Ejemplo 1.12
(a) Porque la oferta aumenta, por eso los precios disminuyen.
(b) La demanda aumenta nicamente porque los precios aumentan.
(c) Es suficiente construir la democracia para respetar la constitucin.
(d) Condicin necesaria para construir la democracia es respetar la constitucin

f) Replicativas
Si tienen el conector didico si. La proposiciones a ambos lados del si
reciben nombres anlogos a los de las implicativas.

si

Ejemplo 1.13
Las siguientes proposiciones son replicativas

5
Algunos autores las llaman condicionales para distinguirlas de aquellas, a las que denominan
implicativas, donde el antecedente se relaciona lgicamente con el consecuente. A stas estamos
llamando argumentos.
(a) No hay tuberculosis, puesto que no hay infeccin de bacilos.
(b) Para matricularse es suficiente tener dinero.
(c) Es necesario matricularse para tener dinero.
(d) Condicin suficiente para matricularse es tener dinero.

g) Biimplicativas
Si tienen el conector didico si y slo si. Se pueden usar los sinnimos de
la tabla 1.8. Tambin se consideran biimplicativas las proposiciones de la forma
Para es condicin necesaria y suficiente

Ejemplo 1.14
(a) Para ser profesional es suficiente y necesario ser buen estudiante.
Proposicin compuesta biimplicativa

La siguiente figura resume los tipos de proposiciones simples y compuestas que
aparecen en nuestro lenguaje.

Figura 1.4. Tipos de Proposiciones
Compuestas
Simples
Predicativas
Relacionales
Negativas
Conjuntivas
Disyuntivas
Incluyentes
Disyuntivas
Excluyentes
Implicativas
Replicativas
Biimplicativas
19/01/2012
Subttulo
TALLER DE EJERCICIOS

1. Clasifica los siguientes enunciados. Para aquellos que sean proposiciones, indica su
valor de verdad.
1.1. El almanaque Bristol es una publicacin anual.
1.2. El Per es un pas austral y occidental.
1.3. Recoge ese lpiz
1.4. x y 5 =
1.5. 2 5 6 + <
1.6. Hola que tal
1.7.
2
x 1 10 + <
1.8. Scrates naci en Atenas
1.9. x 2 5y + > , para y 2 = .
1.10. x 2 5 + > , para x 2 = .
1.11. ( ) ( )
2 2
Sen x Cos x 1 + =
1.12. x 3 9 + > , si x 5 =
1.13. x y z + < , si x 3, y 4 = =
1.14. La raz cuadrada de -1 es un nmero imaginario.
1.15. Cuzco es una ciudad arqueolgica.
1.16. El smbolo del oro es Au
1.17.
2 2
x y 5 + = es la ecuacin de una circunferencia de radio 5.
1.18. Marte es el dios de la guerra.
1.19. Romeo am a Julieta.
1.20. Segn la mitologa griega, Breas es el dios del viento del Norte.
1.21. Vete a comprar pan
1.22. Centauro es una constelacin austral.
1.23. Atardece.
1.24. Carlos Marx es autor de la Iliada.
1.25. 7 es nmero primo.
1.26. Cristbal Coln conquist el Per
1.27. Anochece
1.28. Hace mucho calor!
1.29. La radio es un medio de informacin.
1.30. La matemtica es una ciencia.

2. Clasifica las siguientes proposiciones, si lo fuesen, en simples o moleculares
2.1. Fobos es un satlite de Marte.
2.2. Andrmeda y la Va Lctea son galaxias.
2.3. Julio C. Tello descubri el Seor de Sipn.
2.4. Los dos grandes aportes de los romanos fueron el derecho y el cristianismo.
2.5. Los videos no son pruebas judiciales.
2.6. Si se calientan las aguas de la costa central y meridional entonces se
producir el fenmeno del Nio.
2.7. La filosofa es una forma de pensamiento propio del hombre.
2.8. Tarapoto pertenece a Loreto.
2.9. El cerebro y el corazn son rganos vitales
2.10. Irn y Libia elevan el precio del petrleo.
2.11. Londres es la capital de Inglaterra.
2.12. Juan y Mara sern elegidos miembros de la asamblea.
2.13. No es cierto que Amanda sea economista.
2.14. Si hace fro entonces nos enfermamos
2.15. La uretra no se extiende desde la vejiga al exterior del organismo.
2.16. Los riones son los mayores rganos excretores del cuerpo.
2.17. La uretra es ms larga en los hombres que en las mujeres.
2.18. Las nebrinas son unos tubos microscpicos que filtran la sangre.
2.19. Cada rin est compuesto de millones de nebrinas.
2.20. El trmino honrado es igual a honesto.

3. Indica cules de los siguientes enunciados son proposiciones simples predicativas o
relacionales
3.1. Los tomos tienen ncleo.
3.2. La Tierra gira sobre su eje.
3.3. Los sapos son peces.
3.4. La Luna es un planeta.
3.5. Es falso que el lobo sea animal.
3.6. Los vertebrados son mamferos a no ser que sean cuadrpedos.
3.7. Can fue filicida y Edipo parricida.
3.8. El hombre perdurar en este mundo.
3.9. Scrates o Platn escribieron los Dilogos.
3.10. Scrates fue maestro de Aristteles.
3.11. Per tiene la mayor tasa de analfabetos en Latinoamrica.
3.12. Mncora es un balneario que pertenece al departamento de Piura.
3.13. Piura est al sur de Tumbes.
3.14. Piura es un departamento rico en fosfatos.
3.15. Huanca y Hueso, ambos fueron perros de Simn Robles.
3.16. 5x 8x 12 > + , donde x 4 = .
3.17. El dios Osiris representa al Sol.
3.18. La hormona vasoperina sube la presin arterial.
3.19. Pedro naci en Lima
3.20. Piura est al noroeste de Iquitos

4. Indica cules de los siguientes enunciados son proposiciones negativas

4.1. No ocurre que haga fro, o el viento es caliente.
4.2. No ir al cine o no vendrs a la casa.
4.3. El 10101 nunca ser divisible por 2.
4.4. Juan y Carlos no son condiscpulos
4.5. Rubn y Lus son inmorales
4.6. No se da el caso que estudias medicina e ingeniera
4.7. Carlos no fue a trabajar y no visit a Maria.
4.8. Es falso que, Carlos fue a trabajar y visit a Maria.
4.9. No es cierto que, Carlos trabaja, y Mara estudia.
4.10. Si Carlos fue a trabajar entonces no visit a Mara.
4.11. De ninguna forma, Pedro es matemtico
4.12. No ocurre que 2 1.73 = .
4.13. Juan es menor que Pablo, no obstante 2 8 =
4.14. No slo los gases son invisibles sino tambin inodoros.
4.15. Es sofisma que, el latn es un metal.

5. Indica cules de los siguientes enunciados son proposiciones conjuntivas

5.1.
x
A B
C
y z
es una potencia par, n e ; pero
n
3 es una potencia impar, n e .
5.2. Javier no es piadoso ya que no paga sus deudas.
5.3. Slo si la Luna se ve blanca, retiene la luz solar.
5.4. Alfonso Ugarte ni corri ni se entrego frente al enemigo del sur.
5.5. Carlos tiene vocacin de filsofo aunque no aprecie a los pensadores griegos.
5.6. Maria ama a Juan empero Juan ama a Rosa.
5.7. Tritn es satlite del planeta Neptuno.
5.8. Derecho, Hotelera e Ingeniera son algunas escuelas de la UCV Piura.
5.9. Jos Santos Chocano naci en Lima el 14 de mayo de 1875 y muri en
Santiago de Chile el 13 de diciembre de 1934.
5.10. De ninguna manera se firmar el TLC con Estados Unidos.
5.11. No es cierto que gare y que luego llueva.
5.12. Juan es menor que Jorge sin embargo Jorge es mayor que Lus.
5.13. Julio Csar y Marco Antonio fueron contemporneos.
5.14. Platn y Aristteles fueron discpulos de Scrates.
5.15. Los montes Urales separan Europa de Asia pero frica se separa de Asia
por el canal de Suez.

6. Indica cules de las siguientes enunciados son proposiciones disyuntivas
incluyentes

6.1. Estudio pero no aprendo
6.2. Carlos o Juan pero no ambos
6.3. Hace fro ya que llueve
6.4. No es posible que cante o baile
6.5. Juan estudia o trabaja.
6.6. En los anfibios, el padre y la madre custodian los huevos.
6.7. Los anfibios son vivparos u ovparos
6.8. Los animales son vertebrados o invertebrados.
6.9. Los carnvoros son omnvoros o slo herbvoros.
6.10. La sal de mesa o cloruro de sodio.

excluyentes

7.1. Lus es futbolista o tenista.
7.2. La ventana del aula es triangular o cuadrangular.
7.3. Ingresarn a la UCV los que aprueben el examen de ingreso o nicamente
los que estn exonerados de l.
7.4. Recibirs el dinero o la casa pero no ambas cosas.
7.5. Javier es futbolista o voleybolista

8. Indica cules de las siguientes enunciados son proposiciones implicativas

8.1. Ir a Cajamarca slo si salgo de vacaciones.
8.2. Si la aritmtica es consistente, la geometra tambin lo es.
8.3. El hoyo de la capa de ozono seguir creciendo si seguimos contaminando
nuestro medio ambiente.
8.4. La contaminacin favoreci la aparicin de seres complejos, pero es
perjudicial para la vida humana.
8.5. Las escuelas fueran creadas por Carlomagno para educar a los privilegiados.
8.6. Mara ser buena estudiante si no memoriza las preguntas.
8.7. Juan puede cursar Matemtica Aplicada a la Seguridad de Redes
Informticas slo si est en tercer curso de carrera.

9. Indica cules de las siguientes enunciados son proposiciones replicativas

9.1. Si hay gasolina en el tanque, mi automvil funciona.
9.2. Mi automvil slo funciona si hay gasolina en el tanque.
9.3. Si hay gasolina en el tanque, es suficiente para que mi automvil funcione.
9.4. Para que el automvil funcione es necesario que haya gasolina en el tanque.
9.5. Qu haya gasolina en el tanque implica que mi auto funcione.

10. Indica cules de las siguientes enunciados son proposiciones biimplicativas

10.1. Si hay anabolismo, hay catabolismo.
10.2. Slo si hay anabolismo, hay catabolismo.
10.3. Hay anabolismo si y slo si hay catabolismo.
10.4. Hay catabolismo siempre y cuando hay anabolismo
10.5. Hay anabolismo es equivalente decir a que hay catabolismo.
10.6. Abel estudia siempre y cuando Luis trabaje
10.7. El que llueva es condicin suficiente para obtener buenas cosechas
10.8. Hace calor equivale a decir que aument la temperatura
10.9. Es aniversario patrio si y slo si es 28 de julio.
10.10. El que transpire es condicin necesaria de que camine.

1. Clasifica los siguientes enunciados. Para aquellos que sean proposiciones, indica su
valor de verdad.
1.1. Amanece.
1.2. l tiene mucha hambre.
1.3. Ama a t prjimo como a ti mismo.
1.4. El hijo de Carlos V.
1.5. El hijo primognito de Luis VIII
1.6. Las guilas de Amrica del Norte son carnvoras.
1.7. 9
3
.
1.8. Cuntos alumnos tiene la UCV filial Piura?
1.9. No puedo creer que campeone Alianza Lima!
1.10. El creador indiscutible de la lgica matemtica fue el ingls George Boole.
1.11. Romeo am a Julieta segn la obra literaria.
1.12. Ven ahora.
1.13. Nunca debo olvidar el ayer.
1.14. Maana la ver.
1.15. Maana es viernes.
1.16. El amor es hermoso.
1.17. Mi anhelo es ver al Per como un pas exportador.
1.18. El Per es un pas eminentemente agrario.
1.19. El actual presidente del Per
1.20. Ella ama a Lus
1.21. El caballero Carmelo
1.22. La esposa de Tpac Amar fue fusilada
1.23. Ojal regreses el prximo ao!
1.24. ( )
2
2 2
a b a 2ab b + = + + .
1.25. Hace fro.
1.26. Esta tiza es de color negro.
1.27. Alcnzame el libro de Historia.
1.28. l gan la maratn.
1.29. El hombre es inmortal.
1.30. Ella, Carmen, es comerciante

2. Clasifica las siguientes proposiciones, si lo fuesen, en simples o moleculares

2.1. El Per es un pas rico en petrleo y en minerales.
2.2. Si trabajas en las minas es obvio que tendrs mejor nivel de vida.
2.3. La economa ecuatoriana no est dolarizada.
2.4. Juan y Ral son socios.
2.5. Edgar y Alex son poetas.
2.6. El Huascarn es un nevado.
2.7. Yungay pertenece a Ancash.
2.8. Juan y Carlos no son condiscpulos
2.9. Harry Potter es un pequeo mago.
2.10. Garca Mrquez escribi cien aos de soledad.
2.11. Juan y Mara ambos sern elegidos miembros de la asamblea.
2.12. La boca es el acceso al tubo digestivo.
2.13. La dentadura es la encargada de triturar los alimentos.
2.14. La deglucin es el acto de tragar.
2.15. Dalila mat a Sansn.
2.16. Juan Velasco derroc a Belande.
2.17. Las capas de la tierra son tres: corteza, manto y ncleo.
2.18. El rgimen de los ros es variable y est condicionado por la escasez o la
abundancia de agua.
2.19. Los distintos climas de la tierra son: ecuatorial, tropical, desrtico, templado y
polar.
2.20. La agricultura es extensiva o intensiva.

3. Indica cules de los siguientes enunciados son proposiciones simples predicativas o
relacionales
3.1. El bronquio derecho se divide en tres ramas.
3.2. La biologa es una ciencia prctica.
3.3. El aire entra a los pulmones y proporciona oxgeno a las clulas del
organismo.
3.4. Los hongos tienen pared celular o capilar.
3.5. El aire expulsado de los pulmones elimina el dixido de carbono del
organismo.
3.6. Los dos huesos ms delgados de la parte inferior de la pierna se conoce
como tibia y peron.
3.7. Los huesos fusionados del crneo encierran en su interior el encfalo.
3.8. La pared del intestino delgado tiene muchas proyecciones pequeas
llamadas vellosidades.
3.9. El hgado puede convertir glucosa en glucgeno.
3.10. Lima es una de las ciudades ms modernas de Amrica.
3.11. El estmago es la parte del sistema digestivo.
3.12. Bolivia est entre Brasil y Uruguay.
3.13. Simn Bolvar fue el hroe de Arica.
3.14. El agua y el aceite se mezclan.
3.15.
2 2
25 3 4 = +
3.16. El agua se evapora por el calor.
3.17. 18 es un nmero par.
3.18. El carbono y el hidrgeno son elementos qumicos.
3.19. Grau y Bolognesi son hroes.
3.20. George Washington y Thomas Jefferson fueron presidentes de EE.UU
3.21. Vctor Ral Haya de la Torre y Oscar Benavides fueron antagonistas polticos.
3.22. Benito Mussolini y el Fascismo.
3.23. En 1936 Alemania y Japn firmaron un pacto anticomunista.
3.24. La Segunda Guerra Mundial la ganaron la URSS, Gran Bretaa, EE.UU. y
Francia.
3.25. El rea lateral de un cilindro de revolucin se obtiene multiplicando la
longitud de la circunferencia por la altura del cilindro.

4. Indica cules de los siguientes enunciados son proposiciones negativas

4.1. No ocurre que, las aguas de la corriente peruana sean calientes
4.2. Es falso que, lo dicho por los polticos es verdad
4.3. Jos Evaristo es infiel
4.4. Indudablemente la ciencia es til a la sociedad
4.5. Absurdo es que 2 5 >
4.6. En forma alguna Deysi estudia Ingeniera.
4.7. Es mentira que 5 3 s
4.8. La mayora de buitres no tienen garras.
4.9. Es falso que los buitres tienen picos muy fuertes.
4.10. Es mentira que los buitres esperan que la putrefaccin ablande un cadver.
4.11. Brasil no venci a Per en vley
4.12. No es cierto que Per venci a Brasil en vley
4.13. Per no venci a Brasil en vley
4.14. No es cierto que, Brasil venci a Per en vley.
4.15. El cilindro es una figura del espacio formado por lneas curvas asimismo por
lneas rectas.

5. Indica cules de los siguientes enunciados son proposiciones conjuntivas

5.1. El avin es un medio de transporte seguro, aunque sus accidentes son
fatales.
5.2. El Per es libre y soberano para tomar sus decisiones
5.3. Andrs es callado, aunque divertido.
5.4. El len es animal acutico y/o mamfero.
5.5. El pez es acutico al igual que el elefante es terrestre.
5.6. No slo Coln es descubridor sino tambin Magallanes lo fue.
5.7. Marte es planeta a no ser que Jpiter tambin lo es.
5.8. El sistema inmunolgico utiliza mecanismos de defensa: la inmunidad innata
as como la inmunidad adquirida.
5.9. Si Jos mejora su economa, podr inscribirse al instituto.
5.10. Trabajo sin embargo estudio.
5.11. Viajar a Espaa si obtengo visa de estudio.
5.12. Termino la secundaria y postulo a la universidad

incluyentes

6.1. Pedro es responsable a menos que Juan tambin lo sea.
6.2. Juan es responsable excepto que Pedro tambin lo sea.
6.3. Salvo que Pedro sea responsable, Juan, lo es.
6.4. Juan no es responsable o Pedro es responsable.
6.5. Pedro es responsable a la vez Juan no es responsable.

excluyentes

7.1. El libro de lgebra es voluminoso o interesante
7.2. Luis es alto o bajo
7.3. O aceptas el aumento o te vas del trabajo
7.4. Juan trabaja o estudia.
7.5. Juan trabaja o slo estudia.
7.6. El Huascarn se encuentra en la Cordillera Oriental de los Andes o se
encuentra en la Cordillera Occidental.
7.7. O bien la lactosa se encuentra en la leche o bien se encuentre en el vino.
7.8. Paty es casada o es soltera
7.9. El movimiento de rotacin de la tierra lo hace a 28 km por minuto o lo hace a
30 km por segundo
7.10. O el Per hace la guerra o Ecuador es pacifista

8. Indica cules de las siguientes enunciados son proposiciones implicativas

8.1. Una condicin suficiente para que Julio visite Cuenca es que visite las Casas
Colgantes.
8.2. Si se estudia lgica, mejorar nuestra forma de razonar.
8.3. Slo si vas a la Iglesia, eres creyente
8.4. Un nmero es par si es divisible por 2
8.5. Una figura es un tringulo siempre que tenga exactamente 3 lados
8.6. El sol es 1 300 000 veces ms grande que la Tierra.
8.7. Cuando la Luna est en conjuncin, entonces ocurre un eclipse de sol.
8.8. Estudiar en Ia Cepre Vallejo por lo tanto ingresar a la UCV.

9. Indica cules de las siguientes enunciados son proposiciones replicativas

9.1. Se prohbe usar celular en clase porque atenta contra la disciplina
9.2. Si el avestruz tiene mayor tamao pero es un ave, no vuela.
9.3. La pena de muerte est justificada porque se estn cometiendo atrocidades.
9.4. El cuadrado de 3 16.
9.5. Es imposible que 3 7 < si 5 9 > .
9.6. Luis es profesor y trabaja en la UCV.

10. Indica cules de las siguientes enunciados son proposiciones biimplicativas

10.11. Abel estudia siempre y cuando Luis trabaje
10.12. El que llueva es condicin suficiente para obtener buenas cosechas
10.13. Hace calor equivale a decir que aument la temperatura
10.14. Es aniversario patrio si y slo si es 28 de julio.
10.15. El que transpire es condicin necesaria de que camine.


FORMALIZACIN PROPOSICIONAL

La matematica
es el desarrollo de todos
los tipos de razonamiento formal,
necesario y deductivo.
ALFRED NORTHWHI TEHEAD

Introduccin
En esta seccin, aprenderemos a traducir un argumento expresado en palabras de
nuestro lenguaje a el lenguaje formal de la lgica.

Este enfoque no es nuevo. Desde que se descubrieron las estructuras del
pensamiento, el desarrollo de la ciencia ha experimentado un crecimiento notable.
Tmese el siguiente ejemplo:

La ley de la gravedad de Newton nos dice tambin que cuanto ms separados estn
los cuerpos menor ser la fuerza gravitatoria entre ellos. La ley de la gravedad de
Newton establece que la atraccin gravitatoria producida por una estrella a una cierta
distancia es exactamente la cuarta parte de la que producira una estrella similar a la
mitad de distancia. Esta ley predice con gran precisin las rbitas de la Tierra, la Luna y
los planetas.
6

Estas 77 palabras pueden ser resumidas en la siguiente expresin:
1 2
2
mm
F G
d
=

Obviamente, para poder entender sta ltima frmula, debemos conocer el lenguaje
formal en la que est planteada as como su contenido semntico. Pero la ventaja es que
esta frmula se entiende en cualquier idioma.

6
Tomado de Historia del Tiempo de S. Hawking
En este apartado, uniremos los conceptos de proposicin y conectivos lgicos con
sus homnimos formales.

Definicin 1.7 Formalizacin proposicional
Es el proceso mediante el cual se identifican proposiciones simples y estructuras
lgicas proposicionales, asignndoles un smbolo del lenguaje formal de la lgica
proposicional y organizndolos con los signos auxiliares de dicho lenguaje

La asignacin de la que habla la definicin anterior es la siguiente:

La relacin entre conectivos lgicos y conectores es la siguiente:

Nombre Forma Smbolos
Negador no
N
Conjuntor ... y ...
. & K .
Disyuntor
Incluyente
o
A v +
Disyuntor
Excluyente
o o
v A > < J

Implicador si entonces C
Replicador porque
:
Biimplicador si y slo si
E =

Si al formalizar no queda claro cul es el conectivo dominante, se debe utilizar la
siguiente convencin:
Menor jerarqua
Mayor jerarqua
. v ,
,
,

Veamos un ejemplo de formalizacin

Tabla 1.11. Conectivos lgicos y su significado semntico
Figura 1.5. Jerarqua de conectivos lgicos
Ejemplo 1.15
La Teora de la Comunicacin interviene en diversas ciencias del hombre y en la
tecnologa; ya que se debe a que haya sido propuesta para servir de campo
unificador de las ciencias sociales, ofreciendo a stas tanto un lenguaje como una
problemtica comn

Solucin:
Paso 1: Identificar las proposiciones simples y asignarles variables
p : La Teora de la Comunicacin interviene en diversas ciencias del hombre
q : La Teora de la Comunicacin interviene en la tecnologa
r : La Teora de la Comunicacin ha sido propuesta para servir de campo
unificador de las ciencias sociales
s : La Teora de la Comunicacin ofrece a las ciencias sociales un lenguaje
comn
t : La Teora de la Comunicacin ofrece a las ciencias sociales una
problemtica comn

Paso 2: Identificar los conectivos lgicos presentes
La Teora de la Comunicacin interviene en diversas ciencias del hombre y en la
tecnologa; ya que se debe a que haya sido propuesta para servir de campo
unificador de las ciencias sociales , ofreciendo a stas tanto un lenguaje como una
problemtica comn

La forma es:
y ; ya que se debe a que , tanto como

Paso 3: Escribir la frmula lgica correspondiente

( ) ( ) p q r s t . . .

1.3 Casos especiales de formalizacin
Como regla general, la formalizacin debe ser literal, es decir, tal y como est
escrito. No valen las equivalencias.

Hay casos especiales con los siguientes conectivos

1.3.1 El negador
- La doble negacin de una proposicin simple la convierte en una compuesta.
- Los negadores externos no necesitan de la presencia de una coma para
indicar a qu proposiciones afectan.
- Las expresiones lingsticas de doble negacin (innegable, inobjetable, no es
inadmisible, no es mentira que,) se formalizan como tales.
- Las expresiones con prefijos de negacin se formalizan.

Ejemplo 1.16
(a) Es mentira que Lucy no es profesora
p : Lucy es profesora
Formalizacin: ( ) p
Observa que Es mentira que es un negador externo. Dado que es
unario, cuando no hay confusin, se suelen obviar los parntesis. Segn esto,
lo anterior se escribe p

(b) No es falso que si Lus no compra un automvil entonces no podr ir a
Mncora adems no abrazar a su novia.
p : Luis compra un automvil
q : Luis va a Mncora
r : Luis abrazar a su novia.
Formalizacin: ( ) p q r ( .

Observa que el negador externo de doble negacin No es falso que se
formaliza como tal. Adems, como no hay signos de puntuacin en el interior
de la oracin, afecta a toda ella, por lo que es el conectivo dominante. Dado
que tiene mayor jerarqua que el . , es el conectivo dominante dentro del
corchete.

(c) Es imposible que llueva hoy, ya que hace tiempo no hay sequa.
p : Llueve hoy
q : Hace tiempo que hay sequa
Formalizacin: p q
Observa que el negador externo Es imposible que afecta a toda la parte de
la oracin hasta antes de la coma.

(d) Es innegable que los vertebrados son reptiles
p : Los vertebrados son reptiles.
Formalizacin: p

(e) Ender es infeliz
p : Ender es feliz.
Formalizacin: p

1.3.2 El conjuntor
- Cuando se usan comas y el ltimo conector es y , las comas se formalizan
como conjunciones.
- Una excepcin a la regla anterior: Cuando una oracin usa trminos
relacionales, an cuando aparezca el trmino y, se formaliza como una
proposicin simple.
- No se formaliza cuando la relacin es del tipo causal y temporal.

Ejemplo 1.17
(a) Pinino y Minily son amigos
p : Pinino y Minily son amigos
Formalizacin: p

(b) Leonardo Da Vinci fue ingeniero, escritor y pintor.
p : Leonardo Da Vinci fue ingeniero.
q : Leonardo Da Vinci fue escritor.
r : Leonardo Da Vinci fue pintor.
Formalizacin: p q r . .

1.3.3 El disyuntor
- Cuando se usan comas y el ltimo conector es o , las comas se formalizan
como disyunciones.

Ejemplo 1.18
Leonardo Da Vinci fue ingeniero, escritor o pintor .
p : Leonardo Da Vinci fue ingeniero.
q : Leonardo Da Vinci fue escritor.
r : Leonardo Da Vinci fue pintor.

Formalizacin: p q r v v

19/01/2012
Subttulo

Realiza lo indicado:

1. Formalizar el enunciado: El hgado es la glndula ms grande del cuerpo humano
adems depura la sangre.

2. Formalizar: Alguien, nadie, alguno, algo y cualquiera son pronombres indefinidos.

3. Formalizar: De que una figura geomtrica tenga cuatro lados iguales se deriva que
es un cuadrado o un rombo, pero si la figura geomtrica tiene cuatro lados iguales
as como cuatro ngulos rectos es obvio que es un cuadrado

4. La proposicin: Es absurdo que la caja torxica este formada por menos de 11
pares de costillas dado que stas se unen por delante al esternn. Se formaliza:

5. El siguiente esquema: ( ) r p q . no es la formalizacin de:
(a) La sangre es un liquido de color rojo, puesto que no esta constituido por plasma
incluso por hemates.
(b) Los dientes caninos nunca tienen la corona aplanada sin embargo la tienen en
forma de pirmide cuadrangular por lo tanto su funcin es desgarrar los alimentos.
(c) Las neuronas jams son unidades funcionales del corazn aun cuando lo sean del
rin por lo tanto actan como un filtro.
(d) El 12 es numero par dado que no es divisible por 5 adems es un nmero
compuesto.

6. Formalizar: El coseno y la secante juntas son razones inversas, a menos que su
producto no sea igual a uno.

7. Formalizar: La progresin geomtrica no es creciente si su razn esta entre 0 y 1,
salvo que su razn es mayor que 1, por consiguiente es creciente

8. Formalizar la proposicin: Cuando el Per firme el tratado de libre comercio as
pues exportar sus productos al extranjero a pesar de que los congresistas se
oponen, excepto que exporte sus productos al extranjero.

9. Formalizar: Dado que la magnitud que caracteriza al movimiento es la velocidad por
eso la cinemtica estudia al movimiento, adems hay movimiento rectilneo al igual
que circular

10. Formalizar: Si el agua pasa de estado lquido a slido entonces se solidifica,
asimismo si pasa de estado gaseoso a lquido implica que se condensa

11. Toda vez que un catin es un tomo que nunca ha perdido electrones, por
consiguiente posee un nmero de cargos positivas siempre y cuando el catin es un
tomo que ha perdido electrones. Hallar su frmula lgica.

12. Formalizar: Si la pendiente del ngulo de inclinacin de una recta es positiva, es
evidente que el ngulo es agudo debido a que si no es positiva, derivamos que el
ngulo es obtuso:

13. El siguiente esquema ( ) p q r . es la formalizacin de:
(a) Hablas o callas en tu defensa, a pesar de que eres inocente.
(b) El ngulo es agudo u obtuso, o tambin el ngulo es recto.
(c) Viajas a Puno o Tumbes, al mismo tiempo que sales de vacaciones.
(d) La mesa es redonda o cuadrada, tanto que es de madera.
Dar como respuesta las inobjetablemente inciertas.

14. Formalizar: El dimetro de una circunferencia no es menor que cualquier cuerda
slo si mide dos radios igualmente el radio es la distancia del centro a cualquier
punto de la circunferencia

15. Formalizar la proposicin: Es inadmisible que la energa elica aprovecha la fuerza
del viento de la misma manera que la energa solar utiliza las radiaciones solares.

16. Formalizar: El transporte puede ser terrestre, martimo y areo, adems requiere de
infraestructura siempre que y slo cuando el gobierno se encargue de la
construccin y no del mantenimiento de la infraestructura.

17. Formalizar: Las hienas o los buitres se alimentan de presas muertas por eso los
necrfagos no contribuyen a la contaminacin del medio ambiente al igual que es
innegable que los buitres se alimenten de presas muertas.

18. Formalizar la proposicin: Los meteoritos son de composicin rocosa o metlica,
igualmente los cometas estn formados de polvo csmico .

19. Formalizar: Ral postula al pedaggico o a la UCV dado que se prepar en la
Cepre, pero ni postula al pedaggico ni a la UCV es evidente que no se prepar en
la Cepre.

20. Hallar la frmula de: La sacarosa y la lactosa son glcidos implica que los glucidos
contienen azcares, salvo que ni la sacarosa ni la lactosa son glcidos, por eso los
glucidos jams contienen azucares.

21. Formalizar: Ni el occipital ni el frontal son msculos del trax porque y solo porque
ambos son msculos cutneo del crneo.

22. Formalizar: El hueso calcneo y astrgalo juntos pertenecen al tarso del pie

23. Formalizar la proposicin El duodeno no forma parte del intestino grueso en vista
que pertenece al intestino delgado igualmente el yeyuno pertenece al intestino
delgado.

24. Formalizar el argumento: O Juan es arquitecto o Maria es enfermera; an cuando,
es absurdo que Maria sea enfermera.

25. Formalizar: Si llegas temprano o tarde, de todas maneras no juegas y te vas a
entrenar. Si te vas a entrenar as pues tu madre se molestar.

26. Formalizar la proposicin: Si estudias en el colegio Harvard y en la Cepre Vallejo,
ingresars a la UCV. Pero si no estudias en el colegio Havard ni en la Cepre
Vallejo, no ingresars a la UCV. Por lo tanto ingresars a la UCV.

27. Formalizar el argumento: La Arena, la Unin y Sechura son el medio Piura, sin
embargo son zonas arrozeras.

28. Si te preparas a conciencia, sers un buen alumno; pero si no estudias y pierdes
tiempo, tus resultados sern malos. Hallar su frmula lgica

29. Si en el Per aumentan las exportaciones, por consiguiente aumentan los puestos
de trabajo. Sin embargo en el Per no aumentan las exportaciones. Se formaliza:

30. Simbolizar la proposicin: Gerardo no trabaja o slo se preocupa por su salario, a
menos que trabaja si gana ms de S/. 750 mensuales

Realiza lo indicado:

1. Formalizar: Si Juan va al estadio, pierde tiempo y dinero. Si no va al estadio
entonces ir al cine. Por lo tanto pierde dinero.

2. Simbolizar la siguiente proposicin: Cuando obtenga mi titulo pedaggico entonces
ingreso a la carrera magisterial, pero no ingreso a la carrera magisterial; en
consecuencia, no obtuve mi titulo pedaggico.

3. Simbolizar la siguiente proposicin: Si los alumnos estudian y no hay paros, el ciclo
terminar en la fecha sealada y los alumnos podrn trabajar.

4. Formalizar: Si el chofer estaba embriagado, entonces no es cierto que la empresa
controla a su personal o que lo somete a una cuidadosa seleccin.

5. Dada la siguiente proposicin: Piura no es una ciudad limpia ni ordenada,
porque sus habitantes no tienen cultura higinica adems la polica municipal no
colabora. Hallar su frmula lgica.

6. Al formalizar: Si Luis obtiene buenas notas en la Cepre Vallejo, entonces no es
cierto que alcanza una beca o se cambia a otra academia. Se obtiene una
proposicin molecular del tipo:

7. Formalizar la siguiente proposicin: Si aumenta el caudal del ro Rmac, entonces,
Simbolizar: Es absurdo que los estudiantes son aplicados si y slo si se dedican a
estudiar, pero si no se dedican a estudiar en consecuencia no son aplicados.

8. Formalizar la siguiente lectura: Aprendo una parte de la msica de Mozart ya que
estudio su msica. Por lo tanto, aprendo una parte importante de la msica clsica.

9. Formalizar la siguiente oracin: Si la gente no piensa en la crisis, entonces el
deporte la distrae. Si el ftbol es una distraccin de masas, entonces puede ser
propiciado por los beneficiados de la crisis.

10. Formalizar: Si Amanda contesta sta pregunta, ser una pregunta fcil; sin
embargo sta pregunta es fcil y engaosa dado que Amanda no la contest.

11. Formalizar: Es imposible que llueva hoy, ya que hace tiempo no hay
precipitaciones.

12. Formalizar: Si en Marte no hay agua, entonces no hay vida; en consecuencia, no
hay oxigeno ni agua.

13. Formalizar: No es falso que si Jorge no compra un yate entonces no podr ir a la
isla Galpagos adems no encontarar a su familia.

14. Formalizar: O bien Irn eleva el precio del petrleo y Egipto disminuye sus
aprovisionamientos o no es el caso que Jordania pida ms ayuda norteamericana y
Arabia Saudita compre otros quinientos aviones de guerra.

15. Formalizar: A menos que Chile convoque a una reunin de pases
latinoamericanos, Brasil protesta ante la ONU.

16. Formaliza la proposicin: Jos es empresario de la misma manera que Mara es
secretaria.

17. Formalizar: En modo alguno Per clasifica al prximo mundial de ftbol.

18. Formalizar: O viajamos a Espaa a trabajar o no viajamos a Francia a pasear.

19. Formalizar: Es condicin suficiente que hace calor para ir a la playa. Aunque para ir
a la playa es condicin necesaria que necesitemos dinero

20. Formalizar: Luisa es hbil a menos que domina la computadora.

21. Formalizar la proposicin De ninguna forma se da que el gobierno de Caracas
interviene en otros pases americanos.

22. Formalizar la proposicin Para esperarte en el cine es condicin necesaria que
llegaremos tarde a cenar. Por eso te espero en el trabajo

23. Formalizar: Javier ni es responsable, ni es activo. En consecuencia Javier no
encuentra trabajo

24. Formalizar: No acontece que, llueve hoy slo si maana estar nublado.

25. Formalizar: Es absolutamente incierto que, si el dlar sube entonces los precios no
suben

26. Formalizar la proposicin Tanto los gobiernos de Chile como de Ecuador no acatan
los tratados internacionales

27. Dada la proposicin Los protones tiene carga elctrica positiva o nicamente
negativa, hallar su frmula lgica.

28. Formalizar la proposicin La lgica no es una ciencia exacta es compatible que la
matemtica es una ciencia exacta

29. Formalizar: Es absurdo que, sea condicin necesaria que Bertha sea una
representante de ventas para que sea profesora universitaria a dedicacin
exclusiva

30. Formalizar: Una condicin necesaria para 7 3 10 + = es 5 x 2 10 =

31. Formalizar: Es absurdo que si ayer no fuimos a la biblioteca es obvio que no
conseguimos el libro de qumica

32. Formalizar la proposicin: No es verdad que, sea absurdo que, no acontece que
Mario estudia sistemas en la UCV.

33. Formalizar la siguiente proposicin: No es verdad que el xido no resulta de la
combinacin de un metal con el oxgeno, y no pertenece a las funciones qumicas
orgnicas.

34. Formalizar la proposicin: Un kilmetro no equivale a 1000 metros, no obstante si
voy muy rpido por la autopista implica que me accidentar.

35. Formalizar: Es absurdo que, si la tarde est nublada entonces llover, sin embargo
el clima ni est favorable para el patinaje ni la pista est preparada para el partido
de ftbol.

36. Hallar la formalizacin correcta de: La filosofa no es equivalente a la ontologa, sin
embargo basan sus estudios en el pensamiento.

37. Formalizar: Para que Javier tenga estudios de maestra en Gestin empresarial es
condicin necesaria que no sea economista de profesin.

38. Formalizar:Aunque llueva ir a visitarte. Pero no llueve

39. Formalizar la proposicin: Condicin suficiente para que los gases al igual que los
lquidos no sean dctiles ni maleables, es que no sean fluidos

40. Formalizar la proposicin: Es absurdo que, Jos no sepa tocar el arpa y no
componga melodas; puesto que es un msico excelente.

VERDAD FORMAL

Cuando las leyes de la matemtica se refieren a la realidad, no son ciertas;
cuando son ciertas, no se refieren a la realidad.
ALBERT EI NSTEI N

Introduccin
Los razonamientos formulados en el lenguaje cotidiano son a menudo difciles de
evaluar debido a la naturaleza vaga y equvoca de las palabras usadas, a la anfibologa
de su construccin, a los modismos engaosos que pueden contener, a su estilo
metafrico posiblemente confuso y al elemento de distraccin derivado de cualquier
significacin emotiva que se les pueda atribuir. An cuando puedan resolverse estas
dificultades, subsiste el problema de determinar la validez o invalidez de los argumentos.
Para soslayar esas dificultades, es conveniente crear un lenguaje simblico artificial libre
de esos defectos, al cual puedan traducirse los enunciados y argumentos del lenguaje
natural. El primer paso para esto es la formalizacin de argumentos (y todo lo que
implica). Lo que sigue es desarrollar mtodos para resolver el problema de su validez.

1.4 Esquemas moleculares
Definicin 1.8 Esquema molecular
La combinacin de variables y conectivos lgicos por medio de los signos de
agrupacin se denomina esquema molecular.

En cada esquema molecular solo uno de los conectivos es el de mayor jerarqua
y es el que le da nombre a dicho esquema.

Ejemplo 1.19
(a) ( ) p q r v
El conectivo de mayor jerarqua es , por lo que es un esquema molecular
condicional.

(b) ( ) p q r p ( . v

El conectivo dominante es , es un esquema molecular bicondicional.

(c) ( ) ( ) p q p r ( . v

Al ser exterior, el conectivo dominante es , por lo tanto, es un esquema
molecular negativo.

Como se aprecia en los ejemplos anteriores, el conectivo dominante es aqul
que carece de parntesis externos.

1.5 Tablas de verdad
Una vez que hemos formalizado a las proposiciones conviene tener una manera
precisa de saber cundo sus frmulas que los representan son verdaderas.
Recordemos que de la misma definicin de proposicin, stas pueden ser o bien
verdaderas o bien falsas, pero no ambas. Si tomamos dos o ms proposiciones, el
valor de verdad de la proposicin compuesta depender del valor de verdad de las
proposiciones que la conforman. Una forma sencilla de determinar esta
dependencia es utilizar las llamadas tablas de verdad.

Definicin 1.9 Tabla de verdad
La tabla de verdad es un arreglo en filas y columnas (matriz) que permite
determinar el valor de verdad de una proposicin compuesta mediante la evaluacin
de todas las combinaciones posibles de los valores de verdad de las proposiciones
simples que la conforman.

La tabla de verdad tiene la siguiente estructura:

Frmula Compuesta
Frmulas
Simples
( frmulas)
Matriz de valores
de verdad de las
frmulas simples
( filas)
Matriz de valores de
Verdad
n
n
2

Para representar los valores de verdad utilizaremos los smbolos Vy F, los
cuales provienen de las palabras verdadero y falso respectivamente. Una
modificacin de esta convencin, que es bastante til para las aplicaciones, es
colocar 1 en vez de V y 0 en lugar de F.

Nota
Si hay n proposiciones simples en una frmula compuesta, entonces la tabla de
verdad correspondiente a sta tiene
n
2 filas.

Dado que toda frmula compuesta utiliza los conectivos de la tabla 1.16, es
suficiente disponer de las tablas de verdad de stos.
Empecemos con el negador. Lo interpretaremos como un cambio en el valor de
verdad de una proposicin. Por consiguiente su tabla de verdad es la siguiente:

p p
V F
F V
p p
1 0
0 1

Esto sugiere la siguiente tabla de verdad para la conjuncin(en el sentido de la
lgica proposicional):

p q p q .
V V V
V F F
F V F
F F F
p q p q .
1 1 1
1 0 0
0 1 0
0 0 0

Figura 1.6. Estructura de una tabla de verdad
Tabla 1.12. Tabla de verdad del negador
Tabla 1.13. Tabla de verdad de la conjuncin
La siguiente tabla de verdad generaliza estas circunstancias:

p q p q v
V V V
V F V
F V V
F F F
p q p q v
1 1 1
1 0 1
0 1 1
0 0 0

Podemos entonces definir la siguiente tabla de verdad para la disyuncin fuerte.

p q p q
V V F
V F V
F V V
F F F
p q p q
1 1 0
1 0 1
0 1 1
0 0 0

La tabla de verdad para la implicacin es la siguiente:

p q p q
V V V
V F F
F V V
F F V
p q p q
1 1 1
1 0 0
0 1 1
0 0 1

La biimplicacin tiene el sentido de equivalencia. La elaboracin de su tabla de
verdad es sencilla y obvia:

p q p q
V V V
V F F
F V F
F F V
p q p q
1 1 1
1 0 0
0 1 0
0 0 1

As, la biimplicacin ser verdadera cuando ambas proposiciones componentes
tengan el mismo valor de verdad.

1.6 Evaluacin de esquemas moleculares
Hay varios mtodos para evaluar el valor de verdad de un esquema molecular
dado. Analicemos el primero de ellos.

Tabla 1.14. Tabla de verdad de la disyuncin dbil
Tabla 1.15. Tabla de verdad de la disyuncin fuerte
Tabla 1.16. Tabla de verdad de la implicacin.
Tabla 1.17. Tabla de verdad de la biimplicacin.
1
2 2
3
4
4

1.6.1 Mediante tablas de verdad
Consiste en evaluar el valor de verdad del esquema a partir de los valores de
verdad de sus frmulas simples. Aunque es un mtodo sencillo y mecnico, como
establece el teorema 1.1, tiene la desventaja de aumentar exponencialmente su
nmero de columnas a medida que crece el nmero de frmulas simples.

Definicin 1.10 Matriz principal de un esquema molecular
Es la matriz formada por una sola columna que indica los valores de verdad del
esquema. Su ubicacin en la matriz de valores de verdad es debajo del conectivo
dominante.

Ejemplo 1.20
Hallar la matriz principal del siguiente esquema: ( ) ( ) p q p q ( . v

Solucin:

p q
(
p
.
q
) (
p
v
q
)(

1 1 0 1 1 0 1 1
1 0 0 0 1 0 0 0
0 1 0 0 1 1 1 1
0 0 0 0 1 1 1 0

El orden en que se llenan las columnas de la tabla de verdad es el siguiente
(desde el conector ms interno hasta el ms externo):

: Negacin de p

: Simultneamente, la conjuncin entre p y q junto con la
disyuncin entre p y q

: La implicacin entre las dos columnas obtenidas en

: La negacin de la columna obtenida en

En este caso, el esquema es negativo, por lo que la matriz principal del esquema
es la matriz columna obtenida en

Observemos que para rellenar preliminarmente las otras columnas, hacemos uso
de las tablas de verdad de los conectivos lgicos antes expuestos.
Segn los valores de verdad que tenga su matriz principal, los esquemas se
clasifican como sigue:
1
2
3
4
2
3
2 2
3
1 1
1
2 2
3
4

Definicin 1.11 Esquema tautolgico, contradictorio, contingente y
consistente
Un esquema molecular es tautolgico si su matriz principal slo contiene
valores 1. Se llama contradictorio si slo presenta 0s y se llama contingente si
presenta 0s y 1s. Si presenta al menos un 1 en su matriz principal, el esquema se
llama consistente. Los esquemas tautolgicos y contingentes son consistentes.

Ejemplo 1.21
(a) ( ) ( ) p q p q . .

p q
(
p
.
q
) (
p
.
q
)
1 1 0 0 0 0 1
1 0 0 0 1 1 0
0 1 1 0 0 1 0
0 0 1 1 1 0 0

Los nmeros indican el orden en que se rellenan las columnas de la matriz de
valores de la tabla de verdad.

El esquema es contingente, luego es consistente.

(b) | | ( )
p q q p .

p q
(
p

q
) .
q
|
p
1 1 1 0 0 1 0
1 0 0 0 1 1 0
0 1 1 0 0 1 1
0 0 1 1 1 1 1

El esquema es tautolgico, luego es consistente.

(c) ( ) ( ) p q p q q ( v . v .

1
2
2
3
4
1 1
5
p q
(
p
v
q
) . (
p
v
q
)(
.
q
1 1 1 1 0 0 0 1 1 0 0 0
1 1 1 1 1 0 0 1 1 1 0 1
2

2
0 1 0 1 1 0 0 0 0 0
3

3

0 0 1 0 0 0 1 1 0 1

El esquema es contradictorio.

1.6.2 Mediante el mtodo abreviado
Este mtodo se basa en la definicin de los conectivos mediante su tabla de
verdad. Usualmente se usa para evaluar esquemas implicativos, as que funciona
como un mtodo para determinar la validez de un argumento. Recordemos que
nuestro objetivo es determinar la validez o invalidez de argumentos deductivos.
Debido a las limitaciones de este texto, no entraremos en detalles en la inferencia
lgica, pero lo que s ser posible realizar con lo desarrollado hasta ahora es esto:
una vez formalizado el argumento, procederemos a determinar su validez mediante
la evaluacin de su matriz de verdad. Si es una tautologa, el argumento ser vlido.
Basta que aparezca un 0 y el argumento ser invlido. Te dars cuenta que aunque
siempre va a funcionar, no siempre es lo ms prctico, pues si el nmero de
frmulas smmples es elevado, el nmero de filas an ms. En estos casos lo ms
prctico es utilizar el mtodo abreviado. Aunque casi siempre se emplean con
implicaciones, esto no es una restriccin. Si al encontrar los valores de verdad
individuales de las variables no obtenemos contradicciones, el esquema es vlido,
de lo contrario ser invlido. Los siguientes ejemplos aclaran esto.

Ejemplo 1.22
(a) El siguiente esquema ( ) ( ) ( ) p q q r p r ( . . v

.es falso, hallar el valor
de verdad de ( ) p r q .
Se tiene que:
( )

F F
V F
V
V
F
V
V
p q q r p r F
(
(
| |
| | (
|
. . v | (
|
|
( \ . |
\ .
(
(

.
Analiza por qu se colocan de esa manera los valores V y F . Todo est
basado en sus tablas de verdad. Observamos que no hay contradiccin en
los valores de verdad encontrados para
, p q
y r . Si este esquema fuera la
formalizacin de un argumento, dicho argumento sera vlido. Adems, nos
ahorramos una matriz de 8 filas.
Luego ( ) ( ) p r q F F V V . . .

(b) Si p F, q V, r F , hallar el valor de verdad del esquema
( ) ( ) ( ) p q r p r v v

Slo basta evaluar los valores de verdad y no construir toda la tabla y ubicar
la fila donde las variables tengan esos valores. Entonces tendremos lo
siguiente: ( ) ( ) ( ) ( ) ( ) p q r p r F V F V F F V V
| |
| v v v v v
|
\ .

(c) Si la proposicin ( ) ( ) p s q r ( v .

es verdadera. Hallar el valor de
verdad de:
( ) ( ) q r p s . y ( ) ( ) q r p s p ( . . v

Se tiene que: ( ) ( )

V V
p s q r V
(
(
v .
(

.
Entonces ( ) ( ) ( ) ( ) q r p s q r p s F F V . v

Adems
( ) ( ) ( ) ( )
( ) ( ) ( )

V
q r p s p q r p s p
q r p s p F p s p V
( ( . . v v . v

( ( . v . v

19/01/2012
Subttulo

1. Sean las proposiciones
3
p(x) x = es un nmero par.
q(y) y = es un nmero primo.
r(z) z = es divisor de 60.
Indicar los valores de verdad de las siguientes proposiciones:
(a) p(1) r(7)
(b) | | q(11) p(1) r(2) . v

2. Si la proposicin ( ) ( ) p q r s . v es falsa. Indicar el valor de verdad de las
siguientes proposiciones:
(a) ( ) p q r v .
(b) s p
(c) ( ) q r r v

3. Al resolver la tabla de verdad de: ( ) p q p q ( v

, indicar el resultado de la
matriz principal.

4. De: ( ) ( ) ( ) p q p r q r ( v .

, se afirma que es Tautolgico, contradictorio,
contingente.

5. Si la proposicin compuesta: ( ) ( ) p r r q ( .

es verdadera, hallar el valor
de verdad de r , p y q respectivamente.

6. Si la proposicin ( ) ( ) p q q r ( v

es verdadera. Cules de las siguientes
afirmaciones son ciertas?
(a) ( ) p q es verdadera.
(b) ( ) r q es falsa
(c) ( ) p r es falsa.

7. Si ( ) ( ) ( ) p q p p r s q ( ( . . .

es verdadera. Cules son los valores de p
, q, r y s respectivamente?

8. Si p q es falsa, ( ) m n . es falsa y ( ) r x x . es falsa. Determinar los
valores de verdad de:
(a) ( ) p q .
(b) m n v
(c) ( ) r p q v v

9. El siguiente esquema ( ) p p p q ( .

tiene como caractersticas:
(a) No es tautolgico.
(b) No es contradictorio.
(c) Su matriz principal es 0111.
(d) Su matriz principal no es 0011.

10. Si
x : nmero de valores verdaderos en la matriz principal de A.
y : nmero de valores falsos en la matriz principal de A.
Siendo A: ( ) ( ) p q q p .
Hallar
2 2 3
x y. x y x ( + +

11. Si ( ) p q v es falso y ( ) q r es verdadera, se puede afirmar que:
(a) ( ) p q r v . es verdadero.
(b) ( ) ( ) q r p q . v es falso.
(c) ( ) r q p . es falso

12. Del siguiente diagrama:
x
A
B
C
y
z

( ) p : x A C e
( ) q : y A B C ( e

( ) r : z A B C e
Hallar los valores de verdad de:
(a) ( ) p q r v
(b) ( ) p q r .
(c) ( ) p q p r ( . v

13. Evaluar el siguiente esquema molecular y diga cuntos 1s tiene su matriz principal:
( ) ( ) p q r r q p ( ( . v

14. Sean p,q,r y s proposiciones tales que: p q v es verdadera, q es falsa.
Encontrar el valor de verdad de las siguientes proposiciones:
(a) ( ) p q r s ( v v

(b) ( ) ( ) q p r r s ( v v

(c) ( ) ( ) ( ) p q r s r s s ( ( . v . v .

15. Si la proposicin: ( ) ( ) p q r s v v es falsa, el valor de verdad de las
proposiciones p,q,r y s es:


1. Dadas las proposiciones: r,s,w y la proposicin compuesta: ( ) ( ) p q t q v . v que
es verdadera. Cules de las siguientes proposiciones son verdaderas?
(a) ( ) ( ) t s w q w ( . v v

(b) ( ) ( ) p t s q w s ( ( v . . v

(c) ( ) ( ) t q r p q ( v .

2. De la falsedad de: ( ) ( ) p q r s v , hallar los valores veritativos de p,q,r y s .

3. Si p q F . = , q t F = . Cules de las siguientes proposiciones compuestas tienen
el valor verdadero?
(a) ( ) p t s v v
(b) ( ) ( ) p q p p q t ( ( . v v .

(c) ( ) ( ) ( ) p q t p q q t ( ( v . . .

4. Sean las proposiciones:
p :
2
x 1 es un trmino algebraico
q : El grado de
2
x 1 es dos
Determinar el valor veritativo:
(a) ( ) ( ) p q q p
(b) ( ) p q q p ( .

5. Sabiendo que p es verdadero y la proposicin ( ) ( ) ( ) p s q r p r v . (

es
verdadera, hallar los valores de s y ( ) p s r . .

6. Si el siguiente esquema es falso ( ) ( ) ( ) q p s r p r ( v

, hallar los valores de
p,q y r respectivamente.

7. Dados los siguientes esquemas verdaderos: ( ) ( ) p q p r , ( ) p q
Calcule los valores veritativos de p,q y r

8. Sabiendo que: ( ) p q F . = y ( ) q r F =
Da el valor de verdad de:
(a) ( ) ( ) p r q r q ( . v

(b) ( ) ( ) p q r s .
(c) ( ) ( ) p r q s q ( . v

9. Si la expresin: ( ) p q r q ( v .

es falsa, las siguientes proposiciones son:
(a) ( ) p s p q ( .

(b) ( ) r t p q ( v

(c) ( ) r p q p ( v

10. De la falsedad de: ( ) ( ) p q r s v , halle el valor de los siguientes esquemas:
(a) ( ) q s p v
(b) ( ) ( ) r s p q .

11. Si la expresin: ( ) p q r p ( v . v

es falsa, las siguientes proposiciones son:
(a) ( ) p s p q ( v

(b) ( ) r t p q ( .

12. Un esquema molecular es tautologa cuando su matriz est constituida:
a) Slo por valores falsos.
b) Slo por valores posibles.
c) Slo por valores verdaderos.
d) Por valores falsos y verdaderos.
e) Por valores necesarios y falsos.

13. Si la proposicin: ( ) ( ) p q q p q r ( ( .

es falsa. Determine el valor
de verdad de las siguientes proposiciones:
(a) ( ) ( ) p q q p q r ( ( v .

(b) ( ) ( ) p q r q
(c) ( ) p r q r ( .

14. En relacin a la proposicin compuesta: S: ( ) ( ) p q r p q r ( ( . . v

, se
puede afirmar que:
S es una contradiccin.
S es una contingencia.
S es una tautologa.

15. Deducir el valor de verdad de p, q y r en el siguiente esquema:
( ) ( ) p q r q . v si es falso.

16. Sean p,q y r proposiciones tal que: ( ) ( ) r q r p v sea falsa.
Hallar los valores de:
(a) ( ) ( ) p q r q
(b) ( ) ( ) q p r p r s ( ( .

17. Si ( )
2
p x : x 16 0 = ; ( ) q x : x 12 0 = ; ( )
2
r x x 9 = >
Hallar el valor de verdad de:
(a) ( ) ( ) ( ) p 2 q 2 r 4 ( .

(b) ( ) ( ) ( ) p 4 r 5 q 4 ( v

(c) | | | | { } | | p(1) p(3) r(2) p(3) p(2) q(2) . v v

18. Si ( )
3
p x : x 27 = ; ( )
2
q x : x 9 = ; ( ) r x : x 10 <
Hallar el valor de verdad de:
(a) ( ) ( ) ( ) ( ) p 1 q 12 r 3 r 3 ( ( v

(b)
( ) ( ) ( ) ( ) ( ) { }
p 0 q 1 r 5 r 6 r 0 ( ( . v v

(c)
| | ( ) ( ) { } | | p(3) p(2) r 2 q 3 q(3) p( 3) ( v . v

19. Admitiendo la falsedad de: ( ) ( ) p q r s t u v v . . . Hallar el valor de verdad de:
(a) ( ) ( ) p s q t u ( . v .

(b) ( ) ( ) ( ) p q q s r u (

(c) | | { } ( ) ( ) (p q) (r w) ( q u) p q q s ( v . . .

20. Si p 0 , q 1 , r V
Evaluar: ( ) ( ) ( ) r s q p s p ( .


EQUIVALENCIAS LGICAS

Las matemticas pueden ser definidas como aquel tema
del cual no sabemos nunca lo que decimos
ni si lo que decimos es verdadero.
BERTRAND RUSSELL

Introduccin
Todos los nmeros naturales pueden ser escritos empleando nicamente el 1. Por
ejemplo, si queremos escribir el 9, slo tenemos que escribir 1+1+1+1+1+1+1+1+1.
Claramente salta a la vista el hecho de que esto no es prctico para nmeros muy
grandes. Felizmente, para nosotros, nuestra sistema de numeracin contempla
abreviaturas de estas sumas. As, 2 = 1+1, 5 = 1+1+1+1+1 y as sucesivamente.

Algo similar sucede en lgica. Una de las reglas de formalizacin era colocar la frmula
tal y como aparece en el lenguaje. As, una doble negacin como p debe ser escrita
como tal, aunque intuitivamente veamos que esto equivale a una afirmacin. Queda no
obstante una duda vlida: y si esa equivalencia que intuimos no es vlida para alguna
proposicin p ? Es ah donde sirven de mucha utilidad las tablas de verdad. De eso nos
ocuparemos en esta seccin.

1.7 Leyes de Equivalencia
La equivalencia lgica entre frmulas lgicas se refiere a la igualdad entre los
valores de verdad finales de su matriz principal. Todas las equivalencias son del tipo
tautolgico.

Las leyes de equivalencia son esquemas con una estructura caracterstica que
permiten simplificar esquemas ms complejos sin recurrir a la comprobacin por
tablas de verdad. Cada equivalencia recibe un nombre particular. En la tabla 1.18 se
enlista cada una. Los conectivos que aparecen al costado del nombre de la ley,
indica los conectores a los que se aplica dicha ley. Si no aparece ninguno, la ley es
aplicable a aquellos conectivos que aparecen en la definicin.

Observemos la definicin del implicador p q . Es verdadera si y slo si la
disyuncin p q v tambin lo es, es decir, si ( ) p q . es falsa. Relacionemos
esto con la implicacin material: es falso que el antecedente sea verdadero y el
consecuente falso.

La ley de complemento A A V v se denomina la ley del tercio excluido:
una proposicin es verdadera o falsa, pero debe ser una de ellas.

Nombre de la
equivalencia
DEFINICIN
01
Doble
Negacin
( ) A A
( ) ( )
A A
( ) A A
( ) A A (

02
Leyes de
Morgan
( ) A B A B . v
( ) A B A B v .
( ) A B A B . v
( ) A B A B v .
03
Conmutacin
( ) , , , . v
A B B A . .
A B B A v v
( ) ( ) A B B A
( ) ( ) A B B A
04
Contraposicin
( ) , , ,
( ) ( ) A B B A
( ) ( ) A B B A
( ) ( ) A B B A
( ) ( ) A B B A
05
Asociacin
( ) , , , . v
( ) ( ) ( ) A B C A B C A B C ( ( . . . . . .

( ) ( ) ( ) A B C A B C A B C ( ( v v v v v v

( ) ( ) ( ) A B C D A B C D (

( ) ( ) ( ) A B C D A B C D (

06 Distribucin
( ) ( ) ( ) A B C A B A C . v . v .
( ) ( ) ( ) A B C A B A C v . v . v
( ) ( ) ( ) A B C A B B A . .
( ) ( ) ( ) A B C A B B A v v
07 Absorcin
( ) A B A A . v
( ) ( ) ( ) A B A A B . v .
( ) A B A A v .
( ) ( ) ( ) A B A A B v . v

08
Definicin del
Implicador
A B A B v ( ) A B A B .
09
Definicin del
Biimplicador
( ) ( ) ( ) A B A B B A ( .

( ) ( ) ( ) A B A B A B . v .
( ) ( ) A B A B
( ) ( ) A B A B v
( ) ( ) A B A B
( ) ( ) A B A B
10
Definicin del
disyuntor
excluyente
( ) ( ) ( ) A B A B A B v . v

( ) ( ) A B A B v
11 Exportacin ( ) ( ) A B C A B C ( .

12 Mutacin ( ) ( ) A B C B A C
13 Idempotencia A A A . A A A v
14 Complemento
A A F . A A V v
15 Identidad
A V A .
A F F .
A V V v
A F A v
16
Ley de
Expansin
( ) p p s s ( v .

( ) ( ) p q p p q ( .

( ) p p t t ( . v

( ) ( ) p q q p q ( v

Ejemplo 1.23
(a) Dado el esquema molecular p q , el esquema equivalente es:
a.1 ( ) ( ) p q q p ( . .

a.2 ( ) ( ) p q q p ( . .

a.3 ( ) ( ) p q q p ( v .

a.4 ( ) ( ) p q q p ( v v

a.5 ( ) ( ) p q q p ( . .

Aplicamos la siguientes leyes lgicas:
( ) ( ) p q p q Definicin de la disyuncin
excluyente
( ) ( ) ( )
p q q p . Definicin del biimplicador
( ) ( ) ( )
p q q p . v Definicin del implicador
( ) ( ) ( )
p q q p . . Ley de Morgan

Por lo tanto a.2 sera equivalente a p q

(b) Hallar un equivalente a proposicin: Dado que la combinacin de colores
influye en el comportamiento es obvio que, si los nios pasan muchas horas
mirando la televisin entonces tendr un comportamiento autista.

p : La combinacin de colores influye en el comportamiento
q : Los nios pasan muchas horas mirando la televisin
r : Los nios tendrn un comportamiento autista

Dado que..es obvio que, sientonces.

Frmula lgica: ( ) p q r
Aplicando la ley de mutacin, obtenemos el equivalente
( ) q p r
Que traducido al lenguaje natural es:
Puesto que los nios pasan muchas horas mirando la televisin se infiere
que , si la combinacin de colores influye en el comportamiento entonces los
nios tendrn un comportamiento autista.
Tabla 1.18. Leyes de equivalencia lgica.
2
2
3
1 1
(c) Demostrar que la ley exportacin es una ley de equivalencia

Lo haremos por los dos mtodos

Mtodo de tablas de verdad

p q
r (p
. ) q | r |p ( q ) r (

1 1 1 1 1 1 1 1 1 1
1 1 0 1 0 0 1 1 0 0
1 0 1 0 1 1 1 1 1 1
1 0 0 0 1 0 1 1 1 1
0 1 1 0 1 1 1 0 1 1
0 1 0 0 1 0 1 0 1 0
0 0 1 0 1 1 1 0 1 1
0 0 0 0 1 0 1 0 1 1

La frmula es una tautologa, por lo tanto es una ley de equivalencia lgica.

Mtodo abreviado

Para esto, suponemos que la frmula es falsa. Este mtodo tambin se
conoce como reduccin al absurdo (aplicado a las implicaciones por
supuesto). Procedemos a calcular los valores de verdad de las variables.

0 0
1 1 1
0
0
0
1
0
1
1
p q r p q r
(
(
| |
(
| | |
(
. | |
|
(
|
\ .
|
(
\ .
(

Observamos que al suponer la falsedad de la frmula, obtenemos en el lado
izquierdo los valores ( ) ( ) ( ) v p v q 1,v r 0 = = = , pero estos valores generan
una contradiccin en el lado derecho. Por lo tanto, no puede ser falsa, en
consecuencia es verdadera.

1.8 Simplificacin de esquemas moleculares
Las leyes de equivalencia demuestran su utilidad al simplificar expresiones
extensas.

Ejemplo 1.24
(a) Simplificar
( ) ( ) p q q q p p q ( ( . . v . . v


( ) ( ) p q q q p p q ( ( . . v . . v

| | | | p q q p q . v . v Absorcin
| | | | ( )
p q q p q . v . v Asociativa
| | p q q . v Absorcin
q Absorcin
(b) Simplificar ( ) ( ) p q q p .
( ) ( ) p q q p .
( ) ( ) p q q p . v v Definicin del implicador
p q q p v v v Doble negacin
p q v Idempotencia
q p

Definicin del implicador

19/01/2012
Subttulo

1. Relaciona correctamente los nmeros con las letras respectivas:

1.
p q q p
A. Asociativa.
2. ( ) ( ) p q r p q r B. Conmutativa.
3. ( ) ( ) p q r p q r ( ( .

C. Ley de Involucin.
4. ( ) p p D. Ley distributiva.
5. ( ) ( ) ( ) p q r p q p r . . E. Exportacin.

2. Simplificar la siguiente frmula: ( ) p q p (

3. Simplificar: ( ) ( ) q r p p v v

4. Simplificar la siguiente frmula: ( ) p q q p ( .

5. Evaluar el esquema siguiente: ( ) ( ) p q p q v .

6. Simplificar la frmula siguiente: ( ) ( ) p q p q p ( v . .

7. De la proposicin p q , sealar podemos afirmar que.
a) La proposicin recproca es q p
b) La proposicin contradirecta es q p
c) La recproca de la contradirecta es p q
d) La contrarecproca es q p

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

9. La proposicin: ( ) ( ) p q q r . equivale a:

10. Cuntas falsas y cuntas verdaderas tiene el resultado de la tabla de verdad de:
( ) ( ) p q r p p ( . . . v

, despus de simplificarlo?.

11. Simplificar:
( ) ( ) { } ( ) ( ) p q r q r p r r p ( ( . v v v .

12. Reducir al mximo la siguiente proposicin:
( ) ( ) { } ( ) p q p q p p q ( . v v

13. Reducir a su mnima expresin: ( ) p q q p ( . v

14. Simplificar: ( ) ( ) ( ) ( ) p q p q p q q p ( ( v . v v

15. La frmula: ( ) ( ) ( ) p q q r r p ( .

; equivale a:

16. Simplificar:
( ) ( ) { }
p q r p q r ( . . .

17. Simplificar: ( ) ( ) ( ) ( ) p q r q p p q r p q ( ( . v v . v . v .

18. El siguiente esquema molecular: ( ) p p q . equivale a:

19. El esquema formal: ( ) p q q p (

. tiene como frmula equivalente a:

Bibliografa

Bunge, M. (1997). La Ciencia su mtodo y su filosofa.Buenos Aires: Sudamericana.

Copi, I. y Cohen, C.(1999). Introduccin a la lgica. Mexico: Limusa.

Copi, I. (1968). Introduccin a la lgica. Argentina:EUDEBA

Logica Proposicional

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Logica Proposicional

Uploaded by

Copyright:

Available Formats

UNIVERSIDAD CSAR VALLEJO - PIURA

DEPARTAMENTO DE FORMACIN GENERAL

You might also like