Lógica proposicional/Regina Legorreta 4020

Es una proposicion compuesta con un conectivo lógico. Contiene en si otras, es decir, esta compuesta por dos o más proposiciones atómicas.

Tiene por objeto demostrar la validez de un argumento a traves de la relacion que se da entre las proposiciones que lo forman.

El primer elemento formalizado del lenguaje natural son las 2 proposiciones...

Si el antecedente es verdadero y el concecuente es falso dara falso, los demas casos daran verdadero.

Cuba es comunista o capitalista.

Eres eclavo o eres libre.

Homero no es alcoholico.

Expresion de la conjuncion

Da verdadero si las dos son iguales, en los demas casos da falsos.

Da verdadero si las dos son diferentes, en los demas da falso/Regina Legorreta Garnica 4020 25/10/2018

Unicamente da verdadero si las 2 son verdadero, en los demas casos da falso.

Únicamente da falso cuando las 2 son falsas, en los demas casos verdaderas.

Si una proposición es verdadera y se niega se convierte en falsa y viceversa.

Simbolo de la Negacion

Brasil esta en Sudamerica

El sol es una estrella y la Tierra es un planeta

Existen alumnos de mi colegio que no son aplicados

Antonio no reprobo lógica

Expresion de la Bicondicional

Es la ciencia que tiene como finalidad el cálculo de la indiferencia, mediante ella demostramos la validez de un argumento.