SESIN DE CLASE N 01

CURSO: LGICA DOCENTE: Ing. Martinez Chafalote, Ulises R.

PRESENTACIN

La ciencia matemtica est considerada la ms exacta y actualizada, habiendo

evolucionado en los ltimos aos de una manera sorprendente. El estudiante que se
inicia en el aprendizaje de la matemtica es posible que se encuentre con muchas
dificultades, las mismas que provienen en gran parte del desconocimiento de las
tcnicas de orden lgico y gramatical.
En nuestra matemtica moderna, el anlisis del lenguaje con un criterio lgico es
bsico. Por tal motivo, la presente unidad est destinada a familiarizar al estudiante con
las expresiones lgica y la simbologa necesaria con la finalidad de proporcionarle un
hbil y adecuado manejo del lenguaje matemtico empleando mtodos eficaces de
razonamiento; ya que esto va a permitir que el lector alumno se identifique con esa
forma de expresin y con la simbologa requerida, comparndolo con la realidad.

QU ENTENDEMOS POR LGICA?

En primer lugar es necesario saber que la lgica se dedica al estudio de los principios y
mtodos que se utilizan para distinguir entre los argumentos correctos, llamados
buenos y los incorrectos, llamados malos; adems, el estudio de dicha disciplina est
orientado al incremento de la capacidad de razonamiento del ser humano, considerando
a dicho razonamiento como una clase especial de pensamiento que se le llama
inferencia, en la cual, partiendo de premisas se obtiene una conclusin.
A la lgica tambin se le considera como la teora de la deduccin, entendindose como
tal a una conexin necesaria entre la verdad hipottica y formal de una o ms
proposiciones, llamadas premisas y la verdad de otra proposicin llamada conclusin.
Asimismo, debemos tener presente que la lgica es una teora cientfica, porque su
estudio est bien determinado, los conocimientos que brinda son claros y precisos, la
relacin entre ellos estn bien establecidos, porque tiene un mtodo que permite
justificar y aumentar los conocimientos.
Se puede decir entonces; que la lgica es una ciencia que estudia los mtodos o
procedimientos que aplican definiciones y leyes con el propsito de determinar la
validez o invalidez de las inferencias.

1. LGICA PROPOSICIONAL

En el estudio de la ciencia y en especial de la matemtica, es sumamente importante

poseer nociones sobre lgica. Teniendo en cuenta que las deducciones que se hacen
con las proposiciones, se le suele llamar lgica proposicional.
En nuestras comunicaciones diarias, continuamente utilizamos palabras, frases u
oraciones sin reparar en su significado ni en la importancia de tales expresiones, es
decir, utilizamos simples enunciados.
1.1 ENUNCIADO
 Es todo aquello que constituye una frase u oracin que se utiliza en el lenguaje
comn.
Ejemplos:
1) Angela tiene fro
2) Trujillo es la capital del departamento de la Libertad
3) Qu estudias en la Universidad?
4) x+3=5
5) Qu fro hace!
6) Nelly es hermosa
7) Lima est en el Per
8) Tienes que aprender la matemtica!!
9) Prohibido fumar
10) 2+5=8

Como podemos observar, estas expresiones que pueden ser llamadas frases,
oraciones, exclamaciones, interrogaciones, etc. son enunciados. Si de estos
enunciados se puede afirmar que son verdaderos o falsos, entonces se llamaran
PROPOSICIONES.

1.2 PROPOSICIN
Se llama proposicin a todo enunciado del cual se puede afirmar que es
verdadero (V) o falso (F); pero no verdadero y falso al mismo tiempo. Si un
enunciado es verdadero, no puede ser falso y, si es falso, no puede ser
verdadero.
Ejemplos:
1) Lima es la capital de Chile ( )
2) Cesar Vallejo naci en Santiago de Chuco ( )
3) 3 + 17 = 2 + 15 ( )
4) Legua fue presidente del Per ( )
5) 8>5 ( )
6) Algunos seres humanos son inmortales ( )
7) 12 es mltiplo de 5 ( )
8) Los gatos son mamferos ( )

