Tabrys
Signatur
FL1
A → (B → A)
FL2
(A → (B → C)). → .((A → B) → (A → C))
FL3
(¬A → ¬B) → (B → A)
A → (B → A)
FL2
(A → (B → C)). → .((A → B) → (A → C))
FL3
(¬A → ¬B) → (B → A)
Erfolge
-
1
First message
Dein erster Beitrag. Hallo und willkommen im Forum de Luxx.