Zadani: Najděte interpretaci M a ohodnocení e takové že M |≠ (∀x)(A → B) → (A → (∀x)B) [e]

Jako formuli A zvolím x<pomeranč Jako formuli B zvolím x<bagr

Množina individuí je {graf K5, pomeranč, bagr}

Relaci < definuji :

Ohodnocení e: x → graf K5

Potom formule

(∀x)( (x<pomeranč)→(x<bagr) )→( (x<pomeranč)→(∀x)(x<bagr) )

při ohodnocení e neplatí (protože x má volný výskyt v A)

 
x_a_-_b_-_a_-_x_b_e.txt · Last modified: 2006/05/14 22:30 by 195.113.65.10
 
Recent changes RSS feed Creative Commons License Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki