Lógica y Conjuntos

¿Qué es una proposición?

Es una unidad semántica que o solo es verdadera o solo es falsa, pero no ambas a la vez. Además tiene que ser objetiva mas no subjetiva. En la práctica se verá oraciones que parecen proposiciones, pero no lo son porque dan mucho debate a tal punto que su veracidad solo puede ser comprobado en un pequeño instante de tiempo o en la mayoría de las veces ni siquiera es lógico comprobarla ya que no lo será porque no tendría sentido.

Oraciones que son proposiciones.

Rafael Correa no fue presidente de Ecuador.

ESPOL es una universidad de Ecuador.

57+10=67

Oraciones que no son proposiciones.

¡Mañana nos vemos!

A fin de año me voy a las islas Galápagos.

Gabriela es una chica linda.

3x+2=8

Tablas de verdad