28921

15. Alternatywa- zdanie zbudowane ze spójnika alternatywy i jego argumentów.

16.    Spójnik implikacji- spójnik dwuargumentowy, jest fałszywy tylko wtedy, gdy poprzednik jest prawdziwy a następnik fałszywy w pozostałych przypadkach jest prawdziwy (100).

17.    Implikacja- zdanie zbudowane ze spójnika implikacji i jego argumentów.

18.    Spójnik równoważności- spójnik dwuargumentowy, jest prawdziwy, gdy oba argumenty mają taką samą wartość logiczną, tzn. oba są prawdziwe albo fałszywe.

19.    Człony- zdania dołączone do spójnika równoważności jako argumenty.

20.    Równoważność- zdanie zbudowane ze spójnika równoważności i jego argumentów.

21.    Spójnik n- argumentowy- wyrażenie, które z n-tką zdań jako argumentów daje nowe zdanie o wartości logicznej wyznaczonej w szczególny sposób wartością logiczną dołączonych zdań.

22.    Zdanie proste- takie, w którym nie występuje żaden spójnik.

23.    Zdanie złożone- takie, w którym występuje co najmniej jeden spójnik.

24.    Tezy rachunku zdań-wyrażenia rachunku zdań, które przy wszelkich wstawieniach za występujące w nich zmienne przekształcają się w zdania prawdziwe (inaczej zwane też schematami tautologicznymi rachunku zdań lub rachunkowozdaniowymi prawami logiki).

25.    Dowodzenie-zabieg konstruowania dowodu danego wyrażenia.

26.    Formalizacja rachunku zdań- polega na wyborze pewnych tez rachunku zdań jako aksjomatów i podania reguł wyprowadzenia z jednych tez innych tez.

27.    Aksjomatyzacja rachunku zdań- wybór pewnych tez rachunku zdań jako aksjomatów. Polega na tym, że dobiera się określony zestaw tez jako zestaw aksjomatów.

AKSJOMATY: (A1)(pq) [(qr)(pr)] (A2) (pp)p (A3) p(pq)

Reguły powinny umożliwić wyprowadzenie z aksjomatów wszystkich i tylko tez rachunku zdań.