u perspek - Filozofski fakultet u Splitu

i. ’Fiat’i’Fiat¦’
ii. ’Est’, ’Est¤’, ’Est¦’
b. Propozicijska slova: ’p’, ’q’,...
c. Veznici: ’¬’, ’∨’
d. Pomoćni simboli: ’(’, ’)’
2. Pravila tvorbe:
– Sva propozicijska slova p, q, r, ... su atomarne rečenice deskriptivnog
jezika LD.
– Ako su ϕ i ψ rečenice LD, onda su ¬ϕ, ϕ ∧ ψ rečenice u
LD. Ostali veznici u LD definirani su na standardni način:
(ϕ ∨ ψ) kao ¬ (¬ϕ ∧¬ψ), (ϕ → ψ)kao (¬ϕ ∨ ψ).
– Ako ϕ ∈ LD, onda Fiat(ϕ), Fiat¦ (ϕ), ¦Fiat(ϕ), Est(ϕ),
Est¤ (ϕ), Est¦ (ϕ), ¦Est(ϕ), Est(ϕ) → Fiat(ψ) ∈
LF/E. – Ništa drugo nije u LF/E. 4.2.2 Semantika
4.2.2.1 Statična semantika
Statična semantika deskriptivnog jezika LD
· D je skup svih propozicijskih slova u LD.
· Mogući svijet w je element partitivnog skupa ℘D.
· Vrednovanje propozicijskog slova p u mogućem svijetu
w je karakteristična funkcija Vw takva da Vw ½ (p) =
>, ako p ∈ w
⊥,akop/∈ w .
· Vrednovanje složenih rečenica u jeziku LD je standardno:
226
Vw (¬ϕ) => akko Vw (ϕ) =⊥;
Vw (ϕ ∧ ψ) => akko Vw (ϕ) => i Vw (ψ) =>