Zadanie 6, a

Jedno ze zdań dotyczących wynikania logicznego:

Zadanie 1.

Ze zdania A wynika w języku J zdanie B. Zdanie A jest prawdziwe. Co na tej podstawie można
powiedzieć o wartości logicznej zdania B? Uzasadnij swoją odpowiedź.

Skoro ze zdania A wynika w języku J zdanie B, to implikacja A implikuje B jest tezą tego języka. Jako
teza implikacja ta jest więc w owym języku zdaniem prawdziwym. Gdy ponadto prawdziwy jest jej
poprzednik, czyli zdanie A, to na podstawie MODUS PONENDO PONENS. Przesądza to o prawdziwości
następnika tej implikacji, czyli zdania B. Reasumując, w tym przypadku zdanie B okazuje się
prawdziwe.

Zadanie 2.

Ze zdania A wynika w języku J zdanie B. Zdanie A jest fałszywe. Co na tej podstawie można
powiedzieć o wartości logicznej zdania B. Uzasadnij swoją odpowiedź.

Skoro ze zdania A wynika w języku J zdanie B, to implikacja AB jest tezą tego języka. Jako teza
implikacja ta jest więc w owym języku zdaniem prawdziwym. Gdy przy tym fałszywy jest jej
poprzednik, czyli zdanie A, to na podstawie matrycy spójnika implikacji prawdziwość tej implikacji jest
zagwarantowana. Zarówno wtedy, gdy jej następnik, czyli zdanie B jest zdaniem prawdziwym, jak i
wtedy, gdy zdanie to jest fałszywe. Reasumując w tym przypadku można powiedzieć tylko tyle, że
zdanie B jest prawdziwe albo fałszywe.

Zadanie 3.

Ze zdania A wynika w języku J zdanie B. Zdanie B jest prawdziwe. Co na tej podstawie można
powiedzieć o wartości logicznej zdania A? Uzasadnij swoją wypowiedź.

Skoro ze zdania A wynika w języku J zdanie B, to implikacja AB jest tezą tego języka. Jako teza
implikacja ta jest więc w owym języku zdaniem prawdziwym. Gdy nadto prawdziwy jest jej następnik,
czyli zdanie B to na podstawie matrycy spójnika implikacji prawdziwość tej implikacji jest
zagwarantowana zarówno wtedy, gdy jej poprzednik, czyli zdanie A jest zdaniem prawdziwym, jak i
wtedy, gdy jest to zdanie fałszywe. Reasumując w tym przypadku można powiedzieć tylko tyle, że
zdanie A jest prawdziwe albo fałszywe.
Zadanie 4.

Ze zdania A wynika w języku J zdanie B. Zdanie B jest fałszywe. Co na tej podstawie można
powiedzieć o wartości logicznej zdania A? Uzasadnij swoją wypowiedź.

Skoro ze zdania A wynika w języku J zdanie B, to implikacja AB jest tezą tego języka. Jako teza
implikacja ta jest więc w owym języku zdaniem prawdziwym. Gdy przy tym fałszywy jest jej
następnik, czyli zdanie B to na podstawie MODUS TOLLENDO TOLLENS przesądza to o fałszywości
poprzednika tej implikacji, czyli zdania A. Reasumując, w tym przypadku zdanie A okazuje się
fałszywe.

Zadanie 5.

Ze zdanie A wynika logicznie zdanie B. Zdanie A jest prawdziwe. Co na tej podstawie można
powiedzieć o wartości logicznej zdania B? Uzasadnij swoją wypowiedź.

Skoro ze zdania A wynika logicznie zdanie B, to implikacja AB jest TAUTOLOGIĄ. Jako tautologia
implikacja ta jest więc zdaniem prawdziwym. Gdy przy tym prawdziwy jest jej poprzednik, czyli
zdanie A, to na podstawie MODUS PONENDO PONENS przesądza to o prawdziwości następnika tej
implikacji, czyli zdania B. Reasumując w tym przypadku zdanie B okazuje się prawdziwe.

Zadanie 6.

Ze zdanie A wynika logicznie zdanie B. Zdanie A jest fałszywe. Co na tej podstawie można
powiedzieć o wartości logicznej zdania B? Uzasadnij swoją wypowiedź.

Skoro ze zdania A wynika logicznie zdanie B, to implikacja AB jest TAUTOLOGIĄ. Jako tautologia
implikacja ta jest więc zdaniem prawdziwym. Gdy przy tym fałszywy jest jej poprzednik, czyli zdanie
A, to na podstawie matrycy spójnika implikacji, prawdziwość tej implikacji jest zagwarantowana
zarówno wtedy, gdy jej następnik czyli zdanie B jest zdaniem prawdziwym, jak i wtedy, gdy zdanie to
jest fałszywe. Reasumując, w tym przypadku można powiedzieć tylko tyle, że zdanie B jest prawdziwe
albo fałszywe.

Zadanie 7.

Ze zdania A wynika logicznie zdanie B. Zdanie B jest prawdziwe. Co na tej podstawie można
powiedzieć o wartości logicznej zdania A? Uzasadnij swoją wypowiedź.
Skoro ze zdania A wynika logicznie zdanie B, to implikacja AB jest TAUTOLOGIĄ. Jako tautologia
implikacja ta jest więc zdaniem prawdziwym. Gdy nadto prawdziwy jest jej następnik, czyli zdanie B
to na podstawie matrycy spójnika implikacji, prawdziwość tej implikacji jest zagwarantowana
zarówno wtedy, gdy jej poprzednik, czyli zdanie A jest zdaniem prawdziwym, jak i wtedy, gdy zdanie
to jest fałszywe. Reasumując w tym przypadku można powiedzieć tylko tyle, że zdanie A jest
prawdziwe albo fałszywe.

Zadanie 8.

Ze zdania A wynika logicznie zdanie B. Zdanie B jest fałszywe. Co na tej podstawie można
powiedzieć o wartości logicznej zdania A? Uzasadnij swoją wypowiedź.

Skoro ze zdania A wynika logicznie zdanie B, to implikacja AB jest TAUTOLOGIĄ. Gdy przy tym
fałszywy jest jej następnik, czyli zdanie B to na podstawie MODUS TOLLENDO TOLLENS, przesądza to
o fałszywości poprzednika tej implikacji, czyli zdania A. Reasumując, w tym przypadku zdanie A
okazuje się fałszywe.