Zu überprüfen wären folgende Sätze:
sichtbare kirche < unsichtbare Kirche = Protestantismus
sichtbare kirche > unsichtbare Kirche =
Sekte
sichtbare Kirche = unsichtbare Kirche =
Katholizismus
sichtbare Kirche - unsichtbare Kirche =
religiöse Institution zur Pflege christlicher Traditionen
unsichtbare Kirche - sichtbare Kirche =
Mystizismus
Wahrheitsbedingung:
unsichtbareKirche -> sichtbare Kirche
die Umkehrung der Implikation ist die fundamentalistische Interpretation von Kirche.