Este documento presenta los conceptos básicos de la lógica matemática, incluyendo proposiciones, valores de verdad, tablas de verdad, operadores lógicos como negación, conjunción, disyunción y condicional, así como variables proposicionales, formas proposicionales, implicación lógica y equivalencia lógica. También cubre leyes lógicas como las de conjunción, disyunción, negación, condicional y bicondicional.

2. LÓGICA MATEMÁTICA
Proposiciones Valor de verdad Tabla de verdad
Simple
Compuesta
¬ Negación
^ Conjunción
v Disyunción
v D. Exclusiva
Condicional
Bicondicional
0
1
 Tautología
 Contradicción
 Contingencia
Operadores lógicos
 Recíproca
 Inversa
 Contrarrecíproca
a…..z
Variable Proposicional
p….z

3. Forma Proposicional
Implicación lógica
Equivalencia lógica
A B
A B
A……..
B
Leyes Conjunción y
Disyunción
Leyes Negación,
Condicional y
Bicondiccional