Está en la página 1de 31

CURSO PENSAMIENTO LGICO Y

MATEMTICO

DIRECTOR
Oscar Jhonny Gmez Surez

23 DE ABRIL DE 2016
p
V
p
F


Smbolos

F V

FI-GQ-GCMU-004-015 V. 001-17-04-2013
p q pq p q pvq
V V V V V V
V F F V F V
F V F F V V
F F F F F F

FI-GQ-GCMU-004-015 V. 001-17-04-2013
p q pq p q pq
V V V V V V
V F F V F F
F V V F V F
F F V F F V

FI-GQ-GCMU-004-015 V. 001-17-04-2013
Existen varias tcnicas para demostrar la validez de un razonamiento.

Tcnica
tabla de
verdad

Inferencia
Lgica

FI-GQ-GCMU-004-015 V. 001-17-04-2013
Se debe transformar el razonamiento en una proposicin
condicional, en donde la conjuncin de las premisas forman
el antecedente y la conclusin forma el consecuente.

Si al realizar la tabla de verdad de un razonamiento da


como resultado una tautologa, se considera un
razonamiento vlido, en cualquier otro caso ser un
razonamiento invlido.

FI-GQ-GCMU-004-015 V. 001-17-04-2013
Por ejemplo:

Dado el siguiente razonamiento determinar su validez a travs de la tcnica de


la tabla de verdad:

Si la tierra es un planeta, entonces no posee luz propia. La tierra es un planeta.


Por lo tanto, no posee luz propia

Se procede a simbolizar el razonamiento, denotando proposiciones simples.

La tierra es un planeta p
La tierra posee luz propia q

FI-GQ-GCMU-004-015 V. 001-17-04-2013
Se simbolizan las proposiciones compuestas identificando premisas y conclusin.

La conclusin se identifica a travs de trminos como:


por lo tanto
Por consiguiente
Luego
En conclusin

1. Si la tierra es un planeta, entonces no posee luz propia pq


2. La tierra es un planeta p
3 La tierra no posee luz propia q

FI-GQ-GCMU-004-015 V. 001-17-04-2013
Se estructura la proposicin condicional, cuyo antecedente es la conjuncin
de las premisas y el consecuente es la conclusin:

[(pq)p] q

FI-GQ-GCMU-004-015 V. 001-17-04-2013
Se elabora la tabla de verdad del razonamiento

[(pq)p] q
p q q (pq) (pq)p [(pq)p] q
V V F F F V
V F V V V V
F V F V F V
F F V V F V

Conclusin: Es un razonamiento vlido porque la tabla de verdad result ser


una proposicin tautolgica.

FI-GQ-GCMU-004-015 V. 001-17-04-2013
Se llama inferencia lgica a la aplicacin de una regla de
transformacin que permite transformar una frmula o expresin
bien formada de un sistema formal en otra como teorema del
mismo sistema.

Una regla de inferencia es un esquema para construir


inferencias vlidas. Estos esquemas establecen relaciones sintcticas
entre un conjunto de frmulas llamados premisas y una asercin
llamada conclusin.

FI-GQ-GCMU-004-015 V. 001-17-04-2013
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.
Se juegan 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 esta 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. Es decir si las premisas son verdaderas, entonces
las conclusiones que se derivan de ellas, han de ser verdaderas.

FI-GQ-GCMU-004-015 V. 001-17-04-2013
El condicional o implicacin es aquella operacin que establece entre dos
enunciados una relacin de causa-efecto.
La regla ponendo ponens significa, afirmando afirmo y en un condicional
establece, que si el antecedente (primer trmino, en este caso p) se afirma,
necesariamente se afirma el consecuente (segundo trmino, en este caso q).

pq Si llueve, entonces las calles se mojan (premisa)


p Llueve (premisa)
__________________________________________________

q Luego, las calles se mojan (conclusin)

FI-GQ-GCMU-004-015 V. 001-17-04-2013
Ejemplo:
Qu conclusin , se puede deducir de cada uno de los conjuntos de premisas
utilizando la regla PP?
Si la tierra es un planeta, entonces no posee luz propia. La tierra es un planeta.

Solucin:
La tierra es un planeta. p
La tierra posee luz propia. q

1) Si la tierra es un planeta, entonces no posee luz propia. p q


2) La tierra es un planeta. p
Conclusin
3) La tierra no posee luz propia. q

