Materia: Fsica para Ingeniera

Tema:

Demostrar que 2 es mayor

que 1

Alumno: Jos Alberto Gonzlez Snchez

Profesor: Joel Francisco Reyes

Ciudad de Mxico a 19 de noviembre de 2017

Inferencia Lgica

Conocidas las formas de las proposiciones y teniendo los instrumentos de simbolizacin

a nuestro alcance, podemos dirigirnos ya hacia una parte importante de la Lgica formal:
inferencia y deduccin.

Las reglas de inferencia que rigen el uso de los trminos de enlace son muy simples.
Se pueden aprender estas reglas y su uso, como se aprenden las reglas de un juego. El
juego se juega con proposiciones, o frmulas lgicas, nombre que se dar a las
proposiciones simbolizadas. Se empieza con conjuntos de frmulas que se denominan
premisas. El objeto del juego es utilizar las reglas de inferencia de manera que conduzcan
a otras frmulas que se denominan conclusiones. El paso lgico de las premisas a la
conclusin es una deduccin. 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. La idea de inferencia se puede expresar de la manera
siguiente: de premisas verdaderas se obtienen slo conclusiones que son verdaderas.

Con frecuencia se aprende un juego nuevo, por un ejemplo. Veamos algunos de

inferencia antes de proseguir con las leyes formales. Se supone que se tienen dos
premisas, la frmula p ---, Q y la frmula P. Se sabe que estas premisas estn
dadas; es decir, se empieza diciendo que se ha dado P Y que se ha dado P---> Q.
Se puede sacar una conclusin de estas dos proposiciones? Es decir, lse
puede idear otra proposicin que haya de ser cierta si las premisas son ciertas?

La conclusin es clara si se leen las premisas en la forma

Si P entonces Q, y P.

La primera proposicin expresa que si se verifica P, entonces se verifica Q, y la

segunda dice que se verifica P. La conclusin es que se verifica Q. La
proposicin Q es consecuencia lgica de las premisas, P y P - Q.

Veamos ahora una inferencia de la misma forma, pero cuyo contenido se ha

suplido por lenguaje corriente. La primera premisa es:

Si llueve, entonces el cielo ha de estar cubierto. La segunda premisa es:

Llueve. Qu conclusin se puede sacar de las dos premisas?

La respuesta es la conclusin El cielo ha de estar cubierto. Esta conclusin

se puede inferir lgicamente de las premisas dadas. Se discutir a continuacin
la regla particular de inferencia que permite deducir esta conclusin de las
premisas.

Ciudad de Mxico a 19 de noviembre de 2017

Simbolizar las proposiciones matemticas de la Seccin D del Ejerci- cio 1.
Despus indicar una demostracin como en la Seccin A de este ejer- cicio.

Demostraciones en dos pasos. Algunas veces no se puede ir directamente de

las premisas a la conclusin por un solo paso. Pero esto no impide poder
llegar a la conclusin. Cada vez se deduce una proposicin por medio de una
regla, entonces esta proposicin se puede utilizar junto con las premisas
para deducir otra proposicin. Considrese un ejemplo en. el que se tienen tres
premisas:

(I) A->B P

(2) B---> C P

(3) A P

Se quiere probar la proposicin C. Para llegar a C, se necesitan dos pasos,

cada uno permitido por el modus ponendo ponens, PP. Estos dos pasos son
las lneas (4) y (5) escritas a continuacin:

(!) A->B P
(2) B---> C P
(3) A p
(4) B pp 1, 3
(5) e pp 2, 4

Observemos atentamente el esquema de la demostracin. Cada lnea est

numerada, tanto si es una premisa como una lnea deducida. Cada linea est
justificada, bien por ser premisa (indicada por P), bien deducida por una regla
de inferencia (indicada por la abreviatura PP). Adems, despus de las
abreviaturas correspondientes a las reglas empleadas para obtener las lneas
deducidas, se ha indicado el nmero de las lneas a partir de las cuales se ha
deducido esta lnea. Por ejemplo, en la lnea ( 4) la sigla PP 1, 3 significa que
B se ha deducido por el modus ponendo ponens de las lneas (1) y ( 3 ).
Anlogamente, en la lnea (5) se ha deducido de la C por medio de la re- gla
PP de las lneas (2) y ( 4 ). Obsrvese que se puede utilizar una lnea que se
ha deducido, junto con otras lneas, para deducir una nueva lnea. Cada lnea que
puede ser justificada ya sea como una premisa o por el uso de una regla, se
puede utilizar en otros pasos posteriores de la demostracin.

Antes de intentar hacer algunas demostraciones cortas, consideremos todava

un ejemplo. Se suponen dadas las premisas siguientes y se quiere demostrar:

Ciudad de Mxico a 19 de noviembre de 2017

 !) S---> ,T p
(2) s p
(3) ,T---> R p
(4) ,T pp 1, 2
(5) R pp 3, 4

Se utiliza el modus ponendo ponens para deducir una lnea ( 4) y en- tonces
se puede aplicar el modus ponendo ponens a aquella lnea y a otra, tal como
la (3) para deducir la conclusin (5). Se da un paso (permitido por una regla) y
despus se puede dar otro paso usando la proposicin deducida.

EJERCICIO 3

A. En cada uno de los ejercicios siguientes se ha de demostrar que una

proposicin es consecuencia lgica de las premisas dadas. Deducir la conclusin,
escribiendo la abreviatura que corresponde a la regla que permite obte- ner cada
lnea, y cuando se empleen lneas deducidas anteriormente, indicar el nmero de
cada lnea que ha sido utilizada al aplicar la regla.

l. Demostrar: ,T 3. Demostrar: C
(1) R -----+ -1T p (1) A---+B&D I'
(2) S -----+ R p (2) s&o--,c p
(3) s p (3) A p
(4) (4)
(5) (5)
2. Demostrar: G 4. Demostrar: M V N
(1) -1H -----+ -,J p (1) -,J-----+ M V N p
(2) -1H p (2) FV G -----+ -,J p
(3) -,J -----+ G p (3) F V G p
(4) (4)
(5) (5)
5. Demostrar: -,5
(1) T p
(2) T-----+ -,Q p
(3) -1Q --1S p
(4)

Simbolizar cada una de las proposiciones de los conjuntos siguientes y demostrar

que la conclusin (la proposicin que empieza por Por tanto ... ) es consecuencia
lgica. Se seguir el mismo mtodo

Si 2 es mayor que 1, entonces 3 es mayor que 1.

Si 3 es mayor que 1, entonces 3 es mayor que O.

2 es mayor que 1.

Por tanto, 3 es mayor que O

Ciudad de Mxico a 19 de noviembre de 2017