Logika, zadanie nr 5230
ostatnie wiadomości | regulamin | latex
| Autor | Zadanie / RozwiÄ…zanie |
grapefruit postów: 1 |  2017-01-26 20:04:13Zadanie: Udowodnij prawdziwość argumentów, używajÄ…c dedukcji naturalnej. Argumenty: ∀x[(P(x)∧~A(x))->I(x)] ~∃x(P(x)∧I(x)) Konkluzja: ∀x(P(x)->A(x)) |
| strony: 1 | |
Prawo do pisania przysługuje tylko zalogowanym użytkownikom. Zaloguj się lub zarejestruj