"16982"^^ . . "v\u00FDrokovou"@cs . . "V\u00FDrokov\u00E1 logika#V\u00FDrokov\u00E1 formule"@cs . "v\u00FDrokov\u00E9 logice"@cs . . "pojmu matematick\u00E9 logiky"@cs . "V\u00FDrokov\u00E1 formule"@cs . "v\u00FDrokov\u00E1 logika"@cs . . "3090"^^ . "V\u00FDrokov\u00E1 logika"@cs . . . "V\u00FDrokov\u00E1 logika"@cs . . . . . . . . . . "v\u00FDrokov\u00E1"@cs . . . . . . "16550804"^^ . "v\u00FDrokovou logiku"@cs . "v\u00FDrokov\u00E9"@cs . . "pojet\u00ED formule ve v\u00FDrokov\u00E9 logice"@cs . . . "V matematice a logice se pojmem v\u00FDrokov\u00E1 logika ozna\u010Duje form\u00E1ln\u00ED odvozovac\u00ED syst\u00E9m, ve kter\u00E9m atomick\u00E9 formule tvo\u0159\u00ED v\u00FDrokov\u00E9 prom\u011Bnn\u00E9 (na rozd\u00EDl od predik\u00E1tov\u00E9 logiky).V\u00FDrokov\u00E1 logika se skl\u00E1d\u00E1 ze syntaktick\u00FDch pravidel - ur\u010Duj\u00ED, kdy je formule spr\u00E1vn\u011B utvo\u0159en\u00E1, odvozovac\u00EDch pravidel - ur\u010Duj\u00ED, jak z jedn\u011Bch formul\u00ED spr\u00E1vn\u011B odvozovat dal\u0161\u00ED st\u00E1le validn\u00ED d\u016Fsledkov\u00E9 formule, (nejv\u00FD\u0161e spo\u010Detn\u00E9) mno\u017Einy axiom\u016F a axiomatick\u00FDch sch\u00E9mat."@cs . "Formule"@cs . "V\u00FDrokov\u00E1 logika#Pravdivost"@cs . "21"^^ . "V matematice a logice se pojmem v\u00FDrokov\u00E1 logika ozna\u010Duje form\u00E1ln\u00ED odvozovac\u00ED syst\u00E9m, ve kter\u00E9m atomick\u00E9 formule tvo\u0159\u00ED v\u00FDrokov\u00E9 prom\u011Bnn\u00E9 (na rozd\u00EDl od predik\u00E1tov\u00E9 logiky).V\u00FDrokov\u00E1 logika se skl\u00E1d\u00E1 ze syntaktick\u00FDch pravidel - ur\u010Duj\u00ED, kdy je formule spr\u00E1vn\u011B utvo\u0159en\u00E1, odvozovac\u00EDch pravidel - ur\u010Duj\u00ED, jak z jedn\u011Bch formul\u00ED spr\u00E1vn\u011B odvozovat dal\u0161\u00ED st\u00E1le validn\u00ED d\u016Fsledkov\u00E9 formule, (nejv\u00FD\u0161e spo\u010Detn\u00E9) mno\u017Einy axiom\u016F a axiomatick\u00FDch sch\u00E9mat."@cs . "pojet\u00ED formule v predik\u00E1tov\u00E9 logice"@cs . . "v\u00FDrokov\u00E9 logiky"@cs . . .