LEYES DE LA INFERENCIA LOGICA

LEYES DE LA INFERENCIA LOGICA
Entendemos por el proceso que permite establecer la validez de algunos argumentos deduciendo las conclusiones a partir de las premisas que se asumen como ciertas. Laspremisas SON POR LO tanto informacion precisamente dada no sujeta a verificacion, el paso de las premisas a la conclusion se llama deduccion o consecuencia logica.
El sentido de la inferencia es portanto de premisas verdaderas se obtiene solo conclusiones verdaderas.
REGLAS DE INFERENCIA Y SU DEMOSTRACTRACION
MODUS PONENDO PONENS (PP)
Traducido del latin metodo que afiemando afirma. Nos dice quepartiendo de dos premisas dadas por ejemplo PQ y P Podemos obtener como conclusion Q.
La primera premisa significa que si se verifica P entonces se verifica Q.
La segunda premisa significa que severifica la conclusion entonces se verifica Q.
1) PQ
2) P
3) Q
NOTA: Debe recordar que esta regla se aplica siempre que se de una proposicion condicional de la cual se conosca el antecedenteobteniendose el consecuente.
Esto se aplica independientemente de si se trata propociciones atomicas o moleculares.
los antecedentes como los consecuentes pueden ser propociciones atomicas comomoleculares.

Demostraciones Logicas
Una demostracion logica es la aplicación ordenanada de la leyes de la inferencia logica debidamente justificada cuyo objetivo es demostrar lo solicitado hasta el momentosolo se ha estudiado el modus ponendo ponens.
si queremos usar esta ley en una demostracion logica deberemos colocar en filas diferentes y numerar. A la derecha se coloca su condicion y a la derechade se ultima premisa se coloca con dos diagonales lo que se desea demostrar la conclusion tambien se enumera colocando a su derecha su conclusion o el modo usado para llegar a ello.
Demostar:
1.- R2.- R  ~TvQ \\ ~TvQ
3.- ~TvQ PP(1,2)
Ley de doble negacion (DN)
Ademas de ser una regla de inferencia es tambien un principio logico, negar dos veces algo es...