« (3) inkonzistencia :: hore :: (4) inkonzistentný systém rovníc »
Autor: RNDr. Marián Olejár
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).
« (3) inkonzistencia :: hore :: (4) inkonzistentný systém rovníc »
Pridané: 03/08/04 Posledná zmena: 28/03/07
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
Verzia pre PC: Encyklopédia YS, inkonzistentný systém
(c) 2007, Marián Olejár, Jr.
All rights reserved.
kontakt: marianolejar (zavinac) yahoo (bodka) com