Este documento presenta los conceptos básicos de la lógica proposicional, incluyendo proposiciones simples y compuestas, variables proposicionales, formas proposicionales, operadores lógicos como negación, conjunción, disyunción, condicional y bicondicional, y los valores de verdad que pueden tomar las proposiciones como tautología, contradicción y contingencia.

1. La lógica matemática,
globalizada entre muchos
contextos.
Proposiciones
(Simple y
Compuesta)
“Las matemáticas son una ciencia exacta
salvo cuando te equivoca” (Jaume
Perich)
Variables
Proposicionales (p..z)
Formas
Proposicionales
(A….Z)
Operador
es
Valor de
vedad ( 1 o
0 )
Tautología
(1)
Negación ⌐ (No)
Conjunción Ʌ (Y)
Disyunción V (O)
Disyunción exclusiva ṿ (O)
Condicional → (si..entonces)
Bicondicional ↔ (si solo si)
Contradicció
n (0)
Contingenci
a (1y0)