Matematické Fórum

kowtnaak · 06. 06. 2009 15:29

zdravim,
když při zjišťování sémantického důsledku platí že $S|=\psi$ ptk když množina $S\cup \neg \psi$ je nesplnitelná, platí to i obráceně? jakože ten konsekvent platí když $S\cup \psi$ je splnitelná? možná je to hloupý dotaz, ale já sem z toho trochu zmatenej, resp. kdyby to právě fungovalo obráceně tak proč se obtěžovat s tou negací, nebo je to jenom kvůli zkrácení toho resolučního algoritmu?

Kondr · 06. 06. 2009 16:50

Neplatí. Vezmi si třeba $S=\{\phi\}$ Pak $S\cup \{\psi\}=\{\phi,\psi\}$ je splnitelná (z S nevyplývá $\neg\psi$ ) i $S\cup \{\neg\psi\}=\{\neg\psi,\phi\}$ je splnitelná (z S nevyplývá ani $\psi$ ).

Matematické Fórum

#1 06. 06. 2009 15:29

sémantický důsledek

#2 06. 06. 2009 16:50

Re: sémantický důsledek

Zápatí