Luego de observar los ejemplos anteriores, podemos decir que los enunciados
de los cuales se puede afirmar que son verdaderos o falsos, reciben el nombre
de Proposiciones.
En cambio, aquellas expresiones en las cuales no se puede determinar la verdad
o falsedad, tales como preguntas, exclamaciones, etc. No son proposiciones,
siguen siendo simples enunciados. Una pregunta, una exclamacin, una orden,
un deseo, no es proposicin.
Ejemplos:
1) Qu hora es?
2) Viva Huacho!
3) No fumar NO SON PROPOSICIONES
4) Guarde silencio
5) Tengo sed

1.3 ENUNCIADOS ABIERTOS

Son expresiones de las cuales no puede afirmarse si son verdaderas o falsas, si
antes no conocemos el valor de sus variables. Estos enunciados se convierten
en Proposiciones luego de haberles asignado un valor a su variable o variables.
Ejemplos:
 1) x + 4 > 10
No podemos decir si es verdadero (V) o falso (F), si no reemplazamos a
x con un valor. Si se reemplaza a x por un nmero mayor que 6, el
enunciado ser verdadero (V). En cambio si se reemplaza por un nmero
menor que 6, el enunciado ser falso (F).
2) xy=5
Sin reemplazar las variables x e y con valores no se puede afirmar si el
enunciado es verdadero (V) o falso (F), entonces:
Si: x = 8, y = 3; el enunciado ser verdadero (V).
Si: x = 20, y = 10; el enunciado ser falso (F).

1.4 VARIABLES PROPOSICIONALES

Las proposiciones se representan generalmente con letras minsculas del
alfabeto castellano tales como: p, q, r, s, t, etc.
Como son varias, se les conoce con el nombre de VARIABLES
PROPOSICIONALES. En caso de que sean muchas proposiciones, se emplean
sub-ndices. As vemos: p1, p2, p3, . . . . etc.
Si una proposicin p es verdadera se dice que su validez o valor de verdad es
V, se escribe V(p) = V y se lee valor de verdad de p es igual a V. Si una
proposicin p es falsa, se dice que su validez o valor de verdad es F, se escribe
V(p) = F y se lee El valor de verdad de p es igual a F.
Ejemplos:
PROPOSICIN VALOR DE VERDAD
1) p: Tpac Amaru se levant en armas en Nazca V(p) =
2) q: 4 + 9 > 7 4 V(q) =
3) r: el nmero 6 es divisible por 3 V(r) =

1.5 CLASES DE PROPOSICIONES

1.5.1 PROPOSICIN SIMPLE O ATMICA
Es aquella proposicin que nos expresa una sola idea, consta de uno o
ms sujetos y un predicado; y no lleva conectivos lgicos.
Pueden ser:
a) Proposicin simple predicativa
Consta de un sujeto y un predicado, en las cuales se habla o predica
algo del sujeto.
Ejemplos:
- La nieve es blanca.
- T eres perseverante.
b) Proposicin simple relacionales
Constan de 2 o ms sujetos y un predicado, en donde se establece un
nexo o relacin entre dichos sujetos.
Ejemplos:
- Jorge y Ana se aman (afinidad).
- Andy es ms amable que Wendy (grado).
- Mi padre fue tu contemporneo (tiempo).
1.5.2 PROPOSICIN COMPUESTA
Es aquella que est conformada por dos o ms proposiciones simples
enlazadas por conectivos lgicos, incluido la negacin como adverbio.
Ejemplos:
1) Mara es enfermera y Juan es mdico.
2) Ral estudia Computacin o Administracin.
3) Maana es Lunes o Martes.
 4) Si hay calor entonces vamos a la playa.
5) 3 + 5 = 8 y 6 2 = 4.
6) Un tringulo es equiltero s y slo s, sus tres lados son iguales.
7) No es cierto que t seas matemtico.
8) Daniel es muy estudioso y un prspero contador; por lo tanto, ser
muy estudioso o ganar mucho dinero.
9) Jos no es contador.

Como podemos observar en los ejemplos anteriores, estas proposiciones

son compuestas, pues estn integradas por proposiciones simples, las
mismas que se encuentran conectadas o ligadas por determinadas letras o
palabras llamadas: Conectivos lgicos.

