1) ist wurde in der 3. Zeile der Tabelle editiert:
hier findest du alles, was du über die verwendeten Symbole wissen musst.
5)
Du kannst A,B und C mit allen 8 Kombinationen der Wahrheitswerte 0 (für falsch) und 1 (für wahr) belegen und feststellen, dass die beiden Formeln immer den gleichen Wahrheitswert ergeben. Sie sind also äquivalent.
1)
in diesem einfachen Fall geht das so:
A B A↔B ¬A∧B ( A↔B) ∧ (¬A∧B)
0 0 1 0 0
0 1 0 1 0
1 0 0 0 0
1 1 1 0 0
Antwort: nein, sonst müsste in der letzten Stelle der Tabelle mindestens eine 1 stehen.
2)
Antwort: nein
Wäre die Formel "tautologisch", dann dürften in der letzten Spalte der obigen Wahrheitstabelle nur Einsen stehen.
3)
Antwort: ja
da es Belegungen gibt, für die die Formel den WW 0 ergibt, ist sie falsifizierbar.
4)
Antwort: nein (vgl. eure Definition von "widerspruchsvoll")
da die Formel erfüllbar ist, würde ich sie nicht als widerspruchsvoll bezeichnen.
Das kommt aber auf eure Definitionen an!
Gruß Wolfgang
P.S.: Mit Mengenlehre hat das wenig zu tun