Dodaj tę stronę do książki
Pokaż książkę (0 stron)
Proponowane strony
 |
Ten artykuł od 2010-04 wymaga uzupełnienia źródeł podanych informacji. Informacje nieweryfikowalne mogą zostać zakwestionowane i usunięte. Aby uczynić artykuł weryfikowalnym, należy podać przypisy do materiałów opublikowanych w wiarygodnych źródłach. |
Rezolwenta to wynik przeprowadzenia wnioskowania metodą rezolucji na pewnych przesłankach.
Przesłanki:
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.
