Czy formuła jest tautologią

myszka666 · Post autor: **myszka666** » 29 sty 2012, o 18:20

Sprawdź, czy następująca formuła jest tautologią:
\(\displaystyle{ \left(\exists {x}: \Phi (x) \Rightarrow \Psi (x)\right) \Rightarrow \exists {x} \left( \Phi (x) \Rightarrow \Psi (x)\right)}\).

Post autor: **Jan Kraszewski** » 29 sty 2012, o 19:22

Zapis jest nieco bez sensu. Popraw go.

JK

myszka666 · Post autor: **myszka666** » 7 lut 2012, o 00:00

Sprawdź, czy następująca formuła jest tautologią:
\(\displaystyle{ \left[\exists {x}: \Phi (x) \Rightarrow \Psi (x)\right] \Rightarrow \exists {x} \left[ \Phi (x) \Rightarrow \Psi (x)\right]}\)

Post autor: **Jan Kraszewski** » 11 lut 2012, o 12:29

Jest tak samo źle, jak było. Czego dotyczy pierwszy kwantyfikator?

JK