Man sollte aber mindestens im Artikel darauf hinweisen, dass die Ableitbarkeit in der üblichen, gängigen Standardform der PL mit Gleichheit gegeben ist. Das andere interessiert nur etwas exzentrische Logikspezialisten.-- Wilfried Neumaier 01:03, 17. Jan. 2014 (CET)