Академический Документы
Профессиональный Документы
Культура Документы
\phi (x))}
• (
∃
x
ϕ
(
x
)
)
→
¬
(
∀
x
¬
ϕ
(
x
)
)
{\displaystyle (\exists x\ \phi (x))\to \neg (\forall x\ \neg
\phi (x))}
• (
∃
x
¬
ϕ
(
x
)
)
→
¬
(
∀
x
ϕ
(
x
)
)
{\displaystyle (\exists x\ \neg \phi (x))\to \neg (\forall x\
\phi (x))}
• (
∀
x
¬
ϕ
(
x
)
)
↔
¬
(
∃
x
ϕ
(
x
)
)
{\displaystyle (\forall x\ \neg \phi (x))\leftrightarrow \neg
)\leftrightarrow \psi )}
• (
ϕ
→
ψ
)
↔
(
(
ϕ
∧
ψ
)
↔
ϕ
)
{\displaysty
le (\phi \to \psi )\leftrightarrow ((\phi \land \psi
)\leftrightarrow \phi )}
• (
ϕ
∧
ψ
)
↔
(
(
ϕ
→
ψ
)
↔
ϕ
)
{\displaysty
le (\phi \land \psi )\leftrightarrow ((\phi \to \psi
)\leftrightarrow \phi )}
• (
ϕ
∧
ψ
)
↔
(
(
(
ϕ
∨
ψ
)
↔
ψ
)
↔
ϕ
)
{\displaystyle (\phi \land \psi )\leftrightarrow (((\phi \lor
\psi )\leftrightarrow \psi )\leftrightarrow \phi )}