Este documento describe los conceptos fundamentales de la lógica, incluyendo la definición de proposición, diferentes métodos de demostración, la jerarquía de proposiciones y conectivos lógicos, y leyes como las de Morgan y absorción. También discute la distinción entre proposición y juicio según Aristóteles.

2.  La demostración de la validez de una
proposición a través del razonamiento se
fundamenta en otras proposiciones ya
demostradas, o bien, en otras
proposiciones que sin haber sido
demostradas las aceptamos como
verdaderas
 Existen varios métodos de demostración
como lo son: Métodos de superposición,
métodos directos y métodos indirectos.

3.  Es un producto lógico del pensamiento que se expresa
mediante el lenguaje, sea éste un lenguaje común,
cuando adopta la forma de oración gramatical, o
simbólico, cuando se expresa por medio de signos o
símbolos.
 En Lógica tradicional se distinguen la proposición y el
juicio, por cuanto la primera es el producto lógico del acto
por el cual se afirma o se niega algo de algo, mientras ese
acto constituye el juicio.
 Para Aristóteles, la proposición es un discurso enunciativo
perfecto, que se expresa en un juicio que significa lo
verdadero y lo falso como juicio de términos. Por eso el
juicio es una afirmación categórica, es decir,
incondicionada porque representa adecuadamente la
realidad

4.  Son palabras y/o símbolos que enlazan
proposiciones con el fin de construir un
lenguajes (verbal o simbólico) más
amplio.
 La jerarquía de las proposiciones son:
negación, conjunción, disyunción, implic
ación, incondicional y son asociadas por
la izquierda.

6.  Leyes de la conjunción

7.  Leyes de la disyunción inclusiva
 Leyes de Morgan

8.  Leyes de absorción
 Leyes complementarias

9.  Si afirmo que los números impares son
todos primos, una demostración de esta
falseadas, o contraejemplo sería el
número 9, que es un impar no primo.
Otro ejemplo