... fakt je pojem označující poznanou a ověřenou skutečnost.
... to, co uvádíš, je konkrétní příklad obecné definice. A sice definice pojmu "exkluzivní disjunkce".
... tato definice pojmu z výrokové (obecněji predikátové) logiky, obecněji matematiky, nemá nic společného s Bohem. Je to čistě lidský vynález, plynoucí ze schopnosti lidského mozku abstraktně myslet.
... ergo, Tvá věta: "Bůh buď existuje anebo Bůh neexistuje" není "fakt". Je to konkrétní příklad obecné "definice pojmu", což není "fakt". Neboť nejde o poznanou a ověřenou skutečnost. Jde čistě o příklad zavedení (definování) pojmu. Pojmy definujeme proto, abychom kupříkladu mohli snáze odhalovat fakta (přičemž sám "fakt" je pojem).
... post scriptum: do Ersta fóra není aktuálně možné psát repliky, proto panu Monovi, nadějnému amatérskému vědci, odpovídám zde.