resumen de la inferencia logica la inferencia lgica llamada tambin teora de la dedicin o teora de la demostracin, constituye una de las partes

ms importante de la lgica, sus aplicabilidad se manifiesta no solo en las ciencias exactas, tambin en la matemtica como en la filosofa , el derecho en general en vida diaria. Podemos deducir que en la inferencia lgica es un proceso por el cual consiste en pasar de un conjunto de premisas a una conclusin, sin la necesidad de tablas ni cuadernos muy extensos, podemos demostrar por un ejercicio que la inferencia lgica tiene la forma llamada premisa. Sin una razn lgica como premisa tenemos esta: como, en este conjunto de premisas originan como consecuencia otra proposiciones, tales como: p.q.r.s.t, podemos realizar una premisa con el mtodo de abreviacin que un mtodo brevemente utilizado para las tablas de valores tales como: v v v v.. V ) =Q, este es una validez de un atrabajo labrios es el mtodo ms breve y el ms fcil maneo de gran precisin. Para realizar este estos ejercicios hay pasos para realizar que son los siguientes: La decisin: es una valides de proposiciones que tiene un solo valor, pues es decir que la inferencia no es validad si las implicacin es un conjunto de premisas o sea, verdadero (v) o falsa (F). Podemos deducir que las inferencia, es un medio de realizaciones de mtodos ejecutivos de una proporcione, realizadas mediantes una tablas, que de ella podemos tomar los datos efectivos. En la inferencia lgica, hay dos tipos de inferencia tales como: Conversin lgica: que se refiere a convertir las proposiciones a la regencia de transformar a juicios aristotlicos, para sustituirlo entre s. Las obversion lgica: es una de las operaciones lgicas clsica tradiciones que admita como operaciones lgica como las modificaciones de los juicios aristotlicos, la cualidad de jucio y la de jucio equivalente como por ejemplo: Todo S es P se obvierte en Ningn S es no-P Todos los espaoles son europeos Ningn espaol es no-europeo Ningn S es P se obvierte en Todo S es no-p Ningn espaol es americano Todo espaol es no-americano Algn S es P se obvierte en Algn S no es no-p Algn espaol es rubio Algn espaol no es no-rubio Algn S no es P se obvierte en Algn S es no-P

Algn espaol no es americano Algn espaol es no-americano

Contraponsia lgica: es una de las operaciones que la lgica clsica tradicional, Consiste en la modificacin del juicio aristotlico convirtiendo el juicio previamente obvertido, u obvirtiendo el juicio previamente convertido. Inversin lgica: es una de las operaciones que la lgica clsica tradicional admita como operacin lgica vlida. Consiste en cambiar el sujeto por su contradictorio como inferencia a partir del juicio original. La lgica actual: Se llama inferencia lgica a la aplicacin de una regla de transformacin que permite transformar una frmula o expresin bien formada (EBF) de un sistema formal en otra EBF como teorema del mismo sistema. Como por ejemplo: podra ser transformada en:

Donde; y. Elaborando la tabla de valores de verdad de dicha equivalencia contenida en la funcin del bicondicional el resultado ha de resultar una tautologa. Esquema de inferencia: Se refiere a la estructura lgico-formal que permite obtener una expresin bien formada (EBF) desligada, libre, como teorema de un sistema formal previamente definido por la regla de separacin estrictas de formacin y transformacin de frmula, por ejemplo: donde representa cada variable la premisa de un argumento. Conocida la verdad de cada una, como premisas de un argumento, su producto verdadero exige la verdad de todas y cada una de dichas expresiones. Inferencia por evidencia: hay dos tipos que son: Evidencia inductiva: Surge de la constatacin de una misma ocurrencia en una serie de casos. Observando que muchos lobos tienen la cola larga, infiero que los lobos tienen la cola larga, como una generalizacin. Evidencia enumerativa o induccin completa: Cuando se enumeran todos los casos la inferencia se convierte en una verdad demostrada, como induccin completa. Tal es el caso de que tras contar a todos y cada uno de ellas.

Cuantificadores de una funcin proposicional Los cuantificadores: se considera una funcin proposicional que

recodemos que p (X) es una proposicin abierta que contiene la variable x y a como en el dominio universal de una proposicin abierta . el dominio o universo compre todas las opciones que se le permite tomar a la variable x.

El cuantificadores universales : es una funcin proposicional ( a ,p( x) ), recordemos que oes una proposicin abierta que contiene la variable x y a es el dominio o universo de discurso para la proposicin abierta , el dominio o universo comprende todas las opciones que se le permite tomar a la variable z . los trminos de todos lo algunos son uno solo o ninguno por implicacin cantidad, son llamases cuantificadores de esto los fundamentos son todos o algunos y como caso partculas de este ltimo, un solo.

El cuantificador existencial: el cuantificador se refiere a algunos o existente al menos uno se llama cuantificadores existenciales s y se le denota con el smbolo , que es una E al revs a la proposicin.

Cuantificadores existenciales de unicidad: se refiere a la particular existencia como por ejemplo existe a menos uno, tenemos el cuantificador. Existente un nico o existe solo un, que es llamado cuantificador existencial de unicidad, y lo Se representa con una E pero alreveres.

reglas de inferencia logica