Los conectivos ms usuales y sus smbolos son:

CONECTIVO LGICO SMBOLO

Conjuncin: y
Disyuncin: o
Disyuncin exclusiva: o . . . o . . .
Negacin: no es cierto que . . . .
Condicional: Si . . . entonces . . .
Bicondicional: . . . y slo si . . .

EJERCICIOS DE APLICACIN
1. De los siguientes enunciados; indicar si son proposiciones o no:
a) La luna es un satlite de la tierra ( )
b) Hola qu tal! ( )
c) Quin descubri Amrica? ( )
d) 7 + 3 = 9 ( )
e) Aqul seor es un profesor provinciano ( )
f) 11 es mayor que 19 ( )
g) Se honrado y trabajador ( )
h) Quiero agua ( )
i) Lima es la capital de Per ( )
j) Maana voy al cine ( )
k) La hormiga es un insecto ( )
l) 5 es un nmero par ( )
m) Si x = 3, entonces x2 = 9 ( )
n) Si un tringulo es equingulo, entonces es equiltero ( )

2. Indica en el espacio en blanco correspondiente a cada proposicin, si sta es

simple o compuesta:
a) 1 y 2 son nmeros primos _____________
b) 5 es mayor o igual que 3 _____________
c) Todos los seres humanos son mortales _____________
d) No es falso que 2 + 1 = 3 _____________
e) El ngulo recto mide 90 _____________
f) Mara es enfermera y Juan es mdico _____________
g) Si hay calor entonces vamos a la playa _____________
h) San Martn de Porras naci en el Per _____________
1.6 CONECTIVOS LGICOS
Son las letras o palabras que ligan o conectan las proposiciones simples para dar
origen a proposiciones compuestas. Esos conectivos pueden ser y, o, si...
entonces, s y slo s, no, pero, aunque, etc.

Ejemplos:

1. Dada la proposicin compuesta: Segundo es ingeniero y Ral es analista de

sistemas.
Reemplazando las proposiciones simples por las variables proposicionales,
tenemos:
p: Segundo es ingeniero
q: Ral es analista de sistemas
La proposicin quedar:
Segundo es ingeniero y Ral es analista de sistemas
p q
Entonces, la proposicin compuesta ser simbolizada por:
p y q
Haciendo y = ( ) tendremos p q simboliza la proposicin compuesta.
Segundo es ingeniero y Ral es analista de sistemas, formada por dos
proposiciones simples ligadas con el conectivo lgico y.

2. Dada la proposicin compuesta Moiss es mdico o abogado.

Reemplazando las proposiciones simples por las variables tenemos:
p: Moiss es mdico
q: Moiss es abogado
La proposicin quedar:
Moiss es mdico o Moiss es abogado
p q
Entonces, la proposicin compuesta ser simbolizada por:
p o q
Haciendo o = ( ), tendremos: p q, que simboliza la proposicin
compuesta: Moiss es mdico o abogado, formada por dos proposiciones
simples ligadas con el conectivo lgico o.

3. Dada la proposicin compuesta: Maana es lunes o martes.

Reemplazando las proposiciones simples por las variables proposiciones,
tenemos:
p: Maana es lunes
q: Maana es martes
La proposicin quedar:
Maana es lunes o Maana es martes
p q
Entonces, la proposicin compuesta ser simbolizada por:
p o q
Haciendo o = ( ) tendremos: p q, que simboliza la proposicin
compuesta: Maana es lunes o martes, formada por las dos proposiciones
simples ligadas con el conectivo lgico o.

4. Dada la proposicin compuesta: Si maana hace calor, entonces vamos a

la playa. Reemplazando las proposiciones simples por las variables
proposicionales, tenemos:
 r: Maana hace calor
s: Vamos a la playa
La proposicin quedar:
Si maana hace calor entonces vamos a la playa
r s
Luego la proposicin compuesta quedar simbolizada por:
Si r entonces s
Haciendo: si...entonces = ( ) tendremos: r s, que simboliza la
proposicin compuesta: Si maana hace calor entonces vamos a la playa,
formada por dos proposiciones simples ligadas por el conectivo lgico
Si...entonces.

