🚀 go-pugleaf

W dniu 2012-01-12 10:52, konsul41@wp.pl pisze:
>> "Można", "przyjąć" - jak widać nie ma autorytatywnego stwierdzenia, że
>> w logice "oraz" nie jest synonimem "i".
> Na tej samej zasadzie nie ma stwierdzenia że jest

Bo logika nic tu do tej kwestii nie ma. Synonimy pozostają w gestii 
języka, a nie logiki. Czyli skoro w logice nie ma o tym mowy - to nie ma 
o tym mowy i żadne wnioski w oparciu o nią nie są uprawnione. Użycie 
synonimów można dopiero rozpatrywać w oparciu o reguły języka. I tutaj 
sprawa się krystalizuje.

> i bliższa jest logoka
> matematyczna w której to się stosuje "i", a nie "oraz" od ogólnego
> "języka polskiego"

Czy z punktu widzenia logiki zdania:
1. długi i szeroki
2. długi oraz szeroki
mają inne znaczenie? Otóż nie. To nadal znaczy to samo. I fakt, że w 
zdaniach logicznych używa się "i" nie oznacza, że zabronione jest 
używanie "oraz". Z synonimów trzeba sobie zdawać sprawę, bo potem 
potrzebne jest tłumaczenie wszystkich "oraz" na "i" dla wąsko 
wykształconych programistów, to co Ty nazwałeś tłumaczeniem na "nasze". 
Co ciekawe synonimem "i" może być "jak również" - z punktu widzenia 
logiki "długi jak również szeroki" nadal będzie miało to samo znaczenie. 
Niestety, niektórzy się o nie pokaleczą, bo brak im umiejętności językowych.

> dla którego bezpośrednim tłumaczeniem słowa AND jest i.

No tak, to bardzo ważki argument. A dlaczego właśnie z angielskiego 
tłumaczymy? Wszak pionierami logiki byli Grecy.

>> Niczego nie "musisz tłumaczyć", bo oba spójniki mają te same znaczenie.
> Ale kod dla programisty C jest nie czytelny.

Jaki kod? Mówimy o zdaniach logicznych.

>> Więc jedyne, o co trzeba zadbać, to stosowanie wyłącznie jednego z
>> nich: albo "i", albo "oraz", aby była spójna konwencja.
>
> Czyli trzeba stosować dodatkowe zabiegi.

Takie same jak w przypadku stosowania "i" - trzeba je stosować wszędzie.


-- 
Dearth PaSkol

- Ciemna druga strona jest.
- Nie marudź Yoda, tylko jedz tego tosta.