Universidad de Guayaquil

FACULTAD DE COMUNICACIÓN SOCIAL

POSTER DE
LÓGICA
MATEMÁTICA
Maholy Mendieta Marín
FCS-N-04-MA-C3
 LÓGICA
→

matemática
En la proposición a b , a es el
tabla de verdad de los antecedente; b es el consecuente, ; y la
operadores lógicos. Antecedente y consecuente,
proposición resultante será falsa cuando
el valor de verdad del antecedente sea
verdadero y el valor de verdad del
Negación Conjunción consecuente sea falso.
VALIDEZ frases relacionadas al Una misma proposición puede ser
Propiedad que tienen los condicional condición suficiente para varias
argumentos cuando las Necesario y suficiente proposiciones y viceversa. Una misma
Una proposición es premisas implican la proposición puede ser condición
una unidad semántica Disyunción
que, o sólo es
conclusión. Disyunción exclusiva necesaria para distintas proposiciones.

Equivalencia lógica
verdadera o
sólo es falsa.
≡
p q La Recíproca, es representada
→
simbólicamente por: b a.
implicación lógica proposiciones relacionadas La Inversa, es representada
Condicional Bicondicional Condicional al conidicional →
simbólicamente por:¬a ¬b.
tautológico La Contrarrecíproca, es
representada simbólicamente por:
razonamiento →
¬b ¬a.
Se puede resolver mediante demostración
Solo es valido cuando es tautológico. por contraejemplo, o por solución al
absurdo. 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: Se entiende por

propiedades y leyes de las

proposición contradictoria, o contradicción,

aquella proposición que en todos los casos
proposiciones

posibles de su tabla de verdad su valor siempre

es F.

CONTINGENCIA:Se 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.