5. Dada la proposicin compuesta. Ral comprar una computadora si, y slo

s, obtiene un crdito en un Banco.
Reemplazando las proposiciones simples por las variables proposicionales,
tenemos:
p: Ral comprar una computadora
q: Ral obtiene un crdito en un Banco
La proposicin quedar:
Ral comprar una computadora s y slo si obtiene un crdito en un Banco
p q
Entonces la proposicin compuesta quedar simbolizada por:
p s, y slo s q
Haciendo: s y slo s = ( ) tendremos: p q, que simboliza la
proposicin compuesta: Ral comprar una computadora s y slo s
obtiene un crdito en un Banco, formada por dos proposiciones simples,
las mismas que estn ligadas por el conectivo lgico s y slo s.

1.7 PROPOSICIONES COMPUESTAS

Las proposiciones compuestas adoptan diferentes nombres, segn el conectivo

lgico que liga a las proposiciones componentes; dentro de las cuales podemos
considerar:

1.7.1 PROPOSICIN CONJUNTIVA ( )

Es aquella proposicin compuesta que resulta de unir dos proposiciones
simples mediante el conectivo lgico y, el cual se denota por el smbolo
().
Sus formas gramaticales son: y, pero, aunque, sin embargo, no
obstante, tambin, as como, a la vez, tal como, tanto como, al
igual que, incluso, as mismo, adems, etc.
Ejemplo:
Sea la proposicin compuesta:
Alfredo es abogado y Gustavo es ingeniero
Reemplazando: p: Alfredo es abogado
Q: Gustavo es ingeniero
Entonces, la proposicin compuesta quedar simbolizada por: p q, que
representa una proposicin conjuntiva.
Para saber si la proposicin conjuntiva p q es verdadera, es necesario
saber si las dos proposiciones componentes son verdaderas.
 Tener presente: La proposicin conjuntiva (pq) ser verdadera solamente
cuando las dos proposiciones componentes p y q son verdaderas,
bastar que una de ellas sea falsa para que la Proposicin Conjuntiva sea
falsa.

El siguiente cuadro resumir todas las posibilidades:

p q pq De acuerdo con el ejemplo decimos:

V V V a) Si: p es (V), q es (V); entonces p q es (V)
V F F
F V F Si Alfredo es abogado y Gustavo es ingeniero
F F F Entonces la proposicin compuesta es verdadera.

b) Si: p es (V), q es (F); entonces p q es (F)

Si Alfredo es abogad y Gustavo no es ingeniero, la proposicin
compuesta es falsa, porque y obliga a ser profesionales a los dos al
mismo tiempo.
c) Si: p es (F), q es (V); entonces p q es (F)
Si Alfredo no es abofado y Gustavo es ingeniero, entonces la
proposicin compuesta ser falsa (razn anterior).
d) Si: p es (F), q es (F); entonces p q es (F)
Si Alfredo no es abogado y Gustavo no es ingeniero, entonces la
proposicin compuesta ser falsa (razn anterior).

RECUERDA: Una proposicin conjuntiva (p q) es verdadera solamente

cuando al mismo tiempo las dos proposiciones coligadas son verdaderas.
En cualquier otro caso ser falsa.

1.7.2 PROPOSICIN DISYUNTIVA

Es aquella proposicin compuesta que resulta de unir dos proposiciones
simples mediante el conectivo lgico o, el cual se denota por los
smbolos () o ().
La proposicin disyuntiva puede ser inclusiva o exclusiva; es decir, o
puede ser empleada en dos formas:

Se dice que es inclusiva o dbil cuando incluye, la posibilidad que las

dos proposiciones coligadas sean verdaderas al mismo tiempo.
Por ejemplo: Julio es profesor o abogado; es decir, Julio puede ser
profesor y no abogado; puede ser abogado y no profesor; pero tambin
puede ser profesor y abogado. (Incluye las dos posibilidades).

En cambio, es exclusiva o fuerte cuando excluye la posibilidad que las

proposiciones coligadas sean verdaderas al mismo tiempo; es decir, si una
proposicin es verdadera la otra no debe serlo.
Por ejemplo: El nmero 5 es par o es impar; pero no puede ser par e impar
al mismo tiempo.

