Ejercicios extra – Árboles semánticos en LC

1. Determina si ϕ es tautológica. Si no lo es, ofrece un contraejemplo.

ϕ : ( ( ( P ⊃ ¬Q ) ∧ ( ¬Q ⊃ P ) ) ⊃ ( R⊃ ( P ≡¬ Q ) ) )

2. Determina si ϕ es insatisfacible. Si no lo es, ofrece un ejemplo.

ϕ :¬ ( ( ¬ R ⊃ ( Q∧ S ) ) ∨ ( ¬ R ∧¬ ( S ∨Q ) ) )

3. Determina si ϕ implica a ψ . Si no hay implicación, ofrece un contraejemplo.

ϕ : ((¬ P ⊃ Q )∧ (¬ R ⊃ ¬ P))
ψ : ((( S ⊃ R ) ∧ Q ) ⊃ ¬ P )

4. Determina si Δ es válido. Si no lo es, ofrece un contraejemplo.

Δ: ϕ,ψ , χ ∴ω
ϕ :(Q ⊃ P)
ψ :(R ∨¬Q)
χ :(S ∨T )
ω :(¬ R ⊃T )

5. Determina si ϕ equivale aψ . Si no son equivalentes, ofrece un contraejemplo

ϕ : ( ( ( ¬ P ⊃Q ) ∧ R ) ⊃ ( ¬ P ∧Q ) )
ψ : ( ( S ⊃ ( P ⊃¬ Q ) ) ⊃ ( ¬ Q∨ S ) )

6. Determina si Γ es satisfacible. Si lo es, ofrece un ejemplo.

Γ : {ϕ , ψ , χ }
ϕ :¬¬( R ≡T )
ψ : ( ¬ ( P ∨Q ) ∧ ( ¬ R ∨T ) )
χ :( P ⊃ (S ⊃Q))