Leyes de Inferencia Lgica

Distributiva, exportacin y contraposicin

Leyes distributivas:
En las leyes de distribucin hace referencia a dos normas de reemplazo, que permiten
reformular reglas de conjunciones y disyunciones. Se aplican cuando se tienen
dos conectivos diferentes: conjuncin disyuncin o bien disyuncin conjuncin. Se
distribuye a la proposicin fuera del parntesis con las que estn dentro de este.
A continuacin las frmulas de aplicacin.
(p (qr)) ((pq) (pr))

(p (qr)) ((pq) (pr))

(p (qr)) ((pq) (pr))
(p (qr)) ((pq) (pr))

Ley de exportacin:
Cambia de conectivo de conjuncin a condicional cuando al antecedente es una
conjuncin, y los agrupa de diferente manera al dejar el primer conjuntivo como
antecedente de toda la preposicin y pasar el segundo conjuntivo al consecuente de la
preposicin como parte de otra condicional.
A continuacin la formula de aplicacin.
[(pq) r] [(p (qr)]

Ley de contraposicin:
Cuando una preposicin convertida respeta la cantidad, pero altera la forma de la
proposicin dada y toma como sujeto al concepto contradictorio del predicado de esta,
se tiene una conversin por contraposicin
A continuacin la formula de aplicacin.
pq p q
1.

La Escuela de Ciencias Bsicas Tecnologas e Ingenieras ECBTI de la UNAD

realiz como evento disciplinar unas Olimpiadas Matemticas Virtuales. El Lder
Nacional de la Escuela le ha informado al Decano Nacional de Escuela como fue
la premiacin, el primer lugar recibir un computador porttil, el segundo lugar
recibir una Tablet y el tercer lugar recibir una coleccin de libros de
matemticas Schaun; para dicho fin el lder Nacional hizo el siguiente
razonamiento: Si Ximena se gan el computador entonces Johan recibi la
Tablet o Ricardo fue quien recibi la Tablet. Si Johan fue quien recibi la Tablet,
entonces Ximena no obtuvo como premio el computador. Si Carlos fue quien
recibi la Tablet entonces Ricardo no fue quien recibi la Tablet. Ximena se
gan el computador. Por lo tanto, Carlos no fue quien recibi la Tablet.

Declaracin Proposicin Simple

P: Ximena se gan el computador
Q: Johan recibido la Tablet
R_ Ricardo fue quien recibido la Tablet
S: Carlos fue quien recibi la Tablet

Declaracin premisa
Premisa 1: Si Ximena se gano el computador entonces Johan recibi la Tablet o Ricardo
fue quien recibi la Tablet.
Premisa 2: Johan fue quien recibi la Tablet, entonces Ximena no obtuvo como premio
el computador
Premisa 3: Carlos fue quien recibi la Tablet entonces Ricardo no fue quien recibi la
Tablet
Premisa 4: Ximena se gan el computador.

Declaraciones premisas en lenguaje formal:

Premisa 1: P Q v R
Premisa 2: Q -P
Premisa 3: S -R
Premisa 4: P
Conclusin: -S
Razonamiento en lenguaje formal

{ P ( QvR ) (Q P ) ( S R )( P )} (S )

Leyes de inferencia comprobacin

Premisa 1- ( P ( QvR )

Premisa 2 - Q P

Premisa 3 - S R

Premisa 4 - P
Premisa 5 Q v R PP (1). (4)
Premisa 6 QTT (2). (4)
Premisa 7 - -RDS (5). (6)
Premisa 8 - -STT (3). (7) conclusin

Pantallazo simulador TRUCTH TABLE

Tarea 3: Problemas de aplicacin II

Expresar los siguientes enunciados en Lenguaje natural relacionada con la dinmica de

la Universidad de su rol como estudiante y demostrar la validez del argumento dado a
travs de:

[[ ( p q ) ( r s ) ][ ( q s ) t ]( p r )]t

1. p q V
v v
Paso3: Buscamos la forma en que esta premisa sea verdadera, como en la premisa 4 ya
tenemos el valor de verdad de p entonces ese mismo valor lo usamos en esta premisa
entonces el valor de verdad de p es verdadero y para que la premisa completa sea
verdadera el valor de verdad de q tambin ser verdadero.

2. r s V
v v
Paso4: en la premisa 4 tenemos el valor de verdad de q entonces su valor es verdadero
y para que la premisa sea verdadera s tambin ser verdadera.
3. (q s) t
v v v
Paso5: en las premisas 4 y 2 ya tenemos los valores de verdad de r y s que para ambos
son verdaderos y para que una conjuncin sea verdadera los dos enunciados deben ser
verdadero lo cual se cumple, ahora tenemos una implicacin con t la cual su valor de
verdad es falso ya que la conclusin nos dice que t es verdadero y como cuando en
una implicacin se va de un valor de verdad a uno de falsedad la premisa seria falsa.
4. p r
v v
Paso2: Debemos buscar la menara de que esta premisa sea verdadera lo hacemos de la
siguiente manera, como tenemos una conjuncin buscamos la opcin en la cual esta
sea verdadera y la nica manera de que esto sea as los dos enunciados deben ser
verdaderos.

Conclusin: t
Paso1: Negamos la conclusin entonces quedara t
De acuerdo a lo anterior llegamos a la conclusin de que el argumento es vlido ya que
todas sus premisas no son verdaderas.

TABLA DE VERDAD
Tarea 4: Razonamiento Deductivo e Inductivo

Identifique de los siguientes casos si el razonamiento es deductivo o inductivo,

argumentado la respuesta con sus propias palabras

4. Los msculos de los brazos son de fibras estriadas que responden a los
impulsos voluntarios de la corteza parietal del lado opuesto. Cuando existen
lesiones en la regin parietal, se pierde el control de algunos msculos
voluntarios, entre otros, del brazo. Despus del accidente donde el paciente
recibi un golpe en la cabeza, perdi el control del movimiento de sus
brazos, as que es muy probable que tenga una lesin en la corteza parietal.