LOGICA

PROPOSICIONA
L
Definición
 Es
una rama de la lógica clásica que
estudia las variables proposicionales o
sentencias lógicas, sus posibles
implicaciones, evaluaciones de verdad y
en algunos casos su nivel absoluto de
verdad
NEGACIÓN
¬ NEGACIÓN:

no, ni, salvo, excepto

DISYUNCIÓN INCLUSIVA
٧ DISYUNCIÓN INCLUSIVA

o,o bien, tanto si... como si,

DISYUNCIÓN EXCLUSIVA
٧ DISYUNCIÓN EXCLUSIVA

o,o bien, tanto si... como si,

CONJUNCIÓN
٨ CONJUNCIÓN
y, e, o ni (=y no), pero, empero, sin
embargo, no obstante, además, aunque,
así mismo, sino que, en cambio, mientras,
ahora bien, cuando, má bien, antes bien,el
punto y seguido, la coma, el punto y la
coma
CONDICIONAL
 →CONDICIONAL
 si....
entonces; por tanto; en
consecuencia; siempre que; es suficiente;
mientras + subjuntivo;
BICONDICIONAL
↔ BICONDICIONAL
si y solo si; es necesario y suficiente;
equivaler
RESUMEN
Tablas de verdad
 Unatabla de verdad lista todos los
posibles valores de una o varias
proposiciones simples y el valor de verdad
de una o varias proposiciones
compuestas construidas a partir de las
proposiciones simples
TABLAS DE VERDAD
Tautología
 Una proposición compuesta es una
tautología si es verdadera para todas las
asignaciones de valores de verdad para
sus proposiciones componentes
Contradicción
 Seentiende por proposición
contradictoria, o contradicción, aquella
proposición que en todos los casos
posibles de su tabla de verdad su valor
siempre es F.
CONTINGENCIA
e entiende por verdad contingente, o
verdad de hecho, aquella proposición
que puede ser verdadera o
falsa, (combinación entre tautología y
contradicción) según los valores de las
proposiciones que la integran
CONTINGENCIA
CUANTIFICADORES
 Losenunciados en los cuales se
presentan expresiones tales
como algunos (o existe o hay), todo (o
siempre o cada) se denominan
cuantificador existencial (o particular) y
cuantificador universal (o referencial),
respectivamente
CUANTIFICADOR UNIVERSAL
 Losenunciados de la forma: para todo,
siempre o cualquiera se denominan
enunciados universales o referenciales.
Para trascribirlos se utiliza el denominado
cuantificador universal y se simboliza con
CUANTIFICADOR EXISTENCIAL