Académique Documents
Professionnel Documents
Culture Documents
gia tuqìn ρ. Gia na deÐxoume ìti h dom epalhjeÔei to sumpèrasma tou epiqeir -
matoc, èstw ìti
U |= ∃x¬A(x)[ρ] (2)
Estw a ∈ |U| stoiqeÐo tètoio ¸ste U |= ¬A(x)[ρ(x|a)], to opoÐo gia aploÔsteush
sumbolismoÔ grfoume wc
U |= ¬A(a)[ρ] (3)
dhlad
U 6|= A(a)[ρ] (4)
Apì thn (1) prokÔptei ìti
U |= ¬F (a)[ρ] (8)
Sunep¸c
U |= ∃x¬F (x)[ρ] (9)
Sunep¸c, deÐxame ìti, gia tuqìn ρ, an U |= ∃x¬A(x)[ρ], tìte kai U |= ∃x¬F (x)[ρ].
Dhlad ,