Erweiterung der Booleschen Algebra um einen bayesschen Operator; Anwendung auf die Definition einer deterministischen Bayesschen Logik