FI-GQ-GCMU-004-015 V. 001-17-04-2013
Tollendo tollens significa negando, niego. Si de un condicional, aparece como
premisa el consecuente negado (el efecto), eso nos conduce a negar el
antecedente (la causa), puesto que si un efecto no se da, su causa no ha podido
darse.

pq Si llueve, entonces las calles se mojan (premisa)


q Las calles no se mojan (premisa)

__________________________________________________

p Luego, no llueve (conclusin)

FI-GQ-GCMU-004-015 V. 001-17-04-2013
p p

El esquema representa, p doblemente negada equivale a p. Siguiendo el


esquema de una inferencia por pasos, la representaramos as:
La regla doble negacin, simplemente establece que si un enunciado est
doblemente negado, equivaldra al enunciado afirmado.

p No ocurre que Ana no es una estudiante (premisa)


_____________________________________________________

p Ana es una estudiante (conclusin)

FI-GQ-GCMU-004-015 V. 001-17-04-2013
Si disponemos de dos enunciados afirmados como dos premisas separadas,
mediante la adjuncin, podemos unirlos en una sola premisa utilizando el
operador (conjuncin).

p Juan es cocinero (premisa)

q Pedro es polica (premisa)


___________________________________

p q Juan es cocinero y Pedro es polica (conclusin)

FI-GQ-GCMU-004-015 V. 001-17-04-2013
Si disponemos de un enunciado formado por dos miembros unidos por una
conjuncin, podemos hacer de los dos miembros dos enunciados afirmados por
separado.

pq Tengo una manzana y tengo una pera (premisa)


____________________________________________

p Tengo una manzana (conclusin)

q Tengo una pera (conclusin)

FI-GQ-GCMU-004-015 V. 001-17-04-2013
La disyuncin, que se simboliza con el operador V, representa una eleccin entre dos
enunciados. Ahora bien, en esa eleccin, forma parte de las posibilidades escoger
ambos enunciados, es decir, la verdad de ambos enunciados no es incompatible, si bien,
ambos no pueden ser falsos.
A partir de lo anterior, se deduce la siguiente regla, denominada tollendo ponens
(negando afirmo): si uno de los miembros de una disyuncin es negado, el otro miembro
queda automticamente afirmado, ya que uno de los trminos de la eleccin ha sido
descartado.

pVq He ido al cine o me he ido de compras (premisa)

q No he ido de compras (premisa)


__________________________________________________________

p Por tanto, he ido al cine (conclusin)

FI-GQ-GCMU-004-015 V. 001-17-04-2013
Ejemplo:
Qu conclusin , se puede deducir de cada uno de los conjuntos de premisas
utilizando la regla TP?
Juan o ha terminado el libro o ha ido a devolverlo hoy a la biblioteca. Juan no ha
terminado el libro.

Solucin:
Juan ha terminado el libro p
Juan ha ido a devolver el libro hoy a la biblioteca. q

1) Juan o ha terminado el libro o ha ido a devolverlo hoy a la biblioteca. pq


2) Juan no ha terminado el libro. p
Conclusin
3) Juan ha ido a devolver el libro hoy a la biblioteca. q

FI-GQ-GCMU-004-015 V. 001-17-04-2013
Dado un enunciado cualquiera, es posible expresarlo como una eleccin
(disyuncin) acompaado por cualquier otro enunciado.

a He comprado manzanas (premisa)


______________________________________________________________

aVb He comprado manzanas o he comprado peras (conclusin)

FI-GQ-GCMU-004-015 V. 001-17-04-2013
Expresado de otro modo, si una causa se sigue una consecuencia, y sta consecuencia es
a su vez causa de una segunda consecuencia, se puede decir que esa primera causa es
causa de esa segunda consecuencia, del mismo modo que, si una bola de billar roja
golpea a otra bola blanca que a su vez golpea a una bola negra, la bola roja es causa del
movimiento de la bola negra. Expresado en forma de inferencia lgica:

pq Si la bola roja golpea a la bola blanca, la bola blanca se mueve (premisa)

qr Si la bola blanca golpea a la bola negra, la bola negra se mueve (premisa)


______________________________________________________________________

pr Si la bola roja golpea a la bola blanca, la bola negra se mueve (conclusin)

