Logika, zadanie nr 4386
ostatnie wiadomo艣ci | regulamin | latex
| Autor | Zadanie / Rozwi膮zanie |
msmusic16 post贸w: 7 |  2016-03-14 18:35:12Znajd偶 formu艂臋 znajduj膮c膮 si臋 w postaci normalnej alternatywnej r贸wonow偶n膮 formule: p /\ [q /\ (~p=>q)] |
tumor post贸w: 8070 | 2016-03-14 18:45:14 Je艣li naprawd臋 chodzi o posta膰 alternatywn膮, czyli alternatyw臋 koniunkcji, to 艂atwo zadanie rozwi膮za膰 tak: Robimy tabelk臋, tak jak sprawdza si臋, czy formu艂a jest tautologi膮. A nast臋pnie wpisujemy takie koniunkcje, dla kt贸rych ca艂e zdanie jest prawdziwe. Dla p=1 i q=1 ca艂e zdanie jest prawdziwe, wobec tego $(p \wedge q)$ b臋dzie jedn膮 z alternatyw. Dla p=0 i q=1 ca艂e zdanie jest fa艂szywe, wobec tego $(\neg p \wedge q)$ NIE b臋dzie jedn膮 z alternatyw. Inaczej mo偶na skorzysta膰 po prostu z formu艂 r贸wnowa偶nych implikacji czy z rozdzielno艣ci, ale spos贸b z tabelk膮 dale w przypadku postaci alternatywnej do艣膰 szybki wynik. |
| strony: 1 | |
Prawo do pisania przys艂uguje tylko zalogowanym u偶ytkownikom. Zaloguj si臋 lub zarejestruj