Logika, zadanie nr 4991
ostatnie wiadomości | regulamin | latex
| Autor | Zadanie / Rozwiązanie |
| krystian987 postów: 3 |  2016-11-22 23:32:17MAm 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