PROPOSICIONES

Proposición (lógica), una entidad portadora de valor de verdad.

En lógica, un valor de verdad es un valor que indica en qué medida una declaración es verdad.

En lógica clásica, los únicos valores de verdad posibles son verdad y falsedad.

Proposiciones atómicas y moleculares

Proposición atómica

Es una proposición que expresa que una cosa tiene una determinada propiedad o que unas cosas tienen una determinada relación.

Proposición molecular

Es una proposición constituida a partir de proposiciones atómicas mediante palabras que expresan conectores lógicos («no», «si... entonces», «y») y cuantificadores («para todo x», «existe un x tal que...»). Por ejemplo, una proposición del tipo «si hace frío, me pondré el abrigo» ejemplifica este tipo de proposiciones moleculares, en la medida en que incluye hechos atómicos -la temperatura y el llevar una determinada prenda-, junto con una conexión entre estos hechos que no es reducible, ella misma, a un hecho atómico.

La verdad o falsedad de las proposiciones moleculares se halla totalmente determinada por la verdad o falsedad de las proposiciones atómicas.