logowanie

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

Logika, zadanie nr 4991

ostatnie wiadomości  |  regulamin  |  latex

AutorZadanie / Rozwiązanie

krystian987
postów: 3
2016-11-22 23:32:17

MAm sprawdzić czy formuła jest prawem rachunku kwantyfikatorów:
$((\forall x \phi)\Rightarrow(\forall x \psi))\Rightarrow(\forall x(\phi\Rightarrow\psi))$
jak sie do tego zabrac nie moge dojsc systemem dedukcji naturalnej


tumor
postów: 8070
2016-11-23 07:03:56

kontrprzykład znajdź, bo to prawem nie jest.

Ja dam taki: w dziedzinie wszystkich ssaków
$\phi$ oznacza bycie jamnikiem a $\psi$ bycie delfinem. Możesz podać swój, najlepiej matematyczny.



pm12
postów: 493
2016-11-23 21:14:58

Mała uwaga:

Gdy piszesz kilka implikacji kolejno jedna po drugiej, to warto nawiasami określić, co jest poprzednikiem, a co następnikiem w danej implikacji (chyba że istnieje pewna konwencja, której nie znam).


tumor
postów: 8070
2016-11-23 21:50:37

pm12: skąd ta uwaga? krystian987 napisał coś źle?


pm12
postów: 493
2018-05-23 13:16:20

Po prostu przeoczyłem nawiasy. Wszystko w porządku.

strony: 1

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





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