u perspek - Filozofski fakultet u Splitu

· hρ, πi[! O ϕ)] = hρ, πi [·ϕ][! > ϕ].
Primjedba 6.7 S uvo¯denjem «jednostranog» ! > imperativa
nestala je potreba da se «komplementarni» imperativ ! P i
«simetrični» imperativ ! O tretiraju kao osnovne rečenice.
Negacije:
· hρ, πi[¬! > ϕ]=hρ, πi[! > ¬ϕ];
· hρ, πi[¬! P ϕ]=hρ, πi[! O ¬ϕ];
· hρ, πi[¬! O ϕ]=hρ, πi[! P ¬ϕ];
· hρ, πi[¬·ϕ] =hρ, πi[·¬ϕ];
½
hρ, πi ako hρ, πi[¡ϕ] 6= 1,
· hρ, πi[¬¡ϕ] =hρ, πi[·¦¬ϕ] =
1 inače.
Kondicionalni imperativi.
· hρ, πi £ ·ψ →! > ϕ ¤ ½ £ ¤
hρ, πi ! > ϕ ako hρ, πi [·ψ] =hρ, πi,
=
hρ, πi [·¬ψ] ⊕hρ, πi £ ·ψ;! > ϕ ¤ inače.
· hρ, πi £ ·ψ →! P ϕ ¤ ½ £ ¤
hρ, πi ! P ϕ ako hρ, πi [·ψ] =hρ, πi,
=
hρ, πi [·¬ψ] ⊕hρ, πi £ ·ψ;! P ϕ ¤ inače.
· hρ, πi £ ·ψ →! Oϕ ¤ ½ £ ¤
hρ, πi ! Oϕ ako hρ, πi [·ψ] =hρ, πi,
=
hρ, πi [·¬ψ] ⊕hρ, πi £ ·ψ;! Oϕ ¤ inače.
Primjedba 6.8 Ako indikativni antecedens vrijedi, onda se
izvodi obnavljanje imperativnim konzekvensom. U protivnom
se pristupa svojevrsnoj uniji dvaju obnavljanja: uzima se (i)
negacija antecedensa zajedno s (ii) indikativnim antecedensom
i imperativnim konzekvensom. Moguća su dva slučaja
neprihvaćenog antecedensa. Ako vrijedi negacija indikativnog
antecedensa, onda je «u igri» samo (i) obnavljanje. Ako pak ne
vrijedi ni antecedens niti njegova negacija, onda će kondicionalni
imperativ biti «zapamćen» i utjecat će na kasniji razvoj stanja.
90