Vous êtes sur la page 1sur 21

Escuela de Ciencias de la Computacin UTPL

Fundamentos Informticos
Autoras: Ing. Elizabeth Cadme, Ing. Priscila Valdiviezo
1
Esta obra ha sido licenciada con Creative Commons Ecuador 3.0 de Reconocimiento - no comercial-
compartir igual (http://creativecommons.org/licenses/by-nc-sa/3.0/ec/).



"#$%&% '( $#)*+%",,$-# & .& .-/$,&
Bien! hemos pasado a la segunda parte de los contenidos, espero que esos nimos
sigan predispuestos a continuar con el estudio de estos nuevos contenidos. Lo
invitamos entonces a iniciar con mayor entusiasmo el desarrollo de este bimestre,
empezando con el tratamiento de algunos aspectos esenciales de la lgica. El primero
y bsico es el conocer un poco acerca de la importancia de esta rama de la ciencia
que es la que determina si un razonamiento es vlido o no. Algunos precursores de la
lgica pudieron verificar que esta ciencia casi expresada en su totalidad en palabras
no haca posible una fcil aplicacin sobre temas matemticos cuyo procedimiento y
desarrollo se quera comprobar, por lo que se introdujo smbolos que representan las
definiciones y reglas dadas por la lgica, crendose por consiguiente la lgica
simblica, llamada lgica matemtica.
La lgica matemtica usa lenguajes formales definidos artificialmente para formular
enunciados acerca del mundo al que se refieran en un momento dado nuestros
razonamientos, es por ello que en la actualidad tambin se la conoce como la lgica
formal o matemtica.
Estimado estudiante, tenga presente que los temas tratados en esta unidad no se
encuentran desarrollados en el texto bsico por lo que es indispensable que se apoye
de los anexos indicados para completar algunas de las temticas citadas.
Considerando estas aclaraciones, iniciemos con nuestro estudio.

012 %345657586 3 59:;<=>675> ?3 @> .8A57>
Este tema le resultar interesante, porque conocer de que trata la lgica y porque es
importante su estudio. Para empezar esta tarea necesitas revisar algunos
fundamentos tericos como por ejemplo: Qu es la Lgica?, De qu trata?...
Escuela de Ciencias de la Computacin UTPL
Fundamentos Informticos
Autoras: Ing. Elizabeth Cadme, Ing. Priscila Valdiviezo
2
Esta obra ha sido licenciada con Creative Commons Ecuador 3.0 de Reconocimiento - no comercial-
compartir igual (http://creativecommons.org/licenses/by-nc-sa/3.0/ec/).



!"#" %& '("% %& )*+),"-&. " /(0 )*)')0 %010*2& 0% "*03& 4 5%34565756 ?3
.A57>B6 7* 0% /(0 8&2# 0*'&*,#"# %" 209)*)')* 1 '%".)9)'"')* 20 %" %:)'"6
". '&-& "%:(*&. ".80',&. )-8&#,"*,0. /(0 9&#-"* 8"#,0 20 0.," ')0*')";
Finalizada la lectura se podr dar cuenta que la lgica se ocupa de las formas o
estructura de los razonamientos, ms no del contenido de verdad de las proposiciones
particulares de que se trate.
No hay que olvidar que En la lgica matemtica se usan lenguajes formales,
definidos artificialmente con gran precisin, para formular enunciados acerca del
mundo al que se refieran en un momento dado nuestros razonamientos
1
. Por lo cual
podemos decir que se distinguen dos aspectos de la lgica:
La Sintaxis La Semntica

Reglas de formacin. Gramtica

Relacin entre el lenguaje y su
significado

Ahora es el momento de trabajar sobre la lectura.

Actividades recomendadas


1. Elabore su propia definicin de Lgica?
2. Por qu cree que es importante el estudio de la lgica en la carrera que est
siguiendo?.
3. Escriba en tres o cuatro lneas en que aspectos de su vida has aplicado la
lgica matemtica.

010 .8A57> C<;:;D575;6>@ E F56=>G5D
En esta seccin conoceremos la parte de la lgica simblica que estudia los
enunciados como un todo y sus relaciones con otros enunciados. Antes de

1
Hortal, M., Leach, J., Rodrguez, M. (2001). Matemtica discreta y Lgica matemtica, Madrid Espaa, Editorial,
Complutense.
Escuela de Ciencias de la Computacin UTPL
Fundamentos Informticos
Autoras: Ing. Elizabeth Cadme, Ing. Priscila Valdiviezo
3
Esta obra ha sido licenciada con Creative Commons Ecuador 3.0 de Reconocimiento - no comercial-
compartir igual (http://creativecommons.org/licenses/by-nc-sa/3.0/ec/).


introducirnos en este tema es necesario que conozca que una Proposicin es aquel
enunciado que afirma o niega algo y que puede ser verdadero (V) o falso (F). Por esta
razn, es que a la lgica de proposiciones tambin se la conoce como lgica binaria,
porque slo tiene dos categoras de clasificacin: las proposiciones verdaderas y las
proposiciones falsas. Observe los ejemplos:
Ejemplos:
El baln es cuadrado (F)
El Ecuador est en Sudamrica (V)
Dos elevado al cuadrado es igual a seis (F)
Treinta es mayor que veinte (V)

Como puede observar es muy importante identificar cuando un enunciado es o no
proposicin, por ello, es necesario que conozca otros tipos de enunciados que no son
proposiciones, por cuanto en las mismas no es posible determinar el valor de verdad,
es decir si son verdaderas o falsas.
Observe estos enunciados:
- Cmo ests?
- Dios mo!

Entonces, apreciado estudiante es posible decir que el enunciado es verdadero o
falso?, No verdad, por lo que concluiremos diciendo que estas frases no son
proposiciones.

Ahora es necesario que conozca que el lenguaje formal de la lgica de proposiciones
resulta de un anlisis lgico simple del lenguaje natural, basado en la distincin entre
dos clases de enunciados o proposiciones: Simples o Compuestos.
Escuela de Ciencias de la Computacin UTPL
Fundamentos Informticos
Autoras: Ing. Elizabeth Cadme, Ing. Priscila Valdiviezo
4
Esta obra ha sido licenciada con Creative Commons Ecuador 3.0 de Reconocimiento - no comercial-
compartir igual (http://creativecommons.org/licenses/by-nc-sa/3.0/ec/).



Enunciados Simples o Atmicos Enunciados Compuestos o Moleculares

Expresan una sola idea en su forma ms
simple. Aquellas proposiciones que no
contienen dentro de s ms proposiciones que
s misma.
Ejemplos:





Se construyen a partir de los enunciados
simples, por medio de diversas partculas de
enlace (y, o, si.. entonces.., ...si y slo si.. )
llamadas conectivas.
Ejemplos:





Es el momento de conocer el conjunto de smbolos con los que trabaja el lenguaje de
la lgica proposicional, es decir, la formalizacin de los enunciados, que no es otra
cosa que el estudio de los smbolos utilizados para representarlos, las principales
conectivas lgicas que se utilizan para construir enunciados compuestos y la jerarqua
de las mismas.



Considerando la jerarqua entre conectivas, la frmula p v q ! p ^ r, se reconocera
como:
[(p) v q] ! (p ^ r)
Ahora, le proponemos la siguiente frmula p ^ q ! r ! q ^ r para que la
represente utilizando los signos de puntuacin correspondientes.

Constantes: V (1) , F (0)
Variables o letras proposicionales: p, q, r, ...
Smbolos de Conectivas: , ^ , v , ! , "
Signos de puntuacin: ( ), [ ], {}
- La Lgica Proposicional es interesante.
- Juan es un buen jugador.
- X>50
- y= x + 1
- Este libro es de Qumica; sin embargo
estoy estudiando informtica.
- Juan es deportista y Mara es
estudiante.
- X>50 X= 50
Escuela de Ciencias de la Computacin UTPL
Fundamentos Informticos
Autoras: Ing. Elizabeth Cadme, Ing. Priscila Valdiviezo
5
Esta obra ha sido licenciada con Creative Commons Ecuador 3.0 de Reconocimiento - no comercial-
compartir igual (http://creativecommons.org/licenses/by-nc-sa/3.0/ec/).


,;637=5H>D .8A57>D
Qu es una conectiva? Hagamos una breve revisin de su definicin. Las conectivas
las podemos entender como aquellas partculas de enlace del lenguaje natural que
permiten unir enunciados simples.
Listo, ya conocemos qu es una conectiva, ahora hay que tener en cuenta que stas
tienen un significado en el lenguaje de la lgica proposicional, y los enunciados un
valor de verdad. Para conocer sobre esto lo invitamos a continuar con el desarrollo de
los subtemas siguientes, no sin antes revisar las cinco conectivas principales utilizadas
para la construccin de nuevas proposiciones, las cuales se muestran en el cuadro
siguiente.

Cuadro 1: Conectivas de la Lgica Proposicional. Recuperado de
http://www.fismat.iteso.mx/pag_def/estructura/matematicas/asignaturas/logica/apoyos/proposicional3.pdf
Escuela de Ciencias de la Computacin UTPL
Fundamentos Informticos
Autoras: Ing. Elizabeth Cadme, Ing. Priscila Valdiviezo
6
Esta obra ha sido licenciada con Creative Commons Ecuador 3.0 de Reconocimiento - no comercial-
compartir igual (http://creativecommons.org/licenses/by-nc-sa/3.0/ec/).


En el cuadro anterior, usted podr observar cmo se representan las conectivas y
algunos ejemplos con las palabras que pueden ser reemplazadas.
Ejemplos:







Ahora es su turno de trabajar sobre el tema.
Actividades recomendadas


Simbolice cada una de las proposiciones sealadas en el ejemplo anterior.


01I )>J@>D ?3 H3<?>?
Antes de continuar con el desarrollo y estudio de las siguientes secciones, es
necesario conocer la tabla de verdad de las conectivas lgicas descritas
anteriormente, para ello:

<0"%)="# %" %0',(#" 20% "*03& 46 .0'')n K)>J@>D ?3 H3<?>?>6 8"#" '&*&'0#
0% +"%&# 20 +0#2"2 20 %" *0:"')*6 '&*?(*')*6 2).1(*')*6 '&*2)')&*"% 1
@)'&*2)')&*"%;
Como usted se dar cuenta, utilizando las conectivas lgicas es posible construir
tablas de verdad de enunciados o proposiciones mucho ms grandes, es decir, una
- No es cierto que ir a la fiesta.
- Este libro es de Qumica; sin embargo estoy estudiando lgica
matemtica.
- Los felinos son fciles de cazar o las carabinas son armas de
largo alcance.
- Newton dice la verdad si la fsica clsica es absoluta.
- Bolvar lucho a favor de los patriotas si y slo si naci en
Venezuela.
Escuela de Ciencias de la Computacin UTPL
Fundamentos Informticos
Autoras: Ing. Elizabeth Cadme, Ing. Priscila Valdiviezo
7
Esta obra ha sido licenciada con Creative Commons Ecuador 3.0 de Reconocimiento - no comercial-
compartir igual (http://creativecommons.org/licenses/by-nc-sa/3.0/ec/).


vez que conocemos el valor de verdad de las proposiciones simples y teniendo
presente las definiciones de las conectivas resulta fcil determinar el valor de verdad
que le corresponde a toda la proposicin completa.
Revisemos en este momento el ejemplo propuesto.
Ejemplo:
Si P y Q son proposiciones atmicas unidas con conectivas lgicas de la siguiente
manera:
p v q
Entonces los pasos para la construccin podran resumirse en los siguientes:
1. Como se est trabajando con dos variables, entonces se tendrn 2
2
= 4 filas en
la tabla de verdad, que son a la vez las combinaciones de los valores de
verdad de las variables.
2. Procedemos a dibujar la tabla separando hacia la izquierda las variables que
intervienen, como tienen que dar 4 filas, la primera proposicin tendr dos
valores de verdad con V y dos con F, y la proposicin q tendr intercalado
los valores de verdad de la siguiente manera:
P Q p p v q
V V F V
V F F F
F V V V
F F V V


O lo que es lo mismo:


P Q p p v q
1 1 0 1
1 0 0 0
0 1 1 1
0 0 1 1

Escuela de Ciencias de la Computacin UTPL
Fundamentos Informticos
Autoras: Ing. Elizabeth Cadme, Ing. Priscila Valdiviezo
8
Esta obra ha sido licenciada con Creative Commons Ecuador 3.0 de Reconocimiento - no comercial-
compartir igual (http://creativecommons.org/licenses/by-nc-sa/3.0/ec/).


3. En caso de que se estuviera utilizando signos de agrupacin, se comienza a
resolver de adentro hacia fuera, es decir de menor a mayor jerarqua. En
nuestro ejemplo lo hemos realizado en este orden: negacin, disyuncin.

Le recordamos que:

V significa Verdadero.
F significa Falso.
Dada esta aclaracin, detengmonos un momento a poner en prctica estos
conocimientos, desarrollando la actividad siguiente:
Actividades recomendadas


Hallar las tablas de Verdad de:
a) [P ^ Q] ! [ P v Q]
b) [ P v ( Q ^ R)] " [( P v Q) ^ (P v R)]

01' )>L=;@;AM>DN 7;6=<>?5775;63D O 7;6=56A3675>D
Seguidamente, describiremos como la tabla de verdad de las proposiciones
compuestas, pueden dar como resultado una:
Tautologa
Contradiccin
Contingencia
Hagamos ahora una revisin comprensiva de cada una.
)>L=;@;AM>
Se dice que una proposicin compuesta es una tautologa, cuando su tabla de verdad
es siempre verdadera, independientemente de la verdad o falsedad de las
Escuela de Ciencias de la Computacin UTPL
Fundamentos Informticos
Autoras: Ing. Elizabeth Cadme, Ing. Priscila Valdiviezo
9
Esta obra ha sido licenciada con Creative Commons Ecuador 3.0 de Reconocimiento - no comercial-
compartir igual (http://creativecommons.org/licenses/by-nc-sa/3.0/ec/).


proposiciones simples, es decir que su ltima columna de la tabla de verdad est
formada slo por V.
Para dar mayor nfasis y comprender mejor esta explicacin, veamos el ejemplo.
Ejemplo:
p v p
P p p v p
V F V
F V V


,;6=<>?577586
Conviene mencionar ahora que una proposicin compuesta es una contradiccin, si la
tabla de verdad es siempre falsa para todos los casos, es decir tiene slo F en su
ltima columna.
Revisemos esta definicin con el siguiente ejemplo:
Ejemplo:
(p ! q) ! (p v q)

P Q p p ! q p v q
(p v q) (p ! q) ! (p
v q)
V V F V V F F
V F F F F V F
F V V V V F F
F F V V V F F

Tautologa
Contradiccin
Escuela de Ciencias de la Computacin UTPL
Fundamentos Informticos
Autoras: Ing. Elizabeth Cadme, Ing. Priscila Valdiviezo
10
Esta obra ha sido licenciada con Creative Commons Ecuador 3.0 de Reconocimiento - no comercial-
compartir igual (http://creativecommons.org/licenses/by-nc-sa/3.0/ec/).



Saba usted qu una de las contradicciones ms usadas y ms sencilla es la
proposicin compuesta pp?. Si la respuesta es NO, comprubelo usted mismo
obteniendo su tabla de verdad.
,;6=56A3675>
Finalmente, que pasa si una proposicin no es una tautologa ni una contradiccin, es
decir, que contiene al menos un valor V y otro F, pues en este caso estaramos frente
a una contingencia.
Veamos:
Ejemplo: (p ! q) ! (p ^ q)
P Q p p ! q p ^ q (p ! q) ! (p ^ q)
V V F V F F
V F F F F V
F V V V V V
F F V V F F

Como puede observar, la ltima columna est formada de V y F, por lo que
concluimos que es una contingencia.
Bien, ahora le proponemos los siguientes ejercicios, para que refuerce los
conocimientos que ha adquirido:
Actividades recomendadas

Determine si son: tautologas, contradicciones o contingencias las siguientes
expresiones:
- (P ^ Q)
- (P ! Q) ! (Q ! P)
Contingencia
Escuela de Ciencias de la Computacin UTPL
Fundamentos Informticos
Autoras: Ing. Elizabeth Cadme, Ing. Priscila Valdiviezo
11
Esta obra ha sido licenciada con Creative Commons Ecuador 3.0 de Reconocimiento - no comercial-
compartir igual (http://creativecommons.org/licenses/by-nc-sa/3.0/ec/).



Hasta aqu hemos aprendido y conocido los aspectos fundamentales del lenguaje de
proposiciones, ahora nos centraremos en conocer cmo deducir una proposicin a
partir de un conjunto de proposiciones dadas.
Sigamos entonces con nuestro estudio.

01P $643<3675>
Partiremos aclarando la interrogante Qu es Inferencia?, pues bien podemos decir
que inferencia no es ms que una operacin lgica que consiste en concluir una cierta
proposicin en forma inmediata sobre la base de una o dos proposiciones previamente
asumidas llamadas premisas.
En las demostraciones matemticas se utilizan una serie de argumentos, por ello es
necesario determinar cules son vlidos o no, y para esto conoceremos a continuacin
algunas estrategias de deduccin.
F5D=39> ?3 ?3?L77586 6>=L<>@
Hemos llegado a otro interesante subtema de nuestra cuarta unidad, que le ser de
gran utilidad al momento de querer obtener una concusin de un argumento. En virtud
de esto, diremos que el sistema en mencin incorpora las estrategias de deduccin
como reglas de inferencia, de modo que facilite el proceso de deduccin. El mismo
que se resume como sigue:
Se inicia con un conjunto de frmulas llamadas premisas, luego se utilizan las reglas
de inferencia de manera que conduzca a otras frmulas denominadas conclusiones,
que luego pueden ser reutilizadas nuevamente como premisas. El paso de las
premisas a la conclusin es una deduccin.
Veamos un resumen de este proceso en el siguiente diagrama.
Escuela de Ciencias de la Computacin UTPL
Fundamentos Informticos
Autoras: Ing. Elizabeth Cadme, Ing. Priscila Valdiviezo
12
Esta obra ha sido licenciada con Creative Commons Ecuador 3.0 de Reconocimiento - no comercial-
compartir igual (http://creativecommons.org/licenses/by-nc-sa/3.0/ec/).












Entonces, la conclusin que se obtiene se dice que es una consecuencia lgica de las
premisas, si cada paso que se da para llegar a la conclusin est permitido por una
regla.
Estas son algunas pautas de este importante tema, de ah la necesidad de adentrase
en este mbito.

A'(2" "% "*03& 46 1 #0"%)'0 (*" %0',(#" 20 %" .0'')n $643<3675> .A57>;
!&2# conocer los 0./(0-". 20 )*90#0*')" 20 '"2" (*" 20 %". #0:%".
@.)'". 20% .).,0-" 20 202('')* *",(#"% 1 %". 20#)+"')&*0. /(0 .0
8(020* 2"# 20 %". -).-".;
Ahora, revisemos una breve explicacin acerca de las reglas de inferencia, que le
ayudaran a comprender mejor lo ledo.
*3A@>D ?3 5643<3675>
Para abordar esta temtica trataremos de resumir las reglas de inferencia lgica ms
utilizadas, tomando como referencia los esquemas sealados por Barco y Aristizbal
(1998:51).
Aplicacin de reglas
de inferencia
Conclusin
Inicio
Conjunto de premisas
Fin
Escuela de Ciencias de la Computacin UTPL
Fundamentos Informticos
Autoras: Ing. Elizabeth Cadme, Ing. Priscila Valdiviezo
13
Esta obra ha sido licenciada con Creative Commons Ecuador 3.0 de Reconocimiento - no comercial-
compartir igual (http://creativecommons.org/licenses/by-nc-sa/3.0/ec/).



a. Modus Ponendo Ponens (afirmando - afirma).- Esta regla tiene como esquema:
[(p ! q) ^ p] " q, que escrito en forma vertical adopta la forma:




Sea abrevia: M. P
En este caso las premisas estn formadas de proposiciones atmicas, pero puede
darse el caso que estn formadas de proposiciones moleculares. Tambin se puede
dar que las premisas estn expresadas en lenguaje natural como se indica a
continuacin:
Si la noche est estrellada, el cielo est despejado. La noche est estrellada.
Aqu es importante que primero identifique las premisas, teniendo en cuenta que cada
oracin es una premisa y que siempre van estar separadas por un punto seguido o por
un punto aparte. Luego s puede obtener la conclusin.

Premisa 1: Si la noche est estrellada,
Premisa 2: La noche est estrellada.
Conclusin: Por lo tanto, el cielo est despejado.

Puede hacer ms fcil este proceso identificando las proposiciones que forman parte
de las premisas y luego simbolizarlas. Recuerde aqu que una proposicin molecular
est formada de dos o ms proposiciones atmicas unidas por conectores lgicos.
p ! q Premisa 1;
p____ Premisa 2;
q Conclusin.
Escuela de Ciencias de la Computacin UTPL
Fundamentos Informticos
Autoras: Ing. Elizabeth Cadme, Ing. Priscila Valdiviezo
14
Esta obra ha sido licenciada con Creative Commons Ecuador 3.0 de Reconocimiento - no comercial-
compartir igual (http://creativecommons.org/licenses/by-nc-sa/3.0/ec/).


Entonces simbolizando quedara.
P: La noche est estrellada.
Q: El cielo est despejado.

Las premisas seran:
(1) P ! Q
(2) P_____
Del esquema obtenido, aplicamos (MP) y concluimos que:
(1) P ! Q
(2) P_____
Q M.P (1,2)
Muy bien, ahora revisemos el siguiente ejemplo y comprobemos la aplicacin de esta
regla.
Ejemplo:
Hacemos que: P1 y P2 sean simbolizaciones de premisas y C simbolice la conclusin.
Entonces tenemos:

P1: Si la asamblea aprueba la ley, entonces hay amnista.
P2: La asamblea aprueba la ley.
C: Hay amnista.
Simbolizando:



P ! Q
P_____
Q
Escuela de Ciencias de la Computacin UTPL
Fundamentos Informticos
Autoras: Ing. Elizabeth Cadme, Ing. Priscila Valdiviezo
15
Esta obra ha sido licenciada con Creative Commons Ecuador 3.0 de Reconocimiento - no comercial-
compartir igual (http://creativecommons.org/licenses/by-nc-sa/3.0/ec/).


Bien, ahora revisemos que nos dice la siguiente regla.

b. Modus Tollendo Tollens (negando - niega).- Esta regla tiene como esquema:
[(p ! q) ^ q] " p, que escrito en forma vertical adopta la forma:



Se abrevia M. T
En lenguaje natural:
Si Juan est en el partido de ftbol, entonces est en el estadio. Juan no est en el
estadio.
Premisa 1: Si Juan est en el partido de ftbol, entonces est en el estadio.
Premisa 2: Juan no est en el estadio.
Conclusin: Por lo tanto, Juan no est en el partido de ftbol.
Representado en forma simblica:
P: Juan est en el partido de ftbol.
Q: Juan est en el estadio.
(1) P ! Q
(2) Q __
P M.T (1,2)
Analicemos ahora el ejemplo propuesto.
Ejemplo:
P1: Si eres un estudiante irresponsable, entonces no apruebas la materia.
P2: No es cierto que, no apruebas la materia.
C: No eres un estudiante irresponsable.
p ! q Premisa 1;
q____ Premisa 2;
p Conclusin.
Escuela de Ciencias de la Computacin UTPL
Fundamentos Informticos
Autoras: Ing. Elizabeth Cadme, Ing. Priscila Valdiviezo
16
Esta obra ha sido licenciada con Creative Commons Ecuador 3.0 de Reconocimiento - no comercial-
compartir igual (http://creativecommons.org/licenses/by-nc-sa/3.0/ec/).


Simbolizando:



Realicemos un anlisis del ejemplo:
Segn dice la regla, la segunda premisa debe ser la negacin del consecuente, y si
observa en el ejemplo la primera premisa ya est negado el consecuente, por lo que
dara lo mismo poner como segunda premisa Q Q, puesto que este ltimo lo
puedo obtener por la doble negacin presentada en el anexo 3.
Se comprende la regla?, si su respuesta es positiva, por favor pasemos a revisar la
siguiente regla, caso contrario dar una nueva revisada a la explicacin y no olvidar
reforzar con la lectura del anexo 3.
c. Modus Tollendo Ponens (negando - afirma).- Mtodo que negando un elemento
de una disyuncin se afirma el otro elemento. Esta regla tiene como esquema:
[(p v q) ^ q] " p, o [(p v q) ^ p] " q, que escrito en forma vertical adopta la
forma:




Se abrevia M.T. P
Como ejemplo en el lenguaje natural podramos tener lo siguiente:
Estoy en el Colegio o estoy en casa. No estoy en casa.

P ! Q
Q___
P

p v q Premisa 1; p v q Premisa 1;
q____ Premisa 2; p__ Premisa 2;
p Conclusin. q Conclusin.
Escuela de Ciencias de la Computacin UTPL
Fundamentos Informticos
Autoras: Ing. Elizabeth Cadme, Ing. Priscila Valdiviezo
17
Esta obra ha sido licenciada con Creative Commons Ecuador 3.0 de Reconocimiento - no comercial-
compartir igual (http://creativecommons.org/licenses/by-nc-sa/3.0/ec/).


Premisa 1: Estoy en el Colegio o estoy en casa.
Premisa 2: No estoy en casa.
Conclusin: Por lo tanto, estoy en el Colegio.

O tambin:
Premisa 1: Estoy en el colegio o estoy en casa.
Premisa 2: No estoy en el colegio.
Conclusin: Por lo tanto, estoy en casa.

En forma simblica sera:
P: Estoy en el colegio
Q: Estoy en casa
(1) P v Q
(2) Q __
P M.T.P (1,2)

(1) P v Q
(2) P __
Q M.T.P (1,2)

Vamos ahora a citar el siguiente ejemplo para confirmar lo explicado.
Ejemplo:




De la premisa P v Q
Y la premisa Q___
Se puede concluir: P

Escuela de Ciencias de la Computacin UTPL
Fundamentos Informticos
Autoras: Ing. Elizabeth Cadme, Ing. Priscila Valdiviezo
18
Esta obra ha sido licenciada con Creative Commons Ecuador 3.0 de Reconocimiento - no comercial-
compartir igual (http://creativecommons.org/licenses/by-nc-sa/3.0/ec/).



Parece que nos quedan por revisar slo los silogismos, veamos de qu tratan.
d. Silogismo hipottico.- Esta regla consiste en que si se conocen dos
proposiciones condicionales como premisas, tal que el consecuente de la una sea
igual al antecedente de la otra, entonces con ellas, se puede establecer una nueva
condicional con antecedente de la primera y el consecuente de la segunda. El
esquema lgico es:







Tiene razn, la regla es muy similar al axioma de transitividad (si a = b y b = c,
entonces a = c), slo que en nuestro caso queda representado mediante el lenguaje
de la lgica proposicional.
Su abreviatura: S. H.
Como ejemplo en el lenguaje natural, sera:
Premisa 1: Si a > b, entonces a b > 0.
Premisa 2: Si a b > 0, entonces a # b.
Conclusin: Por lo tanto, Si a > b, entonces a # b.
p ! q Premisa 1.
q ! r Premisa 2;
p ! r Conclusin.


hummparecido al
axioma transitivo!
Escuela de Ciencias de la Computacin UTPL
Fundamentos Informticos
Autoras: Ing. Elizabeth Cadme, Ing. Priscila Valdiviezo
19
Esta obra ha sido licenciada con Creative Commons Ecuador 3.0 de Reconocimiento - no comercial-
compartir igual (http://creativecommons.org/licenses/by-nc-sa/3.0/ec/).



Al traducir al lenguaje formal las premisas, se tiene:
P: a > b
Q: a b > 0
R: a = b
(1) P ! Q
(2) Q ! R
P ! R S.H (1,2)
Bien, ahora para comprender mejor esta regla, daremos un ejemplo.
Ejemplo:





Fcil verdad?, como puede observar hasta este momento las reglas presentadas
no son complicadas, slo hay que saber aplicarlas correctamente, revisemos ahora
la siguiente regla.
e. Silogismo Disyuntivo.- Esta regla consiste en que si se conoce una disyuncin
inclusiva entre dos proposiciones y dos condicionales que tienen como
antecedente cada una de las proposiciones de la disyuncin, entonces se concluye
la disyuncin entre los consecuentes de las condicionales. Su esquema lgico es:



Dada las premisas:

(P ^ Q) ! R
R ! (S v T)

Se concluye: (P ^ Q) ! (S v T)
p v q Premisa 1.
p ! r Premisa 2
q ! s Premisa 3;
r v s Conclusin.

Escuela de Ciencias de la Computacin UTPL
Fundamentos Informticos
Autoras: Ing. Elizabeth Cadme, Ing. Priscila Valdiviezo
20
Esta obra ha sido licenciada con Creative Commons Ecuador 3.0 de Reconocimiento - no comercial-
compartir igual (http://creativecommons.org/licenses/by-nc-sa/3.0/ec/).



Su abreviatura: S. D.
En lenguaje natural:
Premisa 1: 2
2
= 4 v 15 no es cuadrado perfecto.
Premisa 2: Si 2
2
= 4, entonces la raz cuadrada de 4 es 2.
Premisa 3: Si 15 no es cuadrado perfecto, entonces 20 es el duplo de 10.
Conclusin: Por lo tanto, la raz cuadrada de 4 es 2 o 20 es el duplo de 10.

En el lenguaje formal:

P: 2
2
= 4
Q: 15 es cuadrado perfecto.
R: La raz cuadrada de 4 es 2.
S: 20 es el duplo de 10.
(1) P v Q
(2) P ! R
Q ! S__
R v S S.D. (1,2,3)
Bien, Qu opina de esta regla?, ya no tenemos slo dos premisas cierto!, aqu ya
trabajamos con tres premisas, lo que implica que debemos tener un poco ms de
cuidado al momento de combinar las premisas. Slo es cuestin de tener clara la
estructura de cada una y listo no tendramos problema al aplicarlas.
Veamos el ejemplo.


Escuela de Ciencias de la Computacin UTPL
Fundamentos Informticos
Autoras: Ing. Elizabeth Cadme, Ing. Priscila Valdiviezo
21
Esta obra ha sido licenciada con Creative Commons Ecuador 3.0 de Reconocimiento - no comercial-
compartir igual (http://creativecommons.org/licenses/by-nc-sa/3.0/ec/).


Ejemplo:





Ahora, intente usted mismo aplicar las reglas antes indicadas, desarrollando la
siguiente actividad.
Actividades recomendadas


Dadas las premisas, Demostrar F:
(1) G ! H
(2) G ! F
(3) H


Recuerde que cuenta con los para completar estas secciones.

Con lo estudiado hasta aqu hemos concluido con la primera unidad del segundo
bimestre, por lo que, a continuacin le solicitamos desarrolle la autoevaluacin, que le
permitir medir el nivel de conocimientos que usted adquiri.


Dadas las premisas:

P1: P v (Q ^ R)
P2: P ! S
P3: (Q ^ R) ! T

La conclusin es: S v T
Recuerde que cuenta con
los anexos para completar
esta unidad.