41648

Litery zdaniowe: p, q, r, s... są to zmienne zdaniowe, za które będziemy podstawiać zdanie.

3<2 - zdanie F Nieprawda, że (3<2)

/

Termin logiczny, pozostałe to terminy poza logiczne. Wyrażenie „nieprawda, że” nazywamy funktorem negacji i oznaczamy symbolem i rozumiemy zgodnie z następującą tabelą:

p	~p
0	1
1	0

p i ~p jest to para zdań sprzecznych

*- termin logiczny

1.    Jeżeli zabili go, to nie żyje.

2.    Jeżeli temperatura jest grubo poniżej 0 st. C to woda w stawie zamarza.

P    q

3.    Jeżeli liczba x jest podzielna przez 4, to liczba ta jest parzysta.

P    q

4.    Jeżeli nauczysz się logiki, to zdasz egzamin z tego przedmiotu

P    q

Są to zdania prawdziwe.

Są to zdania złożone.

Gdybyśmy je odwrócili byłyby one fałszywe.

Wszystkie te zdania mają tę samą formę logiczną.

Wyrażenie „jeżeli ...p, to q” nazywamy implikacją o poprzedniku „p” i następniku „q”. Symbolicznie zapisujemy to: „p —► q” i rozumiemy wg. tabelki.

Zdanie 4