Este documento trata sobre lógica matemática e incluye definiciones de proposiciones simples y compuestas, tablas de verdad, operadores lógicos como conjunción, disyunción, negación y sus propiedades, formas proposicionales, equivalencia e implicación lógica, tautologías, contradicciones y contingencias, y el uso de variables proposicionales.

1. MATEMÁTICAS LÓGICA.
JOSÉ JIMBO. 2014

2. Proposición. Valor de verdad.
Proposición simple.
Y
Proposición
compuesta.
Tablas de verdad.

3. Operadores
lógicos.
incondicional.
condicional.
Disyunción
exclusiva.
disyunción.
conjunción.
negación.
reciproca.
Inversa
Contrareciproca.

4. Formas
proposicionales.
Equivalencia lógica.
Implicación lógica
Tautología,
contradicción y
contingencia.
Formas
proposicional.
Variables
proposicionales.