![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
*irre lach*
Logik ist klasse! Ich berechne grade die Wahrheitstafeln von molekularen Aussagen wie "(P->(Q->R))->((P->Q)->R)" oder beweise Gesetze wie z.B. die Idempotenz der Disjunktion. Das macht mir irre Spaß.
Meeeeeehr davon!
Logik ist klasse! Ich berechne grade die Wahrheitstafeln von molekularen Aussagen wie "(P->(Q->R))->((P->Q)->R)" oder beweise Gesetze wie z.B. die Idempotenz der Disjunktion. Das macht mir irre Spaß.
Meeeeeehr davon!