VALIDEZ DE RAZONAMIENTOS LGICOS Y LEYES DE INFERENCIA

Yulis Marcela Pereira Rojas

Grupo: 200611_223

Tutor

Nevardo Alonso Ayala

UNIVERSIDAD NACIONAL UNAD

Pensamiento Lgico y Matemtico

Bucaramanga

2016
Primer Aporte Individual.

Demostracin por Contraposicin.

En lgica, la contraposicin de una declaracin condicional se forma negando

ambos trminos e invirtiendo la direccin de la inferencia. Explcitamente, la
contraposicin de la declaracin "si A, entonces B" es "si no es B, entonces no A."
Una declaracin y su contra positiva son lgicamente equivalentes: si la afirmacin
es cierta, entonces su contra positivo es cierto, y viceversa.

En matemticas, la demostracin por contraposicin es una regla de inferencia

utilizada en demostraciones. Esta regla se infiere una sentencia condicional a
partir de su contraposicin. En otras palabras, la conclusin "si A, entonces B" se
extrae de la premisa simple "si no B, entonces no A."

Est basada en la equivalencia lgica entre una proposicin condicional y su

contraposicin,

P Q Q P

Por lo tanto, si probamos que Q P es una tautologa, habremos probado

que P Q tambin lo es, luego P = Q.

Ejemplo

Demostrar, para cada entero n, que si 5 n + 3 es par, entonces n es impar.

Utilizaremos el mtodo de demostracin por la contraposicin.

Si

p (n): n es par

q (n): n es impar

El esquema del teorema propuesto ser [p (5 n + 3) q (n)]

En el universo de los nmeros enteros. El esquema de la contraposicin seria

[ q (n) p (5 n + 3)]

Es decir, Para cada entero n , si n no es impar, entonces 5 n + 3 no es par

Segundo Aporte Individual.

Silogismo Hipottico y Silogismo Disyuntivo

SILOGISMOS HIPOTTICOS.

El silogismo hipottico se caracteriza por estar formado por juicios hipotticos. La

estructura formal del silogismo hipottico es la siguiente:

Si A es, B es
Si B es, C es
Luego, si A es, C es.

Una proposicin es hipottica (o condicionada). La conclusin es hipottica. Por

ejemplo:
El alcohlico es enfermo.
Si bebes en exceso sers alcohlico.
por lo tanto, si bebes en exceso sers enfermo.

Ejemplo:

pq "Si la bola roja golpea a la bola blanca, la bola blanca se mueve"

qr "Si la bola blanca golpea a la bola negra, la bola negra se mueve"

pr "Si la bola roja golpea a la bola blanca, la bola negra se mueve"

SILOGISMO DISYUNTIVO.

El silogismo disyuntivo es similar al hipottico mixto, pues su premisa mayor es

disyuntiva mientras que la menor y la conclusin son categricas. Admite tambin
dos modos: modus ponendo tollens (afirmativo negativo) y modus tollendo ponens
(negativo afirmativo).

La estructura formal del modus ponendo tollens es la siguiente:

A es B o C
Ahora bien, es B
Luego, no es C

La estructura formal del modus tollendo ponens es la siguiente:

A es B o C
Ahora bien, no es B
Luego, B es o C es

Una proposicin es disyuntiva. La otra proposicin resuelve la disyuncin = opta

por una alternativa. Por ejemplo:

Es blanco o azul.
No es azul.
Por lo tanto, es blanco.

Ejemplo:

pq "Si llueve, entonces las calles se mojan"

rs "Si la tierra tiembla, los edificios se caen"

p V r "Llueve o la tierra tiembla"

q V s "Las calles se mojan o los edificios se caen"

Tercer Aporte Individual.

Los estudiantes que conformaron el CIPAS de lgebra Trigonometra

y Geometra Analtica se han reunido y deben buscar bibliografa del
tema de secciones cnicas , de lo cual conversan lo siguiente :
Vamos a consultar la tarea en el edificio de la biblioteca de la
UNAD si est caluroso el da . Si no vamos a consultar la tarea en
el edificio de la biblioteca de la UNAD , entonces vamos a hacer la
consulta por el portal virtual E - Biblioteca . Si vamos a hacer la
consulta por el portal virtual E - Biblioteca , entonces vamos a
descargar el libro en PDF . Por lo tanto vamos a descargar el libro en
PDF:

Solucin:

Declaracin de las proposiones simples:

p: consultar la tarea en el edificio de la biblioteca de la UNAD

q: est caluroso el da
r: hacer la consulta por el portal virtual E Biblioteca
s: descargar el libro en PDF

Declaracin de las premisas:

Premisa 1: si est caluroso el da entonces vamos a consultar la tarea

en el edificio de la biblioteca de la UNAD.

Premisa 2: Si no vamos a consultar la tarea en el edificio de la

biblioteca de la UNAD, entonces vamos a hacer la consulta por el
portal virtual E Biblioteca.

Premisa 3: Si vamos a hacer la consulta por el portal virtual E -

Biblioteca , entonces vamos a descargar el libro en PDF .

Conclusin: Vamos a descarga el libro en PDF.

[(pq)(pr)(rs)]s
p q r s p (Pq) (pr) (rs) [(Pq)(pr)(rs)] [(Pq)(pr)(rs)
V V V V F V V V V V
V V V F F V V F F V
V V F V F V V V V V
V V F F F V V V V F
V F V V F F V V F V
V F V F F F V F F V
V F F V F F V V F V
V F F F F F V V F V
F V V V V V V V V V
F V V F V V V F F V
F V F V V V F V F V
F V F F V V F V F V
F F V V V V V V V V
F F V F V V V F F V
F F F V V V F V F V
F F F F V V F V F V

Premisa 1: pq.

Premisa 2: pr

Premisa 3: rs

Conclusin: s