PROPOSICIN DISYUNTIVA INCLUSIVA ()

Cuando es posible que sus miembros componentes sean aceptados a la
vez.
Sus formas gramaticales son: o, u, salvo, a menos que, excepto.
Ejemplo:
Ral es ingeniero o profesor.
Reemplazando: p: Ral es ingeniero
q: Ral es profesor
Entonces la proposicin compuesta quedar simbolizada: p q que
representa una proposicin disyuntiva inclusiva.

TENER PRESENTE: Para saber si la proposicin disyuntiva inclusiva

(pq) es verdadera, ser suficiente que una de ellas sea verdadera, la otra
puede ser falsa. Si fueran las dos verdaderas la disyuncin seguira siendo
verdadera; porque o permite la posibilidad que sea una o las dos
verdaderas para que la proposicin disyuntiva sea verdadera. La
proposicin disyuntiva solamente ser falsa cuando las dos proposiciones
componentes son falsas.

El siguiente cuadro resumir todas las posibilidades:

p q pq De acuerdo con el ejemplo decimos:
V V V a) Si: p es (V), q es (V); entonces p q es (V)
V F V
F V V Si Ral es ingeniero y tambin es profesor.
F F F Entonces la proposicin compuesta es verdadera.

b) Si: p es (V), q es (F); entonces p q es (V)

Si Ral es slo ingeniero y no es profesor; la proposicin compuesta
es verdadera porque puede ser uno u otro.
c) Si: p es (F), q es (V); entonces p q es (V)
Si Ral no es ingeniero y slo es profesor, la proposicin compuesta
es verdadera (por la explicacin anterior).
d) Si: p es (F), q es (F); entonces p q es (F)
Si Ral no es ingeniero ni profesor, entonces la proposicin compuesta
ser falsa.

RECUERDA: Una proposicin disyuntiva inclusiva (pq) solamente es

falsa cuando al mismo tiempo las dos proposiciones coligadas son falsas.
En cualquier otro caso es verdadero.

PROPOSICIN DISYUNTIVA EXCLUSIVA ()

Cuando slo uno de sus miembros puede ser aceptado, el otro queda
invlido.
Sus formas gramaticales son: o ... o ...; o (en sentido excluyente).
Ejemplo:
El da de maana ser lunes o martes.
Reemplazando: p: Maana ser lunes
q: Maana ser martes
Entonces la proposicin compuesta quedar simbolizada (pq) que
representa una proposicin disyuncin exclusiva o fuerte.

TENER PRESENTE: Para saber si la proposicin es disyuntiva exclusiva

(pq) es verdadera ser necesario que solamente una de las
proposiciones componentes sea verdadera. En los dems casos ser
falsa. Una de ellas debe excluirse.
El siguiente cuadro resumir todas las posibilidades:
 p q pq De acuerdo con el ejemplo decimos:
V V F a) Si: p es (V), q es (V); entonces p q es (F)
V F V Si maana es lunes (V) y tambin martes (V),
F V V Entonces la proposicin compuesta es falsa (F),
F F F porque no puede ser el mismo da lunes y martes.

b) Si: p es (V), q es (F); entonces p q es (V)

Si maana es lunes (V) y maana es martes (F) entonces la
proposicin es verdadera (V), porque si es lunes ya no es martes.
Una es excluida.
c) Si: p es (F), q es (V); entonces p q es (V)
Si maana es lunes (F) y maana es martes (V), entonces la
proposicin compuesta es verdadera (V), (por la explicacin anterior).
d) Si: p es (F), q es (F); entonces p q es (F)
Si maana es lunes (F) y maana es martes (F), entonces la
proposicin compuesta es falsa (F), porque debe ser una de ellas.
RECUERDA: Una proposicin disyuntiva exclusiva o fuerte es verdadera
solamente cuando sus dos proposiciones coligadas son diferentes (VF o
FV). En los dems casos ser falsa.

