arturmarek pisze: ↑01 lis 2022, 13:29
Może by się jakiś polonista wypowiedział, bo mi się zdaje, że w angielskim jest dokładnie tak samo. Formalnie, w logice or to alternatywa, a alternatywa wykluczająca to xor.
Polonista to co najwyżej wypowie się, czy na karcie w grze wypada stosować język potoczny. A nawet jeśli nie wypada, to i tak nie rozwiązuje problemu, bo nie każdy gracz będzie o tym wiedział. Ba, pewnie mało kto będzie wiedział, że to już język potoczny.
Mamy piękne spójniki - i/oraz i albo - które w pełni jednoznacznie przekazują ukryte za nimi działania logiczne. Ale w tym rodzeństwie jest jeszcze ten jeden nieszczęsny element - lub. Formalnie w logice jest to alternatywa nierozłączna (
co najmniej jeden element prawdziwy, ale w sumie mogą być oba), ale gdzieś w języku potocznym spójnik ten przyjął także znaczenie alternatywy wykluczającej (w przypadku dwóch elementów*
tylko jeden prawdziwy). No i to nie jest takie oczywiste, jak teraz dobrze napisać instrukcję czy tekst na kartach.
1) Możemy zostać przy tym zestawieniu i/lub. Jak wierzyć temu co już tu padło chyba wywodzi się to z języka prawniczego. Przejrzyste i nie pozostawiające żadnych wątpliwości, ale średnio naturalne i jak dla mnie po prostu brzydkie.
2) Możemy gdzieś w instrukcji opisać, co autor rozumiał pod słowem "lub" i po prostu dalej stosować już tylko samo "lub".
3) Stosować bardziej opisowe struktury? Typu "wybierz co najmniej 1 z poniższych 3 opcji"
4) Jeśli w innym miejscu zauważymy użycie spójnika "albo" a także "i" no to można wywnioskować, że "lub" znaczy "co najmniej jedno z dwóch".
5) i pewnie można tak wymieniać i wymieniać
Na pocieszenie dodam, że przynajmniej nie jest to problem tylko naszego języka : )
*) A zabawa się rozkręca, jak jest więcej elementów. Mając do wyboru 3 elementy w alternatywnie rozłącznej należy zazwyczaj wybrać albo 1 z nich, albo wszystkie 3. Wybranie 2 z 3 dałoby w takiej bramce wartość 0 na wyjściu.
Na forum wchodzę głównie 7-15:30 w dni robocze.
Osoby odpowiedzialne za produkcję i dystrybucję monopoly w 2024r. powinny być osądzone za zbrodnie wojenne. 90 minut bezdecyzyjnego rzucania 2k6.