Rezolwenta
Z Wikipedii
Ten artykuł wymaga dopracowania zgodnie z zaleceniami edycyjnymi. Należy w nim poprawić: Podać definicję/opis metody; czy to jest to samo co en:Resolution (logic) ? Objaśnić przykład. Po naprawieniu wszystkich błędów można usunąć tę wiadomość. |
Rezolwenta to wynik przeprowadzenia wnioskowania metodą rezolucji na pewnych przesłankach.
[edytuj] Przykład
Przesłanki: filozof(Sokrates), ~filozof(Sokrates) lub człowiek(Sokrates)
Rezolwenta: człowiek(Sokrates).