• Nie Znaleziono Wyników

Widok W sprawie „Algebraicznej semantyki dla nihilistycznych rachunków kwantyfikatorów”

N/A
N/A
Info
Pobierz
Protected

Academic year: 2021

Share "Widok W sprawie „Algebraicznej semantyki dla nihilistycznych rachunków kwantyfikatorów”"

Copied!
2
0
0

Ładowanie.... (Zobacz pełny tekst teraz)

Pobierz teraz ( 2 Stron )

Pełen tekst

(1)

KORESPONDENCJA

Eugeniusz Żabski

W sprawie „Algebraicznej semantyki dla nihilistycznych

rachun-ków zdań”

Do opublikowanego w nrze 4/93 Filozofii Nauki tekstu „Algebraiczna semantyka dla nihilistycznych rachunków zdań” zakradły się następujące błędy:

1. Aksjomaty nrz n3: A5. A-» (-A-> MA), A8. Av-A,

A19. FA = -A,

A21. MA-> (Aa -A)

winny mieć postać odpowiednio: A5. (A—>~A)—»~A,

A8. TAvFA, A19. FA—>~A, A21. MAs (A a -A)

2. W aksjomatyce nrz n4 można usunąć aksjomat A5: A —> (-A -> MA), a aksjomat A19: MA —> (A —> -A) — zastąpić aksjomatem MA = (A a -A).

3. Zamiast aksjomatu nrz ru A10: (A —> C) —> ((A —> C) —> (A v B —> C)) winien być aksjomat następujący: (A —> B) —> ((A -» C) -> (A -> B a C)).

4. Warunek 13 definiujący n3 - algebrę:, Jeśli mx = 1, to fx = 1” należy usunąć. 5. Zamiast tabelki:

X fx

0 1

1/2 0

1 0

definiującej operację f w n3 winna być tabelka następująca:

X fx

0 1

1/2 1

(2)

150 Korespondencja

6. W związku ze zmianą aksjomatyk n3 i n4 dowody ich przystosowania winny być także nieco zmienione.

Cytaty

Pobierz teraz ( PDF - 2 Stron - 343.71 KB )

Powiązane dokumenty

AKSJOMATY KLASYCZNEGO RACHUNKU ZDAŃ

Prowadzimy rozumowanie dotąd, dokąd nie dojdziemy do wniosku że taka koniunkcja założeń i hipotezy jest albo fałszywa sama w sobie, albo wynika z niej zdanie fałszywe..

Regulamin świadczenia usług w zakresie prowadzenia rachunków bankowych dla klientów indywidualnych

2) podejrzenie nieuprawnionego użycia karty stokenizowanej dodanej do Portfela SGB lub umyślnego doprowadzenia do nieautoryzowanej transakcji zbliżeniowej. Bank odblokuje

Regulamin świadczenia usług w zakresie prowadzenia rachunków bankowych dla klientów instytucjonalnych

4) kursy walut Banku mogą ulegać zmianom w ciągu dnia roboczego i podawanesą do wiadomości w bieżącej tabeli kursów walut Banku, dostępnej w placówkach Banku oraz

INSTRUKCJA PRZENOSZENIA RACHUNKÓW PŁATNICZYCH DLA KLIENTÓW INDYWIDUALNYCH

Przeniesienie rachunku i/lub usług płatniczych z zastrzeżeniem ust 2 następuje na pisemny wniosek Klienta, o przeniesienie rachunku płatniczego , po złożeniu przez Klienta

Regulamin świadczenia usług w zakresie prowadzenia rachunków bankowych dla klientów indywidualnych

4) jeżeli udowodni, iż rachunek banku odbiorcy został uznany w pełnej wysokości oraz w terminie. 2 pkt 4, bank odbiorcy ponosi wobec odbiorcy odpowiedzialność

Regulamin świadczenia usług w zakresie prowadzenia rachunków bankowych dla klientów indywidualnych

Posiadacz rachunku może zlecić dokonywanie przez Bank cyklicznych przelewów na wskazany rachunek bankowy (zlecenie stałe) lub jednorazowego przelewu z datą

TABELA OPROCENTOWANIA RACHUNKÓW BANKOWYCH KREDYTOWYCH W BANKU SPÓŁDZIELCZYM W ZAMBROWIE DLA KLIENTÓW INDYWIDUALNYCH

* oprocentowanie wskazane w tabeli obejmuje również wnioski kredytowe złożone do dnia 08.04.2020 roku włącznie1. Kwota kredytu stanowi:

TABELA OPROCENTOWANIA RACHUNKÓW BANKOWYCH KREDYTOWYCH W BANKU SPÓŁDZIELCZYM W ZAMBROWIE DLA KLIENTÓW INSTYTUCJONALNYCH

*oprocentowanie wskazane w tabeli obejmuje również wnioski kredytowe złożone do dnia 08.04.2020 roku