1.7.3 LA NEGACIN
Si p es una proposicin afirmativa, entonces (p) es una proposicin
negativa; es decir, se llama proposicin negativa aquella que niega a la
proposicin afirmativa y se denota por el smbolo ().
La negacin se caracteriza por emplear el adverbio no y se lee no p
(p) y su verdad depende de la verdad de la afirmacin.
Si: p es (V) entonces p es (F).
Si: p es (V) entonces p es (F).
Ejemplo:
Sea la proposicin: Carmela es estudiosa
Reemplazando Carmela es estudiosa = p
Carmela no es estudiosa = p
Si la proposicin Carmela es estudiosa es verdadera, la expresin
Carmela no es estudiosa ser falsa; y si la primera es falsa, entonces la
segunda ser verdadera.
El siguiente cuadro resume lo dicho: Simblicamente
p p p p (p)
V F V F V F
F V F V F V

RECUERDA: La negacin de la negacin es la afirmacin: (p) = p

1.7.4 PROPOSICIN CONDICIONAL ()

Se llama proposicin condicional a la que resulta de unir dos
proposiciones componentes mediante el conectivo lgico si ... entonces,
el cual se denota por el smbolo () y se lee si p entonces q, tambin
puede decirse p implica a q. A esta proposicin se le conoce como
hipottica (pq).
A la primera proposicin (p) se le denomina antecedente y la segunda
proposicin (q) se le llama consecuente.
En la proposicin condicional o implicativa, la verdad del consecuente
depende de la verdad del antecedente.
Ejemplo:
Sea la proposicin compuesta:
Si Rafael consigue pasaje, entonces viajar a Trujillo.
Reemplazando: Rafael consigue pasaje = p (antecedente)
Rafael viajar a Trujillo = q (consecuente)
Entonces la proposicin compuesta quedar simbolizada.
p q. Que presenta una proposicin condicional o implicativa.
Para saber si la proposicin condicional o implicativa es verdadera o falsa
es necesario poner atencin en las relaciones mediante el siguiente
cuadro:

p q pq
V V V
V F F
F V V
F F V

Segn el ejemplo:
1) Antecedente verdadero y consecuente verdadero
Si: p es (V), q es (V); luego p q es (V)
Si el antecedente es verdadero y el consecuente es verdadero la
proposicin implicativa ser verdadera.
Rafael consigue pasaje (V) y tambin viaja a Trujillo (V), entonces la
proposicin compuesta es verdadera (V), porque el viaje de Rafael
est condicionada a la compra de pasaje.

2) Antecedente verdadero y consecuente falso

Si: p es (V), q es (F), luego p q es (F)
Si el antecedente es verdadero y el consecuente es falso, la
proposicin compuesta ser falsa, porque, la condicin para viajar
era conseguir pasaje. Rafael consigue pasaje (V) pero no viaja (F),
entonces, la implicacin es falsa (F). Se cumple el antecedente
(consigue pasaje) pero no se cumple el consecuente.

3) Antecedente falso y consecuente verdadero

Si: p es (F), q es (V); luego p q es (V)
Si el antecedente es falso y el consecuente es verdadero, la
proposicin compuesta ser verdadera.
Para comprender mejor consideramos el siguiente ejemplo adicional:
Si todos los poetas del Per son Trujillanos, entonces algunos
poetas del Per son trujillanos.
Significa que en caso que todos los poetas del Per fueran de
Trujillo; entonces algunos poetas debern ser trujillanos de todas
maneras. Pero, es falso que todos los poetas del Per sean
trujillanos; es decir, el antecedente es falso (F), en cambio es verdad
que algunos poetas del Per son trujillanos.
Antecedente: Todos los poetas del Per son Trujillanos (F).
Consecuente: Algunos poetas del Per son Trujillanos (V).
 EN CONSECUENCIA: La proposicin implicativa (p q): Si todos
los poetas del Per son Trujillanos, entonces algunos poetas del Per
son Trujillanos, es verdadera.

Regresando al ejemplo tenemos: Si Rafael consigue pasaje, viajar a

Trujillo; si el antecedente es (F) y el consecuente es (V), la
proposicin es verdadera.

4) Tanto el antecedente como el consecuente son falsos.

Si: p es (F), q es (F); luego: p q es (V)
Si el antecedente y el consecuente son falsos, la proposicin
implicativa es verdadera.
En el ejemplo; si Rafael consigue pasaje (es falso), entonces viajar
a Trujillo (es falso); luego se cumple que p q es verdadero.

