Lògica: fórmules atòmiques

Pa, «x és bo», «x és major que i», són fórmules atòmiques que corresponen, per exemple, a enunciats com ara «Anna participa», «el món és bo», «el 3 és major que el 2», respectivament.