logowanie

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

Logika, zadanie nr 2377

ostatnie wiadomości  |  regulamin  |  latex

AutorZadanie / Rozwiązanie

milenka90
postów: 2
2014-05-25 13:52:15

Zapisz używając symboli logicznych:

1) Jeżeli $ m \cdot n=0 $ , to $ m=0 $ lub $ n=0 $.

2) Jeżeli $ m>n $ i $ n\neq0$ to $ m\neq0 $

3) Zatem, jeżeli $ m\cdot n=0 $ i $ m>n $, to $ n=0 $


Wprowadziłam następujące oznaczenia:

$ p $ to $ m \cdot n=0 $

$ q $ to $ m=0 $

$ r $ to $ n=0 $

$ s $ to $ m>n $


I zapisałam:

1) $ p \Rightarrow q \vee r $

2) $ s \wedge \neg r \Rightarrow \neg q $

3) $ p \wedge s \Rightarrow r $


Czy dobrze to zrobiłam?



tumor
postów: 8070
2014-05-25 20:32:48

Zdania ok.

Trzecie rozpoczyna się od "zatem", te trzy zdania tworzą schemat wnioskowania logicznego, dwa pierwsze to przesłanki (nad kreska), trzecie to wniosek (pod kreską).

strony: 1

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





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