PROPOSICIN RECPROCA
Si en la proposicin implicativa tenemos: p implica a q, en la proposicin
recproca tendremos: q implica a p.
Ejemplo:
Proposicin directa
Si Carlos participa en atletismo, entonces es deportista.
Proposicin recproca
Si Carlos es deportista entonces participa en atletismo.
Luego:

Proposicin directa Proposicin recproca

pq qp

PROPOSICIN INVERSA:
Si en la proposicin directa tenemos: p implica a q en la proposicin
inversa tendremos: p implica a q

Ejemplo:
Proposicin directa
Si Carmela destaca en matemticas, entonces es inteligente.
Proposicin inversa
Si Carmela no destaca en matemticas, entonces no es inteligente.
Luego:

Proposicin directa Proposicin inversa

pq p q

PROPOSICIN CONTRA RECPROCA:

Si en la proposicin implicativa tenemos p implica a q en la proposicin
contra recproca tendremos q implica a p.
Ejemplo:
Proposicin directa
Si un tringulo tiene sus tres lados congruentes, entonces es
equiltero.
Proposicin contra recproca
Si un tringulo no es equiltero, entonces no tiene sus tres lados
congruentes.
 Luego:

Proposicin directa Proposicin contra recproca

pq q p

1.7.5 PROPOSICIN BICONDICIONAL DOBLE IMPLICATIVA ()

Es la que resulta de la conjuncin de la proposicin condicional y su
recproca mediante el conectivo lgico () se denomina (p q) y se lee
p, s y slo s q. Es decir p implica a q y q implica a p.
(p q) (q p)
Sus formas gramaticales son: s y slo s, solamente s, cuando y slo
cuando, entonces y slo entonces, es idntico, cada vez que y slo
s, p es condicin necesaria y suficiente para q, etc.

TENER PRESENTE: Para saber si la proposicin bicondicional (p q) es

verdadera, ser necesario que sus dos componentes sean igual (VV o FF),
si solamente una de ellas es verdadera, entonces la proposicin
bicondicional ser falsa.

El siguiente cuadro resumir todas las posibilidades.

p q pq Simbolizacin: p q ; p q
V V V
V F F La bicondicional es verdadera slo si los valores
F V F de sus componentes son iguales en caso contrario
F F V es falso.

En consecuencia, la tabla de verdad de la bicondicional queda

perfectamente determinada a partir de las tablas de verdad de la
condicional y la conjuncin, esto es:

p q pq qp
V V V V V
V F F F V
F V V F F
F F V V V

De donde podemos observar que la bicondicional es verdadera cuando las

proposiciones componentes tienen el mismo valor veritativo; en otros
casos es falsa.
 EJERCICIOS DE APLICACION

