Alternatywa rozłączna: Różnice pomiędzy wersjami

[wersja przejrzana][wersja nieprzejrzana]
Usunięta treść Dodana treść
{{Logika matematyczna}}, łącznik definicyjny, -zobacz też, ujednolicenie
"albo... albo..." -czyli to co było wczesnej to dysjunkcja... to zupełnie cos innego - to odpowiednim wyrazeniem dla alternatywy rozłącznej jest " ...lub ... "
Linia 4:
: <math>p \underline\or q = (p \and \neg q) \or (\neg p \and q)</math>
 
Odpowiada wyrażeniu „albo ...p albolub q ...”. Innym oznaczeniem jest <math>p \dot\or q</math>.
 
{| class="wikitable" style="text-align:center;"