Lógica proposicional o calculo proposicional: es la lógica que estudia los enunciados atómicos y sus posibles combinaciones.

Hecho atómico es una combinación de objetos.

Enunciados atómico es la traducción idiomática, isomórfica al hecho atómico.

Enunciados es una secuencia finita de símbolos lingüísticos que tienen un sentido unitario y acabado, que pretende describir un hecho y que puede ser verdadero o falso.

Un enunciado puede paragonarse como una oración, un enunciado se diferencia de una oración en que:

Un enunciado solo describe la realidad y puede ser verdadero o falso. Una oración expresa estados subjetivos de la persona hablante.

En lógica se toma indistintamente Enunciado, sentencia y proposición.

Extensión de un enunciado abarca todos sus posibles valores de verdad y estos son dos verdaderos o falsos y por esto es un calculo bivalente.

Variables proposicionales: es un símbolo convencional ( p, q, r, s, ....) que representa esquemáticamente un enunciado atómico cualquiera.

Constantes lógicas, conectivas o functores: Son símbolos que no tienen dimensión semántica, no se refieren a objetos extralingüísticos y solo representan operaciones sintácticas.

 La conjunción o producto lógico

Se utilizan las siguientes conectivas: y, pero, sin embargo, aunque, sino, mas, etc

Por ejemplo:
Habrá guerra y habrá paz
p * q

 La disyunción o suma lógica
Se utilizan las siguientes conectivas: o, o bien

Por ejemplo:
Habrá guerra o bien habrá paz
p v q

 El condicional o implicación material
Se utilizan las siguientes conectivas: entonces, si

Por ejemplo:
Habrá guerra entonces también habrá paz
p > q

Si hay guerra, habrá paz
p > q

 Bicondicional o equivalencia material
Se utilizan las siguientes conectivas: si y solo si, entonces y solo entonces.

Por ejemplo:
Habrá guerra si y solo si habrá paz
p = q