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.
Proposicion Atómica
Proposicion Molecular
Atomica y Molecular
Simbolizacion de proposiciones
Tiene por objeto demostrar la validez de un argumento a traves de la relacion que se da entre las proposiciones que lo forman.
Expresion
Negacion
Lógica proposicional
Conjuncion
El primer elemento formalizado del lenguaje natural son las 2 proposiciones...
Atomicas y Moleculares
Negacion y Conjuncion
Simbolo y Regla
V, F
Si el antecedente es verdadero y el concecuente es falso dara falso, los demas casos daran verdadero.
Bicondicional
Conjunción
Condicional
Cuba es comunista o capitalista.
P v Q
P ~ Q
P ^ Q
P
Eres eclavo o eres libre.
P - Q
Homero no es alcoholico.
Q
Expresion de la conjuncion
No es cierto/ No
Y
…O…
O…o…
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
Disyuncion Excluyente
Disyuncion Implicita
Bicondiconal
Unicamente da verdadero si las 2 son verdadero, en los demas casos da falso.
Condiconal
Ú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
~ -
V
^
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
p
-P
Expresion de la Bicondicional
...o...
si...entonces...
...si y solo si...
y
Es la ciencia que tiene como finalidad el cálculo de la indiferencia, mediante ella demostramos la validez de un argumento.
Lógica Matemática
Simbolización
Negación