Encyklopédia Young Scientist

« (4) zákon :: hore :: (5) zákony dvanástich dosiek »

zákon sporu

Autor: RNDr. Marián Olejár

    matematika, logika:
    Zákon sporu je základným zákonom logiky, ktorý hovorí, že nie je možné, aby výrok a jeho negácia boli súčasne pravdivé. Teda výroky p a non p sú inkozistentné či sporné.
    Zákon sporu vo výrokovej logike zapisujeme: `not (p ^^ notp)` a čítame nie je pravda, že nejaký výrok je pravdivý a zároveň nepravdivý.
    Ak zapíšeme pravdivostnú tabuľku:

p	`not p`	`(p ^^ not p)`	`not (p ^^ notp)`
1	0	0	1
0	1	0	1

    vidíme, že posledný stĺpec má len pravdivostnú hodnotu 1, čo znamená, že ide o zákon. Taktiež možno povedať, že ide o tautológiu.
    Zákonu sporu sa hovorí aj zákon logického sporu. Hovoria mu aj zákon negovania sporu, lebo `(p ^^ notp)` je spor a jeho negácia je `not (p ^^ not p)`. Zákon sporu možno formálne zapísať aj pomocou pravdivostnej hodnoty P tretieho stĺpca tabuľky takto: P(`p ^^ not p`) = 0
    Treba povedať, že v názve "zákon sporu" a jeho zmysle "zákon sporu" je nesúlad. Z napísaného vyplýva, že zápis `not (p ^^ notp)` je správnejšie nazývať zákon negovania sporu, alebo zákon či princíp bezospornosti, alebo zásada neprotirečivosti.

« (4) zákon :: hore :: (5) zákony dvanástich dosiek »

Pridané: 16/09/04 Posledná zmena: 13/04/07
Citujte toto encyklopedické heslo ako:
Text: RNDr. Marián Olejár: zákon sporu; encyklopédia www.ys.sk
Odkaz: http://www.ys.sk/heslo/zakon_sporu.php