logika:
logika:: logika: czy C oznacza też nawias w notacji polskiej?
24 cze 16:25
jakubs: Według mnie: nie
24 cze 17:52
Saizou :
oj nie, C to implikacja
np. zapis Cpq jest tym samy co p→q
24 cze 20:09
Janek191:
Beznawiasowa symbolika Łukasiewicza
C − koniunkcja
D − alternatywa
E − równoważność
I − implikacja
N − negacja
Patrz: Elementy logiki i teorii mnogości w zadaniach − W. Marek i J. Onyszkiewicz
s. 14
24 cze 20:12
Saizou :
Janek ja znam inne oznaczenia z książki prof. Batóga
K−koniunkcja
A−alternatywa
E− równoważność
C− implikacja
N−negacja
24 cze 20:18
Janek191:
Bo teraz każdy wprowadza swoje oznaczenia i stąd bierze się cały bałagan
24 cze 20:19
Saizou :
tak też byłem uczony
24 cze 20:21
Janek191:
Dziwny ten Tadeusz Batóg. Zaczynał od filologii polskiej i wykładów marksizmu , a został
logikiem matematycznym
24 cze 20:54