szukanie zaawansowane
 [ Posty: 3 ] 
Autor Wiadomość
Mężczyzna
PostNapisane: 12 gru 2018, o 23:22 
Użytkownik

Posty: 355
Lokalizacja: Łódź
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) 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)
z \Leftrightarrow (p \wedge q)
\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)
z \Leftrightarrow (p \vee q)
\neg z \Leftrightarrow ( \neg p \wedge  \neg q)
Tu nie możemy skręcić ani w prawo, ani w lewo.

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

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

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

6)
z \Leftrightarrow (p \Leftrightarrow q)
\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ł
Góra
Mężczyzna
PostNapisane: 12 gru 2018, o 23:52 
Użytkownik

Posty: 672
Wszystko wygląda ok.
A te nazwy spójników chyba są związane z ich kształtem a nie znaczeniem.
Góra
Mężczyzna
PostNapisane: 13 gru 2018, o 00:01 
Moderator
Avatar użytkownika

Posty: 8448
Lokalizacja: Wrocław
\lor to inaczej \lor, \land to inaczej \land (od logical or i logical and).
Góra
Utwórz nowy temat Odpowiedz w temacie  [ Posty: 3 ] 


 Zobacz podobne tematy
 Tytuł tematu   Autor   Odpowiedzi 
 Formuła rachunku zdań  lolomak  0
 Zaprzeczenia zdań.  haszkar  1
 rachunek zdan. funktory.  dawhyp  3
 zaprzeczenie zdań  Patri  2
 Zapisać zdania jako formułę rachunku zdań  patryk007  8
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [F.A.Q.] [Reklama] [Kontakt]
Copyright (C) Karpatka.pl