LOGICA MATEMATICA (conectivos lógicos, tablas de verdad)

 

LÓGICA MATEMÁTICA

Conectivos Lógicos

Son términos de enlace que se utilizan para formar proposiciones compuestas.

Conectivo lógico	Operación lógica	Símbolo	Notación	Lectura
y	Conjunción	ʌ	p ʌ q	p y q
o	Disyunción	v	p v q	p o q
Si…… Entonces…..	Implicación o condicional	→	p → q	Si p entonces q p implica q
Si y solo si	Equivalencia o bicondicional	↔	p ↔ q	p si y solo si q p es equivalente a q
No	Negación	¬	¬p	No p

Tablas de verdad con conectivos lógicos

Conjunción: proposición compuesta que se forma al enlazar dos o más proposiciones simples mediante el conectivo lógica “y” p q p ʌ q V V V V F F F V F F F F	Disyunción: proposición compuesta que se forma al enlazar dos proposiciones simples mediante el conectivo lógico “o” p q p v q V V V V F V F V V F F F
Implicación o condicional: proposición compuesta que se forma al enlazar dos proposiciones simples mediante el conectivo lógico “si….entonces…” p q p → q V V V V F F F V V F F V	Equivalencia o bicondicional: proposición compuesta que se forma al enlazar dos proposiciones simples mediante el conectivo lógico “si y solo si” p q p ↔ q V V V V F F F V F F F V

TAUTOLOGÍAS CONTRADICCIÓN Y CONTINGENCIA

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 proposición contradictoria, o contradicción, aquella proposición que en todos los casos posibles de su tabla de verdad su valor siempre es Falsa.

CONTINGENCIA: Se entiende por verdad contingente, o verdad de hecho, aquella proposición que puede ser verdadera o falsa.