FI-GQ-GCMU-004-015 V. 001-17-04-2013
Dadas tres premisas, dos de ellas implicaciones, y la tercera una disyuncin cuyos
miembros sean los antecedentes de los condicionales, podemos concluir en una
nueva premisa en forma de disyuncin, cuyos miembros seran los consecuentes
de las dos implicaciones. Lgicamente, si planteamos una eleccin entre dos
causas, podemos plantear una eleccin igualmente entre sus dos posibles efectos,
que es el sentido de esta regla.

pq Si llueve, entonces las calles se mojan

r s Si la tierra tiembla, los edificios se caen

pV r Llueve o la tierra tiembla


____________________________________________________

qV s Las calles se mojan o los edificios se caen

FI-GQ-GCMU-004-015 V. 001-17-04-2013
Esta ley, no es vlida para la implicacin, pero s para conjuncin y para la
disyuncin. Una conjuncin es afirmar que se dan dos cosas a la vez, de modo que
el orden de sus elementos no cambia este hecho. Igualmente, una disyuncin es
presentar una eleccin entre dos cosas, sin importar en qu orden se presente
esta eleccin. As pues,

pqqp p y q equivale a q y p

pVqqVp p q equivale a q p

FI-GQ-GCMU-004-015 V. 001-17-04-2013
Esta ley permite transformar una disyuncin en una conjuncin, y viceversa, es
decir, una conjuncin en una disyuncin. Cuando se pasa de una a otra, se
cambian los valores de afirmacin y negacin de los trminos de la
disyuncin/conjuncin as como de la propia operacin en conjunto, como
podemos observar aqu:

pq pVq
___________ ____________

(p V q) (p q)

FI-GQ-GCMU-004-015 V. 001-17-04-2013
FI-GQ-GCMU-004-015 V. 001-17-04-2013
Construir una demostracin formal de validez para cada uno de los siguientes argumentos,
utilizando en cada caso la notacin sugerida.

Si se requiere ya sea lgebra o geometra, entonces todos los estudiantes cursarn


matemticas. Se requiere el lgebra y se requiere la trigonometra. Por lo tanto, todos
los estudiantes tomaran matemticas.
Solucin:
a Algebra es requisito.
g Geometra es requisito .
m Todos los estudiantes cursarn
matemticas.
t Trigonometra es requisito.

FI-GQ-GCMU-004-015 V. 001-17-04-2013
Construir una demostracin formal de validez para cada uno de los siguientes argumentos,
utilizando en cada caso la notacin sugerida.

Si se requiere ya sea lgebra o geometra, entonces todos los estudiantes cursarn


matemticas. Se requiere el lgebra y se requiere la trigonometra. Por lo tanto, todos
los estudiantes tomaran matemticas.
Solucin:
a Algebra es requisito.
g Geometra es requisito .
m Todos los estudiantes cursarn
matemticas.
t Trigonometra es requisito.

FI-GQ-GCMU-004-015 V. 001-17-04-2013
(2008). Castro, M. LA LGICA IF Y LOS FUNDAMENTOS DE LAS MATEMTICAS. Signos
Filosficos. Vol. 19, (pgs145-171). Disponible en la Biblioteca virtual de la
UNAD: http://web.ebscohost.com/ehost/pdfviewer/pdfviewer?vid=12&sid=62c2135b-
9db5-45d5-a2fb-0d1d842c739d%40sessionmgr198&hid=113

(2007). Aritmtica : Manual de preparacin pre-universitaria: Nociones de Teora de


Conjuntos. (pgs: 17-18). Lima, Per: Lexus Editores S.A. Disponible en la Biblioteca virtual
de la UNAD:
http://bibliotecavirtual.unad.edu.co:2130/ps/basicSearch.do?inputFieldValue%280%29=TE
ORIA+DE+CONJUNTOS&inputFieldName%280%29=OQE&method=doSearch&search=SEARC
H&searchType=BasicSearchForm&sgHitCountType=None&inPS=true&nwf=y&userGroupNa
me=unad&prodId=GVRL

(1983). SUPPES P. Introduccin a la Lgica Matemtica. Ed.Revert.


Al igual que cualquier otro arte, la Ciencia de la Deduccin
y el Anlisis slo puede dominarse a travs del estudio
prolongado y paciente, y no es la vida tan larga como para
que ningn mortal alcance en ello el mayor grado posible
de perfeccin

Sherlock Holmes
en Estudio en Escarlata (A. Conan Doyle)

También podría gustarte