23:07:04 21. 05. 2012
inkonzistentný systém
Autor [RNDr. Marián Olejár] Pridané [03/08/04] Posledná zmena [28/03/07]
logika:
Inkonzistentný systém, inkonzistentný formálny systém je vtedy, ak veta a jej negácia sú teorémy. Napr. ak A aj non A (~A) sú teorémy daného systému. Je to nežiaduca požiadavka, ktorá vyvoláva rozpornosť celého systému.
Naopak, konzistentný je formálny systém vtedy, ak v ňom nevznikajú kontradikcie.
V tradičnej logike inkonzistentná trieda je trojica kategorického sylogizmu vybratá tak, že spojenie dvoch premís vedie k falzifikácii (popretiu) záveru, resp. spojenie ľubovoľných dvoch z trojice vedie ku falzifikácii (nepravde) tretej (antilogizmus).
Citujte toto encyklopedické heslo ako:
Text: RNDr. Marián Olejár: inkonzistentný systém; encyklopédia www.ys.sk
Odkaz: http://www.ys.sk/heslo/inkonzistentny_system.php
Inkonzistentný systém, inkonzistentný formálny systém je vtedy, ak veta a jej negácia sú teorémy. Napr. ak A aj non A (~A) sú teorémy daného systému. Je to nežiaduca požiadavka, ktorá vyvoláva rozpornosť celého systému.
Naopak, konzistentný je formálny systém vtedy, ak v ňom nevznikajú kontradikcie.
V tradičnej logike inkonzistentná trieda je trojica kategorického sylogizmu vybratá tak, že spojenie dvoch premís vedie k falzifikácii (popretiu) záveru, resp. spojenie ľubovoľných dvoch z trojice vedie ku falzifikácii (nepravde) tretej (antilogizmus).
Citujte toto encyklopedické heslo ako:
Text: RNDr. Marián Olejár: inkonzistentný systém; encyklopédia www.ys.sk
Odkaz: http://www.ys.sk/heslo/inkonzistentny_system.php