logowanie

matematyka » forum » forum zadaniowe - uczelnie wyższe » zadanie

Logika, zadanie nr 2760

ostatnie wiadomości  |  regulamin  |  latex

AutorZadanie / Rozwiązanie

geometria
postów: 865
2014-10-29 22:21:38

1. Zapisac symbolicznie nastepujace zdanie o danej liczbie naturalnej n:
(*) n jest podzielna przez 3, o ile n jest nieparzysta lub wieksza od 5.
stosujac nastepujace oznaczenia:
p oznacza zdanie "Liczba n jest podzielna przez 3"
q oznacza zdanie "Liczba n jest parzysta"
r oznacza zdanie "Liczba n jest wieksza od 5".

p$\Rightarrow$($\neg$q$\vee$r)

dobrze?

2. Podac wszystkie liczby naturalne z przedzialu $[1, 10]$, dla ktorych zdanie (*) z zadania 1 jest prawdziwe.


tumor
postów: 8070
2014-10-30 06:16:29

1. niedobrze

Symbole mają oddawać sens zdania, a nie kolejność słów. Ten sam sens zdania (*) można oddać trochę je przerabiając i zmieniając kolejność zdań składowych.

Nikt na pewno nie definiował
$p \Rightarrow q$ jako "$p$ o ile $q$"

2. Należy - po wykonaniu zadania 1 poprawnie - ocenić, czy liczby naturalne z przedziału $[1;10]$ spełniają warunku $p,q,r$, a następnie ocenić (dla każdej z tych liczb), czy będzie prawdziwe zdanie złożone z $p,q,r$ przy użyciu odpowiednich spójników.



geometria
postów: 865
2014-10-30 20:42:38

"p o ile q" to q$\Rightarrow$p

($\neg$q$\vee$r)$\Rightarrow$p

Czy teraz jest poprawnie?


tumor
postów: 8070
2014-10-30 21:41:41

tak

strony: 1

Prawo do pisania przysługuje tylko zalogowanym użytkownikom. Zaloguj się lub zarejestruj





© 2019 Mariusz Śliwiński      o serwisie | kontakt   drukuj