Bardzo proszę o pomoc w tym zadaniu.
\(\displaystyle{ \alpha \Rightarrow \left[ \beta \Rightarrow \forall\limits_{x} \exists\limits_{y} (( \alpha \vee \beta ) \Rightarrow \varphi(x,y))\right]}\)
-- 19 sty 2018, o 16:58 --
Takie coś mi wyszło, mógłby ktoś to zweryfikować?
\(\displaystyle{ \alpha \wedge \beta \wedge \exists\limits_{x} \forall\limits_{y} (( \alpha \vee \beta ) \wedge \neg \varphi(x,y))\right}\)
Zbuduj negację zdania
-
- Administrator
- Posty: 34353
- Rejestracja: 20 mar 2006, o 21:54
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 3 razy
- Pomógł: 5204 razy