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