Rezolwenta

Ten artykuł od 2010-04 wymaga zweryfikowania podanych informacji.

Należy podać wiarygodne źródła w formie przypisów bibliograficznych.
Część lub nawet wszystkie informacje w artykule mogą być nieprawdziwe. Jako pozbawione źródeł mogą zostać zakwestionowane i usunięte.
Sprawdź w źródłach: Encyklopedia PWN • Google Books • Google Scholar • Federacja Bibliotek Cyfrowych • BazHum • BazTech • RCIN • Internet Archive (texts / inlibrary)
Po wyeliminowaniu niedoskonałości należy usunąć szablon {{Dopracować}} z tego artykułu.

Rezolwenta to wynik przeprowadzenia wnioskowania metodą rezolucji na pewnych przesłankach.

Przesłanki:

• zdanie p: Sokrates jest filozofem (prawda)
• zdanie ~pvq: 'Sokrates nie jest filozofem (fałsz) lub Sokrates jest człowiekiem (prawda)

Jeżeli zdanie p jest prawdziwe (co stwierdza pierwsza przesłanka) i jeżeli jedna z części składowych prawdziwej alternatywy jest fałszywa (~p) to druga część składowa tej alternatywy musi być prawdziwa, ergo:

Rezolwenta: Sokrates jest człowiekiem.

q.e.d.