Mayumi

UNIVERSIDAD NACIONAL DEL
ALTIPLANO
FACULTAD DE CIENCIAS DE LA
EDUCACIN
ESCUELA PROFESIONAL DE
EDUCACION INICIAL
TEMA:
LOGICA
PROPOSICIONAL
PRESENTADO POR:
SALAZAR LLUTARI JOHANA
ALESANDRA
TICONA ARPASI MAYOMI
YESSICA
EDUCACIN INICIAL UNAP

MATEMTICA BSICA
PAUCAR CONDORI YENNY

SORAYDA
DOCENTE:
Doc. PEDRO
PASCUAL ARIAS MEJIA
I-SEMESTRE
PUNO-2015
INTRODUCCIN
El presente trabajo es el producto de la investigacin realizada para
desarrollar nuestro tema asignado, denominada lgica proposicional para
la asignatura de matemtica bsica I.
Como estudiantes poseemos distintos mtodos y estrategias de estudio
que nos permite asimilar mejor el aprendizaje de distintos temas. La
resolucin de ejercicios y el planteo de lgica proposicional que son muy
tiles en el mbito acadmico de uso recurrente para el estudiante.
En nuestro quehacer diario constantemente hacemos, deducciones. Esto
significa, que cada conclusin que obtenemos se deduce de algo. Este algo
o punto de partida se llama premisa. Por ejemplo si exponemos un trozo de
hielo al calor, se concluye que el hielo se derrite, o cuando un campesino
ve una densa nube en el cielo, deduce que va a llover, o tambin de "todos
los mamferos son vertebrados" se puede concluir en "algunos mamferos
son vertebrados". Este proceso de pasar de un conjunto de premisas a la
conclusin se llama inferencia o deduccin.
Cuando la conclusin se deduce correctamente del conjunto de premisas
se dice que la inferencia es vlida, en caso contrario la inferencia no es
2

MATEMTICA BSICA
vlida. Sabemos que la conclusin se deriva correctamente de sus

premisas porque hay un conjunto de leyes lgicas que garantizan dicha
correccin. Justamente la lgica estudia el modo de usar estas leyes, con
las cuales podemos saber si una inferencia es vlida o no. De ah que, la
lgica es una ciencia que estudia los mtodos y las leyes que determinan
la validez de la inferencia.
As como existe una teora para realizar clculos con nmeros (la
aritmtica) o con objetos ms complejos como diferencial e integral,
tambin existen reglas precisas para manejar proposiciones. Esto ltimo
corresponde al estudio de la lgica proposicional.
OBJETIVO
En esta ocasin nuestro objetivo es desarrollar adecuadamente el tema
lgica proposicional y aplicar sus leyes y tablas

MATEMTICA BSICA
INDICE
INTRODUCCIN..........................................................................2
OBJETIVO................................................................................... 3
1. DESCRIPCION DEL PROBLEMA.................................................5
2. PRACTICA DE LGICA PROPOSICIONAL.....................................6
3. FUENTES DE INFORMACIN:..................................................17
4. VALORACION Y REFLEXION:...................................................17
5. PORTFOLIO........................................................................... 18

MATEMTICA BSICA
1. DESCRIPCION DEL PROBLEMA

1.1. QU ES LGICA?
Es una ciencia que estudia los principios de la demostracin, es la
inferencia por el cual se derivan conclusiones a partir de premisas,
son mtodos o procedimientos que determinan con exactitud de la
validez o invalidez de las proposiciones.
Son los principios generales que rigen
el
conocimiento
del
pensamiento humano.
Mtodo o razonamiento en el que las ideas o la sucesin de los
hechos se manifiestan o se desarrollan de forma coherente y sin que
haya contradicciones entre ella siento y el pensamiento humano.
1.2. QU ES PROPOSICIN?
Una proposicin es una cadena de signos expresados en un
determinado lenguaje.
En
un lenguaje
natural,
esos
signos
usualmente son sonidos o caracteres escritos, mientras que un tipo

