Zbudować zaprzeczenie zdań lub f. zdaniowych (sprawdzenie)

[MichalProg]

Dzień dobry. Proszę o sprawdzenie. Mam napisać zaprzeczenie tych zdań i form zdaniowych:

1) Dziecko założyło lewą i prawą rękawiczkę.
2) Tu możemy skręcić w lewo lub w prawo.
3) Jeżeli pada deszcz, to idę pod parasolem.
4) \(\displaystyle{ W = P = R = 0}\)
5) Jeżeli liczba jest podzielna przez 9, to jest podzielna przez 3
6) Okrąg jest bryłą wtw, gdy -1 jest kwadratem liczby rzeczywistej.

ODP:
1)
\(\displaystyle{ z \Leftrightarrow (p \wedge q)}\)
\(\displaystyle{ \neg z \Leftrightarrow ( \neg p \vee \neg q)}\)
Dziecko nie założyło prawej lub nie założyło lewej rękawiczki

2)
\(\displaystyle{ z \Leftrightarrow (p \vee q)}\)
\(\displaystyle{ \neg z \Leftrightarrow ( \neg p \wedge \neg q)}\)
Tu nie możemy skręcić ani w prawo, ani w lewo.

3)
\(\displaystyle{ z \Leftrightarrow (p \Rightarrow q)}\)
\(\displaystyle{ \neg z \Leftrightarrow (p \wedge \neg q)}\)
Pada deszcz i nie idę pod parasolem.

4)
\(\displaystyle{ z \Leftrightarrow \left[ (W = 0) \wedge (P = 0) \wedge (R = 0)\right]}\)
\(\displaystyle{ \neg z \Leftrightarrow (W \neq 0) \vee (P \neq 0) \vee (R \neq 0)}\)

5)
\(\displaystyle{ z \Leftrightarrow (p \Rightarrow q)}\)
\(\displaystyle{ \neg z \Leftrightarrow (p \wedge \neg q)}\)
Liczba jest podzielna przez 9 i nie jest podzielna przez 3

6)
\(\displaystyle{ z \Leftrightarrow (p \Leftrightarrow q)}\)
\(\displaystyle{ \neg z \Leftrightarrow (p \wedge \neg q) \vee ( \neg p \wedge q)}\)
Okrąg jest bryłą i -1 nie jest pierwiastkiem liczby rzeczywistej, lub okrąg nie jest bryłą i i -1 jest kwadratem liczby rzeczywistej.

//OFFTOPIC
Dlaczego funktory "i" i "lub" mają w latexie nazwy "wedge" i "vee", jak te nazwy kojarzą się z ich znaczeniem?
//

Dzięki
Michał

[kmarciniak1]

Wszystko wygląda ok.
A te nazwy spójników chyba są związane z ich kształtem a nie znaczeniem.

[Dasio11]

\(\displaystyle{ \lor}\) to inaczej lor, \(\displaystyle{ \land}\) to inaczej land (od logical or i logical and).