1. De los enunciados:
1) Todo principio lgico es filosfico.
2) Todo principio filosfico es lgico.
3) El principio de aprendizaje y pedaggico se complementan.
4) Los ngulos de 40 y 50 son complementarios.
5) En todo tringulo un lado es mayor que la suma de los otros dos.
Son proposiciones simples relacionales:
a) 1, 2 y 3 b) 1, 2 y 4 c) 2, 4 y 5
d) 2, 3 y 4 e) 3, 4 y 5
2. Analizar los siguientes enunciados:
a) 4 + 8 = 12 b) Eres estudiante de Qumica?
c) 8 5 d) Arriba Alianza!
e) x + 3 = 11 f) x es abogado
g) 8 3 5 h) Manuel es ingeniero o Manuel es matemtico
i) x + y 6 j) Ponga atencin
Determinar:
I. Cules son proposiciones.
II. Cules son enunciados abiertos.
III. Cules no son ni proposiciones ni enunciados abiertos.
IV. El valor de verdad de las proposiciones.
3. Encierra en un crculo la letra V o F de acuerdo a cada enunciado.
1) La proposicin conjuntiva es verdadera cuando una de sus componentes
es verdadera. V F
2) Si niego una negacin entonces el resultado es negativo. V F
3) La disyuncin fuerte es verdadera cuando sus componentes son verdaderas. V F
4) La disyuncin inclusiva es falsa cuando sus componentes son falsos. V F
5) Una proposicin condicional es falsa cuando su antecedente y su
consecuente son falsos. V F
6) La proposicin simple puede tener un predicado y dos sujetos. V F
7) La proposicin condicional es verdadera solamente cuando sus
componentes son iguales. V F
8) Una proposicin recproca es bicondicional. V F
9) Una proposicin bicondicional es verdadera cuando solamente sus
componentes son verdaderas. V F
10) Una proposicin disyuntiva dbil es verdadera cuando una o los dos
de sus componentes pueden ser verdaderos. V F
4. Negar las siguientes proposiciones y designarle sus respectivos valores:
u: 4 + 3 = 5 + 2
w: Todos los tringulos son figuras geomtricas
z: Csar Vallejo no ha sido poeta
5. De los siguientes enunciados decir cules son proposiciones, cules son enunciados
abiertos y cules no son ni proposiciones ni enunciados abiertos?
p1: Quin es el profesor?
p2: Si todos los hombres son mortales, entonces los profesores son mortales
p3: x = 4
p4: La frmula del rea de un tringulo es: (base x altura)/2
p5: Todos los metales son duros
p6: Algunos objetos encerrados en el cuadrado A son letras del alfabeto castellano
p7: x 1 = 0
p8: Si supieras las cosas que me dijeron
p9: Pars est en la Argentina
p10: Algunos metales son lquidos
6. Qu valores tienen las proposiciones del ejercicio anterior?
7. Si: p: Jos es mdico ; q: Jos es dentista ; r: Fidel es ingeniero

I) Escribir cada una de las siguientes proposiciones en forma simblica:

a) Jos es mdico y Fidel es ingeniero
b) Si Jos es mdico o Fidel es ingeniero, entonces Jos es dentista.
c) Jos no es mdico; pero Fidel no es ingeniero.
d) Si Fidel es ingeniero y Jos no es dentista, entonces Jos es mdico.

II) Escribir en forma de oracin el significado de las siguientes proposiciones:

a) p q b) ( p q) r
c) p q d) r (p q)

8. Negar las siguientes proposiciones y hallar sus respectivos valores.

q1: Todos los metales son duros
q2: 3 = 4
q3: Algunos alumnos son inteligentes
q4: 3 1
q5: Huacho no es una ciudad costea
q6: La luna es de queso

9. Determinar el valor de verdad de cada una de las siguientes proposiciones:

a) 3 + 5 = 8 y 7 3 = 4
b) 3 + 5 = 8 y 7 3 = 2
c) 3 + 5 = 8 7 3 = 2
d) 3 + 5 = 6 7 3 = 2
e) Si: 6 + 3 = 9; entonces: 7 + 3 = 10
f) Si: 5 + 6 = 11; entonces: 7 + 2 = 6
g) Si: 4 + 3 = 1; entonces: 8 + 8 = 16
h) Si: 7 + 3 = 6; entonces: 9 4 = 2

10. Dadas las proposiciones, p: Paulo es cantante, q: Paulo es un buen estudiante y r: Paulo es
Mdico. Simbolizar el enunciado: Si no es el caso que Paulo sea un cantante y un buen
estudiante, entonces es mdico o no es cantante.

11. Dadas las proposiciones:

p: 6 es un nmero par
q: 6 es un nmero divisible por 2.
r: 6 + 1 es un nmero impar.

Simboliza, utilizando la notacin proposicional, las siguientes proposiciones y luego indica

su valor de verdad:

a) Si 6 es un nmero par, entonces es divisible por 2.

Simbolizacin: _________________ , valor de verdad: ___________
b) 6 es un nmero par y 6 + 1 es un nmero impar.
Simbolizacin: _________________ , valor de verdad: ___________
c) Si 6 no es un nmero par y 6 + 1 no es un nmero impar, entonces 6 no es divisible por
2.
Simbolizacin: _________________ , valor de verdad: ___________

12. Si las proposiciones p, q y r tienen los valores de verdad V, V y F respectivamente. Cul

ser el valor de verdad de la proposicin?

(p q) (q r)