wynikanie

 0    14 speciālā zīme    logika12345
lejupielādēt mp3 Drukāt spēlēt pārbaudiet sevi
 
jautājums język polski atbilde język polski
Ze zdania A wynika w języku J zdanie B.
sākt mācīties
Skoro ze zdania A wynika w języku J zdanie B, to implikacja A implikuje B (A→B) jest tezą tego języka.
-
sākt mācīties
Jako teza implikacja ta jest więc w danym języku zdaniem prawdziwym.
Ze zdania A wynika logicznie zdanie B.
sākt mācīties
Skoro ze zdania A wynika logicznie zdanie B to implikacja A implikuje B (A→B) jest tautologią.
-
sākt mācīties
Jako tautologia implikacja ta jest więc zdaniem prawdziwym.
A jest prawdziwe
sākt mācīties
Gdy nadto 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.
-
sākt mācīties
Reasumując, w tym przypadku zdanie B okazuje się prawdziwe.
A jest fałszywe
sākt mācīties
Gdy przy tym fałszywy jest jej poprzednik, czyli zdanie A, to na podstawie matrycy spójnika implikacji
-
sākt mācīties
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.
-
sākt mācīties
Reasumując, w tym przypadku można powiedzieć tylko tyle, że zdanie B jest prawdziwe albo fałszywe.
B jest prawdziwe
sākt mācīties
Gdy nadto prawdziwy jest jej następnik, czyli zdanie B, to na podstawie matrycy spójnika implikacji
-
sākt mācīties
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.
-
sākt mācīties
Reasumując, w tym przypadku można powiedzieć tylko tyle, że zdanie A jest prawdziwe albo fałszywe.
B jest fałszywe.
sākt mācīties
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.
-
sākt mācīties
Reasumując, w tym przypadku zdanie A okazuje się fałszywe.

Lai ievietotu komentāru, jums jāpiesakās.