"system formul VL nazyvame sporny prave tedy ked je v nom dokazatelna kazda formula VL"
neviete preco je sporny ked je vsetko dokazatelne? nemalo by to byt opacne?
Ved preto je sporny, lebo je v nom dokazatelne vsetko, kazda jedna forumula, ktora ta napadne, a dobry system - konzistentny je taky, ktorym nieco dokazes a nieco vyvratis, nemozes vsetko dokazat
ale tam nie je hocico co mi napadne, tam su dane formuly...
btw:
system formul je sporny ked je kazda formula dokazatelna.
mnozina klauzul je splnitelna ked kazda klauzla je pravdiva.
pride mi to ako keby to bolo raz tak a potom inak...
praveze tam nie su dane formuly, krore dokazujes,
system formul je sporny ked je
v nom kazda formula dokazatelna.
mnozina klauzul je splnitelna ked kazda
z danych klauzl je pravdiva.
to mas tak, ze pomocou toho systemu dokazujes formuly, neurcujes ich pravdivostnu hodnotu.
sporny system je napriklad φ a ¬φ a mas dokaz:
1. ¬φ
2. φ
3. ¬φ => (φ => ψ) - zakon Dunsa Scotta
4. φ => ψ - modus poens (1,3)
5. ψ - modus poens (2,4)
cize formula ψ je dokazatelna zo systemu, a ψ je lubovolna formula, cize system je sporny