FACULTAD DE INGENIERIA

ESCUELA DE COMPUTACION
ESTRUCTURAS DISCRETAS (IC33)
PROFESOR: ING. GERARDO ALBERTO LEAL
UNIDAD 1: FUNDAMENTOS DE LA LGICA
1.1 Proposiciones Lgicas
La lgica proposicional es un rea de la matemtica que trata las
proposiciones y el razonamiento lgico matemtico.
La gica son reglas que:
- Dan significado a enunciados y sentencias matemticas.
- Distinguen argumentos validos y no validos.
- Se aplican en la construccin de programas y circuitos de computadores.
Las Proposiciones: son oraciones declarativas que pueden ser verdaderas
o falsas pero no ambas a la vez.
Eemplo:
a.- !aris es la capital de "rancia
b.- #oronto es la capital de $anada.
c.- % & % ' (
d.- ( & ( ' )
#odas son proposiciones* % y ) verdaderas+ ( y , falsas.
Eemplo:
a.- -ue d.a es /oy0
b.- Lee esto con atencin
c.- 1 & % ' (
d.- 1 & 2 ' 3
En este caso a y b no son proposiciones porque no son declaraciones* por
otra parte* c y d no son proposiciones porque no son ni verdaderas* ni falsas.
Las !roposiciones se denotan con letras min4sculas p! "! r # s. #iene dos
posibles valores llamados $aor %e $er%a%* que pueden ser $ & 'er%a%ero y F &
Faso. Los valores 5erdaderos se asocian con el % y los falsos con el 6 del
sistema binario.
La Ta(a %e a $er%a% muestra las relaciones entre los valores de verdad de las
proposiciones.
7odulo 8nstruccional Estructuras Discretas. #eor.a y !rctica
! q
% %
6 6
1
FACULTAD DE INGENIERIA
ESCUELA DE COMPUTACION
ESTRUCTURAS DISCRETAS (IC33)
PROFESOR: ING. GERARDO ALBERTO LEAL
1.) Opera%ores # Conec*i'os Lgicos
Los Opera%ores Lgicos* son operadores aplicados a las proposiciones*
para generar nuevas proposiciones.
Los Conec*i'os Lgicos* son operadores lgicos que se usan para formar
nuevas proposiciones a partir de ( o mas proposiciones e9istentes.
Los Tipos %e Opera%ores Lgicos son:
a. Negacin: sea p una proposicin* el enunciado :: no se cumple p ;; es
otra proposicin llamada <Negacin %e p=. Se denota: >p y se lee ::no p ;;. Su
tabla de verdad es:
(. Con+,ncin: sean p y q proposiciones. La proposicin :: p y q ;;*
denotada por p q* es la proposicin que es verdadera cuando tanto p como q
son verdaderas y falsa en cualquier otro caso. Su tabla de verdad es:
Eemplo: p :: /oy es viernes ;;
q :: /oy llueve ;;
p q:: /oy es viernes y /oy llueve ;;
5erdadera: Los viernes con lluvia
"alsa: $ualquier otro d.a diferente de viernes y los viernes que no llueve
c. Dis#,ncin: sean p y q proposiciones. La proposicin :: p o q ;;*
denotada por p q* es la proposicin que es falsa cuando tanto p como q son
falsas y verdadera en cualquier otro caso. Su tabla de verdad es:
7odulo 8nstruccional Estructuras Discretas. #eor.a y !rctica
p >p
% 6
6 %
p q p q
6 6 6
6 % 6
% 6 6
% % %
2
FACULTAD DE INGENIERIA
ESCUELA DE COMPUTACION
ESTRUCTURAS DISCRETAS (IC33)
PROFESOR: ING. GERARDO ALBERTO LEAL
Eemplo: p :: /oy es viernes ;;
q :: /oy llueve ;;
p q:: /oy es viernes u /oy llueve ;;
5erdadera: $ualquier d.a que sea viernes o llueva* incluyendo viernes que llueva..
"alsa: Los d.as que ni son viernes* ni llueve.
%. Dis#,ncin E-c,#en*e , O.E-c,#en*e: sean p y q proposiciones. La
proposicin :: p o q ?pero no ambas@ ;;* denotada por p q* es la proposicin
que es verdadera cuando solo una de las dos proposiciones p y q es verdadera+ y
es falsa cuando ambas son verdaderas o ambas son falsas. Su tabla de verdad
es:
Eemplo: p :: /oy es viernes ;;
q :: /oy llueve ;;
p q:: /oy es viernes u /oy llueve ;;
5erdadera: $ualquier otro d.a que sea viernes o llueva* pero no ambos.
"alsa: Los viernes que llueve* los otros d.as que no llueve.
1./ I0picaciones # 1icon%icionaes:
Sean p y q proposiciones. La i0picacin pq es la proposicin que es
falsa cuando p es verdadera y q es falsa+ y es verdadera en cualquier otro caso.
?Aiptesis o $ausa@ p q ?$onclusin o $onsecuencia@
Su tabla de verdad es:
7odulo 8nstruccional Estructuras Discretas. #eor.a y !rctica
p q p q
6 6 6
6 % %
% 6 %
% % %
p q p q
6 6 6
6 % %
% 6 %
% % 6
3
FACULTAD DE INGENIERIA
ESCUELA DE COMPUTACION
ESTRUCTURAS DISCRETAS (IC33)
PROFESOR: ING. GERARDO ALBERTO LEAL
Las formas de e9presar el condicional p q son:
:: si p* entonces q ;;* :: p implica q ;;* :: q si p ;;* :: p solo si q ;;*:: q
siempre que p;;
Eemplo:
:: si soy elegido* entonces baare los impuestos ;;
Si el pol.tico es elegido ?p es verdadera@* no baa los impuestos ?q es falsa@* las
e9pectativas son falsas. ?p q es "@
Btras i0picaciones %eri'a%as de p q son:
-Ceciproca de p q: q p
-$ontrarreciproca de p q: >q >p
-8nversa de p q: >p >q
#ablas de verdad:

2eciproca Con*rarreciproca In'ersa
Eemplo:
$uales son las contrarreciproca* reciproca e inversa de la implicacin:
:: el equipo gana siempre que llueve ;;
Se identifican la causa y la consecuencia: p q
:: si llueve* entonces el equipo local gana ;;
7odulo 8nstruccional Estructuras Discretas. #eor.a y !rctica
p q pq
6 6 %
6 % %
% 6 6
% % %
q p qp >q > p >q>p >p > q >p>q
6 6 % 6 6 % 6 6 %
6 % % 6 % % 6 % %
% 6 6 % 6 6 % 6 6
% % % % % % % % %
4
FACULTAD DE INGENIERIA
ESCUELA DE COMPUTACION
ESTRUCTURAS DISCRETAS (IC33)
PROFESOR: ING. GERARDO ALBERTO LEAL
$ontrarreciproca: >q>p :: si el equipo no gana* entonces no llueve ;;
Ceciproca: qp :: si el equipo gana* entonces llueve ;;
8nversa: >p>q :: si no llueve* entonces el equipo no gana ;;
Sean p y q proposiciones* el 1icon%iciona o Do(e I0picacin* p q es la
proposicin que es verdadera cuando p y q tienen los mismos valores de verdad y
falsa en los otros casos.
Su tabla de verdad es:
La proposicin p q* es verdadera cuando p q y q p son verdaderas. Las
formas de e9presar el bicondicional p q son:
:: p si* y solo si q ;;*:: p es necesario y suficiente para q ;;*:: p sii q ;;
Eemplo:
p :: puedes tomar el vuelo;;
q :: compras un pasae;;
p q :: puedes tomar el vuelo si* y solo si compras un pasae;;
.Esta e9presin es verdadera si p y q son ambas verdaderas o ambas falsas.
1.3 Prece%encia %e Opera%ores Lgicos
Brden en que se aplican en la construccin de formulas* cuando no se usan
parDntesis:
Brden Bperador Eombre
% > Eegacin
( $onuncin
) Disyuncin
, 8mplicacin
F Gicondicional
7odulo 8nstruccional Estructuras Discretas. #eor.a y !rctica
p q pq
6 6 %
6 % 6
% 6 6
% % %
5
FACULTAD DE INGENIERIA
ESCUELA DE COMPUTACION
ESTRUCTURAS DISCRETAS (IC33)
PROFESOR: ING. GERARDO ALBERTO LEAL
>p q equivale ?>p@ q H ?Eegacin precede a la conuncin@
p q r H equivale ?p q@ r ?$onuncin precede a la disyuncin@
p q r equivale ?p q@ q H ?Disyuncin precede a la implicacin@
1.4 Tra%,ccin %e Frases %e Leng,a+e Na*,ra:
$onsiste en pasar del lenguae natural al lenguae formal* se conoce como
For0ai5acin.
Eemplo:
$ual es la formalizacin de la frase: :: puedes acceder a 8nternet desde el
laboratorio solo si estudias computacin o no eres alumno de primero ;;
p :: puedes acceder a 8nternet desde el laboratorio ;;
q:: estudias computacin ;;
r:: eres alumno de primero;;
"ormalizacin: p (q >r@
Eemplo:
$ual es la formalizacin de la siguiente frase: :: Eo puedes montarte en la
montaIa rusa si mides menos de %*( 7ts a no ser que seas mayor de %J aIos;;
q :: !uedes montarte en la montaIa rusa ;;
r :: 7ides mas de %*( 7ts ;;
s :: Eres mayor de %J aIos ;;
"ormalizacin: ?r >s@ >q
1.6 E",i'aencias Proposicionaes
Dos formulas son gica0en*e e",i'aen*es si tienen los mismos valores
de verdad en todos los casos. #ambiDn se dice que p y q son lgicamente
equivalentes si p q es una tautolog.a y se denota por p "
Eemplo:
Eemplo:
7odulo 8nstruccional Estructuras Discretas. #eor.a y !rctica
#autolog.a $ontradiccin
p >p p>p p>p
% % % 6
6 6 % 6
6
FACULTAD DE INGENIERIA
ESCUELA DE COMPUTACION
ESTRUCTURAS DISCRETAS (IC33)
PROFESOR: ING. GERARDO ALBERTO LEAL
Ktilizando tablas de verdad determinar si las proposiciones >?pq@ y >p>p son
lgicamente equivalentes.

>?pq@ >p>p
Los siguientes son tDrminos utilizados para la denominacin de algunas
formulas lgicas* en funcin de los valores que se tienen en su tabla de verdad.
Ta,*oog7a:
Es una formula proposicional que es siempre verdadera no importa los
valores de verdad de las proposiciones que la componen.
Con*ra%iccin:
Es una formula proposicional que es siempre falsa no importa los valores de
verdad de las proposiciones que la componen.
Con*ingencia:
Es una formula proposicional que no es tautolog.a ni contradiccin.
7odulo 8nstruccional Estructuras Discretas. #eor.a y !rctica
p q p q > ?p q@ >p >q >p>q
5 5 5 " " " "
5 " 5 " " 5 "
" 5 5 " 5 " "
" " " 5 5 5 5
7
FACULTAD DE INGENIERIA
ESCUELA DE COMPUTACION
ESTRUCTURAS DISCRETAS (IC33)
PROFESOR: ING. GERARDO ALBERTO LEAL
1.8 E+ercicios Prop,es*os %e a Uni%a% 1:
%.- L$uales de las siguientes frases son proposiciones0 L$ual es el valor de
verdad de aquellas que son proposiciones0
a@ Gogota es la capital de $olombia.
b@ ( & ) ' F
c@ F & M ' %6
d@ Cesponde a esta pregunta.
e@ 9 & y ' y & 9 para todo par real 9 e y.
f@ L-uD /ora es0
g@ , & 9 ' F
/@ 9 & % ' F si 9 ' %
i@ 9 & y ' y & z si 9 ' z
(.- L$ual es la negacin de cada uno de los siguientes enunciados0
a@ Aoy es ueves.
b@ Eo /ay contaminacin en $.Beda.
c@ ( & % ' )
d@ El clima en 7Drida es calido y soleado.
).- Sean p y q los enunciados.
p: $ompre un ticNet de loter.a esta semana.
q: Oane el premio de %6 7illones de Gol.vares del viernes.
E9presa cada una de las formulas siguientes en lenguae natural:
a@ p b@ p q c@ p q d@ p q e@ p q f@ p q g@ p q
,.- Sean p* q y r los enunciados P#ienes fiebreQ* PSuspendes el e9amen finalQ y
PRpruebas el cursoQ respectivamente. E9presa cada una de las siguientes
formulas en lenguae natural.
a@ p q b@ q r c@ q r d@ p q r e@ ?p r@ ?q r@
F.- Sean p y q los enunciados P$onduces a mas de %66 Sm. por /oraQ y P#e
multan por e9ceso de velocidadQ* respectivamente. Escribe los siguientes
enunciados usando p* q y conectivos lgicos:
a@ Eo conduces a ms de %66 Sm. por /ora.
b@ $onduces a ms de %66 Sm. por /ora* pero no te multan por e9ceso de
velocidad.
c@ #e multaran por e9ceso de velocidad si conduces a ms de %66 Sm. !or
/ora.
d@ Si no conduces a mas de %66 Sm. por /ora no te multarn por e9ceso de
velocidad.
J.- Sean p* q y r los enunciados PSe /an visto osos pardos por la zonaQ* PEs
seguro caminar por el senderoQ y PLas bayas del sendero estn madurasQ*
7odulo 8nstruccional Estructuras Discretas. #eor.a y !rctica 8
FACULTAD DE INGENIERIA
ESCUELA DE COMPUTACION
ESTRUCTURAS DISCRETAS (IC33)
PROFESOR: ING. GERARDO ALBERTO LEAL
respectivamente. Escribe los siguientes enunciados usando p* q* r y conectivos
lgicos:
a@ Las bayas del sendero estn maduras* pero no se /an visto osos pardos
por la zona.
b@ Eo se /an visto osos pardos por la zona y es seguro caminar por el
sendero* pero las bayas del sendero estn maduras.
c@ Si las bayas del sendero estn maduras* es seguro caminar por el
sendero si y solo si* no se /an visto osos pardos por la zona.
d@ Eo es seguro caminar por el sendero* pero no se /an visto osos pardos
por la zona y las bayas del sendero estn maduras.
M.- Determina si estas implicaciones bicondicionales son verdaderas o falsas:
a@ ( & ( ' , si y solo si* % & % ' ( b@ % & % ' ( si y solo si* ( & ) ' ,
c@ Es invierno* si y solo si* no es primavera* verano u otoIo.
d@ % & % ' ) si y solo si* los cerdos vuelan. e@ 6 ; % si y solo si* ( ; %
T.- Determina si estas implicaciones son verdaderas o falsas:
a@ Si % & % ' (* entonces ( & ( ' F b@ Si % & % ' )* entonces ( & ( ' ,
c@ Si % & % ' )* entonces ( & ( ' F d@ Si los cerdos vuelan* entonces % & % ' )
U.- Determina en cada caso si el conectivo lgico B es <inclusivo= o e9clusivo=.
a@ Se requiere e9periencia con Vava o $&&
b@ La comida incluye ensalada o sopa
c@ !ara ingresar a este pa.s se requiere pasaporte o licencia de conducir.
d@ !ara inscribir Estructuras Discretas debes /aber cursado una materia de
clculo o alguna materia de informtica.
%6.- Escribe cada uno de estos enunciados de la forma Psi p* entonces qQ.
a@ Es necesario lavar el carro del efe para ascender.
b@ !uedes acceder a la pgina Web si pagas una cuota de suscripcin.
c@ !edro se marea siempre que se monta en un barco.
d@ Llueve siempre que /ace calor.
%%.- Escribe cada uno de estos enunciados de la forma Pp si* y slo si* qQ.
a@ !ara ganar la rifa es necesario y suficiente tener el n4mero ganador.
b@ Rscenders solo si tienes contactos* y tienes contactos solo si asciendes.
c@ Si ves televisin tu mente se empobrecer y viceversa.
d@ El autob4s llega tarde usto esos d.as que tengo que tomarlo.
%(.- Enuncia la reciproca* contrarreciproca e inversa de cada una de estas
implicaciones:
a@ Si nieva /oy* esquiare maIana.
b@ 5oy a clase siempre que vaya a /aber un e9amen.
c@ Si llueve esta noc/e me quedare en casa.
d@ 5oy a la playa siempre que el d.a amanezca soleado.
7odulo 8nstruccional Estructuras Discretas. #eor.a y !rctica 9
FACULTAD DE INGENIERIA
ESCUELA DE COMPUTACION
ESTRUCTURAS DISCRETAS (IC33)
PROFESOR: ING. GERARDO ALBERTO LEAL
%).- $onstruye la tabla de la verdad para cada una de las siguientes formulas:
a@ p q b@ p p c@ (p q@q
d@ ?p q@ ?p q@ e@ ?pq@( q p@ f@ ?pq@ ( p q@
%,.- $onstruye la tabla de la verdad para cada una de las siguientes formulas:
a@ ?p q@ r b@ ?p q@ r c@ ?p q@ r
d@ ?p q@ r f@ p (q r@ e@ ?p q@ (q r@
%F.- Ktiliza tablas de verdad para verificar las siguientes equivalencias:
a@ p 1 p b@ p 9 p c@ p 9 9 d@ p 1 1
e@ p q q p f@ p q q p g@ ?p q@ r p ?q r@
%J.- Demuestra que cada una de estas implicaciones es una tautolog.a.
a@ ?p ?p q@@ q b@ ??p q@ ?q r@@ (p r@
c@ ??p q@ ?p r@ (q r@@ r
%M.- Demuestra que ?p q@ y p q son lgicamente equivalentes.
%T.- Sean las proposiciones p : Tienes Fie(re;* " :No s,spen%es e E-a0en;*
r :Apr,e(as a asigna*,ra;. E9presa en Lenguae Eatural la e9presin:
<<p "= <p r==
%U.- Demuestra utilizando tabla de verdad que:
<p "= X <p "= <p "=
(6.- Dada la e9presin :Ten%r>s ,n )9 en a asigna*,ra si! # soo si! *ienes ,n
)9 en e e-a0en o ?aces *o%os os pro(e0as %e a g,7a; E9presar el
enunciado a travDs de una formula propocicional con conectores lgicos.
(%.- Determinar la tabla de verdad para la siguiente e9presin lgica:
@<p "= <p "=A <p "=

7odulo 8nstruccional Estructuras Discretas. #eor.a y !rctica 10