Zdanie

Zdanie w sensie logicznym jest wyrazenie jednoznacznie stwierdzające na gruncie regul danego jezyka iż tak a tak jest albo tak a tak nie jest.

Zdaniem w sensei logicznym jest takie wyrazenie wypowiedz które albo jest prawdziwe albo jest fałszywe.

Logika dwuwartosciowa to taka logika która zaklada ze zdanie może mieć tylko jedna z dwoch wartości: mzoe być prawdziwe lub fałszywe. Trojwatosciowe: dochodzi wartość nieokreslona.

Wartosc logiczna zdania – prawdziwość oznaczamy przy pomocy cyferki 1, natomiast fałszywość przy pomocy cyfry 0.

Wynika pytanie czy jest jedna prawda czy tych prawd jest wiele?

PROBLEMY PRAWDZIWOSCI I FALSZYWOSCI ZDAN DOCZYTAC

W sklad kategorii syntaktycznej wchodza:

- zdania

- zmienne zdaniowe

- funkcje zdaniowe

Zmienna zdaniowa – literki: p. q, r, s, t . Zmienna zdaniowa to taka zmienna za która można wstawic dowolne zdanie.

Funkcja zdaniowa – funkcjami zdaniowymi nazywa się formuly zawierające zmienne i znaki stale, a tak zbudowane ze jeżeli na miejsce zmiennych podstawimy odpowiednei stale to otrzymamy zdanie w sensie logicznym.

( p = q) – tylko ze z 3 myslnikami

(p=q) / [ p|~(q >p)] p – zmienna zdaniowa = znak staly

FUNKTORY PRAWDZIWOSCIOWE – nazywamy taki funktor który pozwala nam ustalić jaka wartość będzie miało zdanie utworzone przy jego pomocy, jeżeli znana jest wartość argumentów które on łączy.

Np.

Funktor negacji:

Nie prawda jest ze, nie jest tak ze.

~ nieprawdą jest, ze

WSZYSTKO TO JEST W NOTCE OD RUCHAJA