Clases De Proposiciones:

Moleculares: Compuestas o coligativas, se clasifican en:
Disyuntiva
-Disyuncion inclusiva
-Disyuncion Exclusiva
Conjuntivas
Condicionales
Bicondicionales
Negaciòn
-Negacion Alterna
-Negacion Conjunta

Atomicas: Simples o elementales



Inferencias:

Es una operacion logica que consiste en derivar a partir de la verdad de ciertas proposiciones con ocidas como premisas, la verdad de otra proposiciòn conocida como conclusiòn

Una inferencia puede ser: Inductiva, deductiva, transductiva y abductiva.

Inductiva: (de lo particular a lo general): La inferencia inductiva es la conclusión que se obtiene de distintos casos y no se puede decir si la conclusión es verdad en general.

Deductiva: (de lo general a lo particular): La inferencia deductiva es cuando tenemos un caso en que analizamos todos los resultados y de acuerdo a las premisas sólo hay una posible situación, en este caso decimos que la situación única es la conclusión, y si estas premisas son verdaderas entonces la conclusión también lo es.
En este caso se encuentran MPP: Modus Ponendo Ponens y MTT: Modus Tollendo Tollens que de acuerdo a la tabla de verdad de la condicional son dos formas de establecer una inferencia válida.

Transductiva: (de particular a particular o de general a general)
Al igual que el caso inductivo, es difícil asegurar que la conclusión es verdadera.

Abductiva: De la misma forma que la deductiva, también analiza todas las posibilidades, pero aqui hay varios casos que se pueden presentar de los cuales no se tiene la certeza de ser verdadera, y es necesario tener más información para poder verificar su validez.




Tabla De Verdad:

Donde n representa a f y v (siempre se tiene en cuenta). Y el exponente es el numero de variables proposicionales que se tienen en la formula ya formalizada, en este caso 2. El resultado en este caso 4 nos indica el número de arreglos que tienen estas dos variables. Después de esto procedemos a ubicar la tabla de verdad en el campo de las variables, de tal forma que en la primera variable se ubiquen la mitad en v y la mitad en f, en la otra variable hacemos lo mismo pero de forma que queden ubicados las v y las f respecto a la mitad de la primera variable, es decir, en p quedaría vvff y en q vfvf

Clasificación de las fórmulas moleculares por su matriz principal

Las tablas de verdad nos permiten clasificar a las fórmulas moleculares, atediendo a su matriz principal, en tautológicas, consistentes y contradictorias (inconsistentes).

Las fórmulas moleculares tautológicas (FMT), llamadas tambiénleyes lógicas, son aquellas en que los valores de su matriz principal son todos verdaderos.

Fórmulas moleculares consistentes (FMC), son aquellas en que algunos de los valores de su matriz principal son verdaderos y algunos falsos.

Fórmulas moleculares contradictorias , denominadas también fórmulas inconsistentes, son aquellas en que los valores de su matriz principal son todos falsos.