117102

•    spójnik implikacji (jeżeli... to) poprzednik + spójnik implikacji + następnik = implikacja

•    spójnik równoważności „=” (wtedy i tylko wtedy, gdy) człony = równoważność.

Kwantyfikatory:

•    duży kwantyfikator a : „każdy”, „dla każdego”

•    mały kwantyfikator v : „pewien”, „jakiś”, istnieje”

Operatory;

•    operatory pytajne : ze zdaniem daje pytanie (czy, dlaczego kiedy, jak)

•    operatory normatywne nakazujące : (nakazuje się, niech, powinno być tak, że)

•    operatory normatywne zakazujące : (zakazuje się, zabrania się, nie wolno).

Rodzaje zdań:

•    zdania proste - nie występuje w nich spójnik

•    zdania złożone - występuje w nich co najmniej jeden spójnik

•    zdania nieskwantyfikowane - nie ma w nich kwantyfikatora.

•    zdania skwantyfikowane - występuje co najmniej jeden kwantyfikator:

♦    zdania generalne - zaczyna się od dużego kwantyfikatora

♦    zdania egzystencjalne - zaczyna się od małego kwantyfikatora

•    zdania syntetyczne - wartość logiczna nie jest przesądzona przez samo znaczenie występujących w nich słów. (Poznań leży nad Wartą)

•    zdania nie-syntetyczne - wartość logiczna przesądzona jest przez samo znaczenie występujących w nim słów:

♦    zdania analityczne - prawdziwość przesądzona jest przez samo znaczenie występujących słów (Wszyscy kawalerowie są nieżonaci)

♦    zdania wewnętrznie kontradyktoryczne : fałszywość przesądzona jest przez samo znaczenie występujących słów. (niektóre słonie nie są słoniami)

•    zdania apodyktyczne - które stwierdzają, że tak a tak musi być, albo nie musi być.

•    Zdania problematyczne - stwierdzają, że tak a tak może być, albo tak a tak może nie być.

Związki między zdaniami:

•    zdania wzajem sprzeczne

•    zdania wzajem przeciwne