Professional Documents
Culture Documents
Loparic1986 Semantical Study Propositional
Loparic1986 Semantical Study Propositional
1 such that D,(t,j),
h,(F’) =1 and h,(F”) = 0.
Proof: Assume the hypothesis. Then h(F”) = 0. 1) Suppose
that F’ DF” € (F,,..., Fy }sthen &(F’ DF") = YF") = 0.
If &(F’) = 1, then h{F") = 1 and, since D,(j, j), the property
holds. If 9/F") = 0, let / be such that F” DF” = Fj; then
G is i4ifferentiated and fi i, j) isa term of (7)! "hence,
vi, k, j) will be a term of y* 7 and, by 7.15, for every
t © fi, k, j), we have that &(F’) = 1 and &(F”) = 0; since,
by 7.3, vi, &, j) # 9, for some t € yi, k, t), t = HP);
hence, D2(t, j), %(F") = 1 and 8,(F”) = 0, 2) Suppose now
that F’ OF” € {F,,.. 7%, and apply induction on ufk, j).
If ufk, j) = 0 then by 7.11, h(F’) = 1 and h(F”) = Oand90 A SEMANTICAL STUDY OF PROPOSITIONAL CALCULI
7.18 ~
since D,(j, j), the property holds; if wk, j) > 0 then:
a) if hy(F’) = 1, such as in the last case, the property holds;
b) if A/F") = 0, then, by condition 2c) of 7.11, there is
at? of 5/*/) such that h,(F’ DF”) = 0; but then, by 7.9,
uk, t’) < ufk, j) and by the inductive hypothesis, there
sate Q[P,..., Fe} ap’> 1 such that D, (1, t’) and
Rf") = 1, &fF") = 0; now we have D,ft’, j); hence
Dy +1(t, j) and the proposition holds.
For every | © OIF ,,... , Fy) if hlA(z)) = O then there
isat€QlFi,..., Fy]and a p > 1 such that D,ft, j), and
for 1You might also like