Habe ich diese Symbole korrekt verstanden?

Question

Also Τ ist in der Aussagenlogik eine wahre Aussage / Konstante, sprich die 1?

Und ⊥ ist in der Aussagenlogik eine falsche Aussage / Konstante, sprich die 0?

Answer 1

Normalerweise wird "wahr"="true" mit 1 und

"falsch"="false" mit 0 gleichgesetzt:

dadurch hat man:

1. \(A\wedge \text{true} \equiv A\) entspricht \(a\cdot 1 =a\) und

2. \(A\vee \text{false} \equiv A\) entspricht \(a+0=a\).

\(\perp\) für "falsch" ist mir nicht so geläufig.

Aber das müsstest du ja in deinen Unterlagen finden.