3582322602

Rozdział VI: Rachunek zdań

Funkcja zdaniowa

Funkcje aria mowę - to wyrażenia opisowe reprezentujące strukturę (np. Każde P jest Q)wypowiedzi same niemające wartości logicznej.

Konkretyzacją funkcji - Działanie podstawiania pod P i Q wyrazu bądź wyrażenia dzięki, któremu możemy określić wartość logiczną.

Kwantyfikowanie - jest to operacja polegająca na objęciu kwantyfikatorem każdej ze zmiennych występujących w schemacie, co powoduje ich przemianę w zdania.

Funktory prawdziwościowe i nieprawdziwościowe

FUNKTORY:

-    Nieprawdziwościowe - charakteryzują się tym, że łącząc ze sobą zdania o określonej wartości logicznej nie wyznaczają w jednoznaczny sposób wartości logicznej zdania złożonego. Gdyż jest on też uzależniony od treści zdania. Np. „Paryż jest stolicą Francji” - zdanie prawdziwe. ..koniecznym jest, że Paryż jest stolicą Francji" - zdanie nie prawdziwe(np. możliwe, z tego wynika, że itp.).

-    Prawdziwościowe - charakteryzują sie tvm że łącząc ze sobą zdania o określonej wartości logicznej wyznaczają w jednoznaczny sposób wartość logiczną zdania złożonego(np, lub, albo, bądź).

Funktory prawdziwościowe jednoargumentowe

-    Asercja - iest funktorem potwierdzającym prawdziwość (np. Prawdą

jest, że; zaiste; naprawdę). A oznaczany jest przez:    | ". NIE

ZMIENIA WARTOŚCI LOGICZNEJ ZDANIA.

-    Negacja - zmienia wartość logiczną zdania (np. nie jest tak, że; nieprawdą jest, że). A oznaczany jest przez

Sprzeczność jest wtedy gdy dwa zdani mówią o tej samej rzeczy, przy czym jedno z nich mówi, że tak jest, a drugie, że tak nie jest.

Z dania przeciwne - nie mówią o tym samym a fałszywość jednego nie przesądza o prawdzie drugiego, choć prawdziwość jednego przesądza o fałszywości drugiego

Funktory Prawdziwościowe dwuargumentowe

Koniunkcja - związek współprawdziwości dwóch zdań(spójnikami są: np. i; przecinak). Koniunkcje oznaczamy (P n Q). Jest prawdziwa <=> oba jaj