de lenguaje formalizado pueden ser signos arbitrarios. Dado que los
lenguajes entidades de la realidad, se admite que las proposiciones
son cadenas de signos a las que es posible emparejar con objetos
5

MATEMTICA BSICA
reales. Es importante notar que lo que hace de una cadena de signos

una proposicin, es que sea interpretable (ya que existen por
ejemplo cadenas de signos u oraciones de un lenguaje que carecen
de un referente o interpretacin bien definidos).son tipos de
estructuras combinatorias que admitida mente pueden representar
A) CLASES DE PROPOSICIONES:
Proposicin simple: Conocidas como atmicas o elementales, se
reemplazan por una sola variable.
Proposicin compuesta: Llamadas tambin como moleculares o
esquemas moleculares que niegan a una afirmacin simple.
B) CONECTIVOS LOGICOS
Son operadores lgicos, signos de enlace, conectores, etc.
SUS SIMBOLOS SON:
Negacin: no y no es cierto que: (
).
La conjuncin: y: (
La disyuncin: o: simple, dbil o inclusiva (

fuerte o exclusiva (
).
) y la disyuncin
).
La implicancia o la condicional: si entonces cuyo smbolo es: (

).
La doble implicancia o la bicondicional: si y solo si cuyo

smbolo es: (
).
2. PRACTICA DE LGICA PROPOSICIONAL

1.- Si la proposicin:
lgica
~ [r ( p q)]
[( p q) s]
determinar los valores de verdad de: p , q , r , y s .

RESOLUCIN :
De : ~
[r ( p q)]
v v Ff v f f
[( p q) s]
v
* los valores de: p = v ; q = f; r = v; y s = f.
v v f v v f

MATEMTICA BSICA
2.- Se define la proposicin: p * q=
p v q.
Hallar cuntas verdades (V) o falsedades (F) tiene la

matriz principal de: (p *
q)
p * q).
RESOLUCIN :
Para resolver este tipo de problema, el * se cambia por el
conectivo dado : V por
* . Los signos se respetan en ambos
casos. S :
(p *
q)
( ( p) v q)
p * q) (
p v
q)
p v
q)
p * q) (
f
f v v
f
v
v
v
v
v
v
v
f
f
v
f
. Luego:
(p *
q)
( p v q)
v
f
v
v
v
f
v
f
f
3.- Usando leyes lgicas, simplificar las siguientes expresiones:
( p q)
i)
(q r ) .
RESOLUCIN:
( p q)
(p
(q r )
q )
Por lo tanto:
ii)
[( p q)]
( p q)
( q r ) ; por
( q r ) ; por ley de Morgan:

( p q)
(q r )
( p s )
(p
[ ( p q) (
pq
( p q)
q )
p q
( q r)
q p )].
RESOLUCIN
7

MATEMTICA BSICA
Aplicando la ley distributiva en el primer corchete.

( ( p q ) p)
(( p q
( p q)
q p
Aplicando la ley de la absorcin dentro del primer corchete.

(q p)
(( p q
( p q)
q p
Aplicando la ley distributiva dentro del primer corchete.

(q p)
( p q)
(( p q
(q p)
( p q)
s
q p
( p q)
q [( p q ) s ]
( p q)
p
q p
Aplicando la ley de la absorcin en los dos primeros corchetes.

( p q)
( p q)
[( p q ) s]
q p
Acomodando convenientemente en el primer corchete.

( p q)
( p q)
[( p q ) s]
( q p
Aplicando la propiedad distributiva en el primer corchete.

( p q)
(p q)
( p q)
( q p
Aplicando la propiedad distributiva en el primer corchete.

( p q)
( p q)
p
( q p
Aplicando la ley de absorcin en los dos primeros corchetes.

( p q)
(q)
( p q)

( q p
Aplicando la ley de absorcin en el primer corchete.

( p q)
( p q)

( q p

MATEMTICA BSICA
Aplicando la propiedad distributiva con los dos primeros corchetes.
( p q ) ( p q)
( p q)

( q p
Asociando convenientemente.
( p q ) ( p q)
{
( pq)
[( p q ) (q p)]}{
( p q)
q p
( p q)
{
( q p
( pq)
[ ( p q ) ( p q)]}{
( p q)
( q p
( p q)
{
Pero:
( q p
( p q)
{
( p q)
{
[ ( p q ) ( p q)]} F. entonces:
( q p
( p q)
( q p }
( p q)
Asociando convenientemente.
( p q)
( p q)
( q p s
Aplicando la ley distributiva en el primer corchete.

( p q)
( p q)
( q p
Aplicando la ley de absorcin en los dos primeros corchetes.

( p q)
( q p
Aplicando la ley de absorcin en el primer corchete.
q( q p)

MATEMTICA BSICA
pq s
[( p q)]
Por lo tanto:
iii.-
[ ( p q) (
( p s )
[(q
{ p[ ( q r ) ( q r )]
q p )]
pq s
p) ( q r ) ] }
RESOLUCIN:
[(q
{ p[ ( q r ) ( q r )]
Por definicin de
T
{p
[(q
p) ( q r )] }
en el primer corchete resulta tautologa: T.
p) ( q r )] }
Por ley adicional y asociando:
(q p) ( q r )
Por absorcin en corchete: ( p q

Por ley distributiva:
( pq
( qr)
( p q)r
q
Asociando en el primer corchete: ( p q

Por definicin de
Por lo tanto:
iv.-
pqr
q
, en primer parntesis T: T
[(q
{ p[ ( q r ) ( q r )]
[p(
[ ( p q ) ( p q)]
pqr
p) ( q r )] } p q r
)
).
pqr)]
RESOLUCIN:
[ ( p q ) ( p q)]
[p(
pqr)]
Aplicando la ley de bi condicional.

{ [ ( p q ) ( p q)]
[ ( p q ) ( p q)]}
[ p(
pqr)]
1
0

MATEMTICA BSICA
Aplicando cuatro veces el condicional:

{ [ (pq) (
p q)]
p q) ( p q) ] }
[ (
p( pqr)]
Aplicando la ley de doble negacin:

{ [ ( p q) ( p q ) ]
[( p q ) ( p q ) ]}
p( pqr)]
p( pqr)]
Aplicando la ley de Morgan:

{ [ ( p q) ( p q )]
[( p q )( p q ) ]}
Aplicando la ley distributiva dentro de las llaves:

{ [ ( p q) p ]
[ ( p q ) q ][ ( p q ) p ]
[( p q ) q ]
p( pqr)]
Asociando convenientemente:
{ [ ( p p) q ]
[( p ( q q ) )]}
[ ( p q ) ][ ( p p ) q]
p( pqr)]
Aplicando el tercio excluido dos veces en cada corchete:
[( T ) ( p q)]
[( p q ) ]T }
{ [T]
p( pqr) ]
Aplicando la ley distributiva en el segundo corchete:

( p p)
[( p q ) ( p q)]
Asociando y aplicando en el segundo corchete la ley adicional:

p
{[ ( p q ) p ] q }
Aplicando la ley de absorcin y asociando convenientemente:

p
[ p q ]
Aplicando la ley de absorcin:

p
[ p q ]
Aplicando la ley de absorcin:

1
1

MATEMTICA BSICA
[ p q ][ p ]
Asociando convenientemente:
( p q )
Por tercio excluido:

q
por lo tanto: T.
Es decir:
v.-
[p(
[ ( p q ) ( p q)]
[ ( p q ) (r s)]
pqr) ]
T.
RESOLUCIN :
[( p q ) (r s)]
q . Aplicando la ley condicional:
[ ( p q ) (r s)]
q . Aplicando la ley de Morgan:
[( p q ) (r s)]
q . Aplicando la ley distributiva con
( r s)
[ ( p q) q]
q . Aplicando la ley de absorcin:
(r s)
[ q]
q.
q:
q . Aplicando la ley de la absorcin nuevamente:
Por lo tanto:
[( p q ) (r s)]
( pr) t
( p q)
F . Hallar el valor de:
( p r ) [ t ( p q)] .
RESOLUCIN:
( pr) t
( p q)
Vf v v F
f F v F f; luego, tenemos que: p = f, q = v, r=v t=f.

1
2

MATEMTICA BSICA
( p r ) [ t ( p q)] .
VF f
v f v v
5. - Luego de simbolizar, simplificar la proposicin: Cuando

obtenga mi ttulo entonces ingreso a la carrera magisterial, pero
no ingreso a la carrera magisterial, luego, no obtuve mi ttulo.
RESOLUCIN:
Sea: p = obtengo mi ttulo; q = ingreso a la carrera magisterial. Luego,
simbolizamos:
[ ( p q) q]
( p q)
p.
Asociando:
[ ( p q ) q] p
q
[(
( p
p q ) q] p
p )
qT
[ ( p q)]
6.- Simbolizar y encontrar el equivalente de: No es cierto que

Catalina canta y toca guitarra.
RESOLUCIN:
I.- p: Catalina canta.
II.- q: Catalina toca la guitarra.
III.- Simbolizando:
( p q)
q : catalina no canta o no toca la
guitarra.
7.- Usando leyes lgicas, demuestre la equivalencia:
p(pq) q
p .
RESOLUCIN:
I.-
p(pq) q
II.-
p( pq) q
III.-
p( pq) q
p . Aplicando la ley condicional:
p . Aplicando la ley de absorcin.

p . No son equivalentes.
8.- Simplificar la expresin:
[ p ( q p) ] q
1
3

MATEMTICA BSICA
RESOLUCIN:
[ p ( q p ) ] q . Aplicando tres veces la ley condicional.
I.-
[ p ( q p ) ] q . A plicando la ley de Morgan.
II.[
III.
( q p)] q . Aplicando la ley de la doble negacin.
[ p ( q p ) ] q . Aplicando la ley de la absorcin.
[p]
q . Aplicando la ley conmutativa:
Por lo tanto:
[ p ( q p) ] q
9.- Sabiendo que: r
q p.
qp
V, Simplificar:
{[ ( r s ) ( p q ) ][ ( r s ) q ] }(r q)
RESOLUCIN:
Considerando que si: r
En la proposicin:
{[ ( r s ) (
{[ ( r s ) (
p q ) ][ ( r s ) q ] } ( r q )
( p q)
(
Por lo tanto:
q
p q
s V, entonces: r
p q ) ][ ( r s ) q ] } ( r q ) ,
V ( p q)
[ [ F q] }
F (
p q
F yr
F.
se da lo siguiente:
p q .
{[ ( r s ) ( p q ) ][ ( r s ) q ] }F
p q
10.- Simplificar la siguiente expresin usando leyes lgicas:
[(
q p) ( p q )] ( p q) .
RESOLUCIN
1
4

MATEMTICA BSICA
[ (
p q ) ] ( p q ) , entonces:
q p) (
[ (q
p) ( p q ) ] ( p q )
[(
q p) ( p q ) ] ( p q )
[((
q p) p) (( q p) q) ]
( p q)
( p q)
( p q)
( p q)
( p q )
[ ( p q)
p]
[ ( p q) q]
p q )
( p q)
q
Por lo tanto:
[(
q p) ( p q )] ( p q)
11.- usando leyes lgicas, simplificar la proposicin:
( p q) [ ( p q ) ( p q ) ]
RESOLUCIN:
Se tiene que:
pq
()
( p q)
( p q) [ ( p q ) ( p q ) ]
( p q)
(( p q ) ( p q ) )
Por ley de disyuncin fuerte
( p q)
pq
()
( p q)
(( p q ) ( p q ) )
1
5

MATEMTICA BSICA
{( p q ) [
( p q)
( p q) ( p q) ] }
Por ley de Morgan
pq )
( p q)
( p q) ( p q )
( p q ) [] }
( p q)
Por ley de Morgan y absorcin
( p q )
( p q)
p ( q q)
p.
( p q) [ ( p q ) ( p q ) ]
Por lo tanto:
p.
12.- A travs de las leyes de equivalencia, demostrar que:
[r ( p q )]
[(r p )q ]
RESOLUCIN:
I.-
[r ( p q )]
[ (r p)q ] . Aplicando dos veces la ley condicional en el primer
miembro:
II.-
[ r(
p q )]
[(r p)q ] . Asociando convenientemente y aplicando la ley
distributiva:
III.-
[ (r p )q ]
[(r p)q ] . Aplicando la ley condicional en el primer
miembro.
IV.-
[(r p )q ]
[ (r p)q ] .
[ p(
{[ ( p q ) r ] s ] ((q r ))
q r ) ] . Si la proposicin:
F , hallar el valor de: (
{[ ( p q ) r ] s ] ((q r ))
pq )
1
6

MATEMTICA BSICA
RESOLUCIN:
{[ ( p q ) r ] s ] ((q r ))
Luego los valores son: p = v o f; q = f; r = f; s = v. luego: v F f V f V v F f F f
pq )
[ p(
q r )]
fvF f V v V v
Vf
14.- Hallar el equivalente de: Hay que pagar 100 soles y ser socio
para ingresar al teatro.
RESOLUCIN
Formalizando: p = Pagar 100 soles; q = Ser socio; r = ingresar al teatro.
Simbolizando: ( p q )
( p q)
No es cierto que se pague
100 soles y ser socio, o ingrese al teatro:

p
qr
No se paga 100 soles o no es socio, o ingrese al teatro.
15.- Luego de simbolizar, simplificar la siguiente proposicin:

Viene a casa o se va de viaje, pero no viene; en consecuencia se
va de viaje.
RESOLUCIN
Formalizando: p = viene a casa; q = se va de viaje.
Simbolizar
[ ( p q)
p]
( q p )
pq
q
q
( q p )
(Por absorcin)
(Por condicional)
(Por ley de Morgan)
p(q q)
(Por absorcin)
1
7

MATEMTICA BSICA
18.- Usando leyes lgicas, simplificar:

{[(p
q) v ~p] (~q
p)} [q v (r
s )]
Resolucin:
{[(p
q) v~ p]
{[(~p v q) v ~p]
{[(~p v q) v ~p]
{[(~p v q)
(~q
(~ ~p v p)}
(p v p)}
(p v q)}
{(~p
p) v q}
(F v q)
[q v (r
[ q v (r
[q v (r
p)} [q v (r
[q v (r
[q v (r
[q v (r
[ q v (r
s)]
s)]
s)]
ley condicional
ley condicional
s)}
ley asociativa
s)]
s)]
s)]
s)]
ley de absorcin
Respuesta: q
19.-A travs de leyes lgicas, demostrar que las tres proposiciones son
equivalentes:
~[(q v ~p) v [q
[(~q)
(~p)]
(r v ~ p)]} (p ~q)
[q
20.- dado: p # q {[(p

[(~p
r) # q] # (p
~(p
[~q v (p v ~r)]
r)]
q)
q)
p] v q]
p , simplificar:
Resolucin:
P # q {[(p
q)
p] v q }
Escriba aqu la ecuacin.
1
8

MATEMTICA BSICA
{[~ (~p v q ) v p ] v q}
{[(p
(p v q)
~q) v p ] v q}
p
p
p#q p
[(~p
r) # q] # (p
(~p
r) #(p
Respuesta: ~p
q)
q)
21.-dada la proposicin:
[(p
q)
(q
r)]
(p
q)
~r)]
(p
r) F, hallar el valor de verdad de: [p
(p
Rsolucion:
De: [(p
q)
(q
v Vv
~r)]
V
V
Entonces: p
[p
(p
v F
r)
v F
F
rF
r)]
(p
, p v, q v
(p
q) v F
y
v F f
r f , luego:
v V v
22.- Cul de las cinco alternativas corresponde a la proposicin para que

sea correcta?
Asimismo, simbolizar la proposicin. Si vas al estadio
pierdes tu dinero. Si no vas al estadio, vas a la playa. Si no fuiste a la playa

entonces,..
a) no fuiste al estadio
b) no perdiste tu dinero
1
9

MATEMTICA BSICA
c) pierdes tu dinero
d) fuiste al estadio y ganaste dinero
e) perdiste tu dinero y no fuiste a la playa
Resolucin:
Formalizando = p vas al estadio
q pierdes tu dinero
r vas a la playa
Simbolizando los enunciados
a) P
q;
b) ~p
~p
r.
aplicando la propiedad de la condicional, se tiene:
r~r
~r
~ (~ p)
por la doble negacin
Construyendo con: (a) y ~ r

~r
por la ley de transposicin
p, se tiene: ~ r
ley transitiva
Entonces la respuesta ser:

si no vas a la playa entonces pierdes tu dinero
23.- dado: p
[(p
q)
q {~p
(q
p)]
{ p
(q
(p
r)]} p, simplificar:
q)
Resolucin:
Por la informacin se tiene que : p
{~ (~ p) v [ p
(q
r)]}
q {~ p
p
[p
(q
r)]}
por la ley de implicancia
p
{p v [p
(q
r )]}
pp
por la ley de
absorcion
P
q p . luego :
[(p
q)
(q
[(p
q)
(q
p)]
p)]
(p
q)
esto, por haber aplicado la definicin
dos
veces
2
0

MATEMTICA BSICA
q ~p v q
24.- se define:; p # q {p
(~p
~q)] v p, simplificar: (p # ~q) # q
Resolucin
Dentro de las llaves, por la ley de bicondicional se tiene:
p # q {p
{[p
(~p
{[(p
[(F
(~p
~q)} v p
~q)] v ~ {p v (~p
~p )
~q)]} v p
~q} v ~ {p v (~ p
~q]} v p
~q) v ~ ( p v ~ q)] v p
[(~ p
q)] v p
por la ley de absorcion

ley de morgan
Pvq
por la ley de absorcion. Luego, en:
(p # ~q ) # q
(p v ~ p) v q
(por definicin de # )
V v q V.
3. FUENTES DE INFORMACIN:
Se ha utilizado libros de apoyo
El internet
4. VALORACION Y REFLEXION:
VALORACIN DE JOHANA ALESANDRA SALAZAR LLUTARI
Qu es lo que ms me ha costado?
Resolver los ejercicios
Sali como esperaba?
Si me sali como lo esperaba
De volver a realizarlo, Qu cambiara?
La presentacin ms mejorada
Qu momento destacara del proceso y por qu?
La unin y el apoyo del grupo, porque nos ayudbamos entre el
grupo
Qu he aprendido?
2
1

MATEMTICA BSICA
He aprendido a resolver los ejercicios planteados

VALORACION DE MAYOMI YESSICA TICONA ARPASI
Resolver los ejercicios
Sali como esperaba?
Si sali como esperaba
La presentacin del trabajo a tiempo
La unin y el apoyo del grupo en la resolucin de los problemas,
porque nos apoyamos mutuamente
Qu he aprendido?
He aprendido que es la lgica proposicional
VALORACIN DE YENNY SORAYDA PAUCAR CONDORI
Lo que me ha costado encontrar el proceso o pasos a realizar, a
partir de las leyes lgicas y poder desarrollar los ejercicios
propuestos
Sali como esperaba?
No del todo como se esperaba, ya que algunas leyes son difciles de
memorizar y poder aplicarlas a los ejercicios, sin embargo tomando
ejercicios
planteados
similares
se
pudo
desarrollar
algunos
ejercicios
Cambiara la organizacin del grupo, para llevar la resolucin de los
ejercicios de mejor manera.

El trabajo en equipo, ya que cada uno de los integrantes del grupo
colabor para poder llevar a cabo la resolucin de los ejercicios y la
presentacin ene le presente informe.

Qu he aprendido?
He aprendido que las nociones de lgica proposicional, sus leyes,
propiedades, etc.
2
2

MATEMTICA BSICA
5. PORTFOLIO
Fecha de la primera reunin grupal:
Sbado 12 de septiembre del ao 2015
Fecha de la segunda reunin grupal:
Lunes 14 de septiembre del ao 2015
En ambas fechas se tuvo las siguientes indicaciones:
Qu hemos hecho?
Hemos tratado de resolver los problemas planteados
Hemos hecho el folder
Cmo lo hemos hecho?
Con el apoyo del libro
Con internet
Qu dificultades hemos encontrado y como lo hemos superado?
Dificultades en la resolucin de algunos problemas y lo hemos
superado con la enseanza del profesor

Fuentes de informacin utilizadas
Libros de apoyo
Qu hemos aprendido?
Hemos aprendido todo lo que es lgica proposicional y sus
conectivos lgicos
2
3

MATEMTICA BSICA
2
4

MATEMTICA BSICA
2
5

Mayumi

Cargado por

Copyright:

Formatos disponibles

Mayumi

Cargado por

Información del documento

Descripción original:

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Mayumi

Cargado por

Copyright:

Formatos disponibles

UNIVERSIDAD NACIONAL DEL

EDUCACIN INICIAL UNAP

PAUCAR CONDORI YENNY

EDUCACIN INICIAL UNAP

vlida. Sabemos que la conclusin se deriva correctamente de sus

EDUCACIN INICIAL UNAP

EDUCACIN INICIAL UNAP

1. DESCRIPCION DEL PROBLEMA

usualmente son sonidos o caracteres escritos, mientras que un tipo

EDUCACIN INICIAL UNAP

reales. Es importante notar que lo que hace de una cadena de signos

La disyuncin: o: simple, dbil o inclusiva (

La implicancia o la condicional: si entonces cuyo smbolo es: (

La doble implicancia o la bicondicional: si y solo si cuyo

2. PRACTICA DE LGICA PROPOSICIONAL

determinar los valores de verdad de: p , q , r , y s .

* los valores de: p = v ; q = f; r = v; y s = f.

EDUCACIN INICIAL UNAP

2.- Se define la proposicin: p * q=

Hallar cuntas verdades (V) o falsedades (F) tiene la

* . Los signos se respetan en ambos

3.- Usando leyes lgicas, simplificar las siguientes expresiones:

( q r ) ; por ley de Morgan:

EDUCACIN INICIAL UNAP

Aplicando la ley distributiva en el primer corchete.

Aplicando la ley de la absorcin dentro del primer corchete.

Aplicando la ley distributiva dentro del primer corchete.

Aplicando la ley de la absorcin en los dos primeros corchetes.

Acomodando convenientemente en el primer corchete.

Aplicando la propiedad distributiva en el primer corchete.

Aplicando la propiedad distributiva en el primer corchete.

Aplicando la ley de absorcin en los dos primeros corchetes.

Aplicando la ley de absorcin en el primer corchete.

EDUCACIN INICIAL UNAP

Aplicando la propiedad distributiva con los dos primeros corchetes.

Aplicando la ley distributiva en el primer corchete.

Aplicando la ley de absorcin en los dos primeros corchetes.

Aplicando la ley de absorcin en el primer corchete.

EDUCACIN INICIAL UNAP

en el primer corchete resulta tautologa: T.

Por ley adicional y asociando:

Por absorcin en corchete: ( p q

Asociando en el primer corchete: ( p q

Aplicando la ley de bi condicional.

EDUCACIN INICIAL UNAP

Aplicando cuatro veces el condicional:

Aplicando la ley de doble negacin:

Aplicando la ley de Morgan:

Aplicando la ley distributiva dentro de las llaves:

Aplicando el tercio excluido dos veces en cada corchete:

Aplicando la ley distributiva en el segundo corchete:

Asociando y aplicando en el segundo corchete la ley adicional:

Aplicando la ley de absorcin y asociando convenientemente:

Aplicando la ley de absorcin:

Aplicando la ley de absorcin:

EDUCACIN INICIAL UNAP

Por tercio excluido:

q . Aplicando la ley condicional:

q . Aplicando la ley de Morgan: