Dowód twierdzenia o poprawności

Zdania. Tautologie. Język matematyki. Wszelkie zagadnienia związane z logiką matematyczną...
Adam Bodytko
Użytkownik
Użytkownik
Posty: 1
Rejestracja: 13 lis 2022, o 11:32
Płeć: Mężczyzna
wiek: 20

Dowód twierdzenia o poprawności

Post autor: Adam Bodytko »

Cześć wszystkim,
Mam trochę wątpliwości co do mojego rozumowania i proszę o pomoc.

Ostatnio natknąłem się twierdzenie o poprawności:
"Jeśli istnieje rezolucyjny dowód sprzeczności zbioru F, to zbiór F jest sprzeczny"

Z tego co pisze pod tymże twierdzeniem łatwo powinno być udowodnić je w systemie rezolucji.
Okazuje się, że "łatwo" to nie jest na tyle łatwo, żebym widział rozwiązanie.

Czy powinienem w jakiś sposób posłużyć się drzewkiem używając reguły rezolucji? Czy raczej skupić się na bardziej opisanej słownie definicji rezolucji i dowodu sprzeczności? Jak w ogóle najlepiej zabrać się za tego typu dowód?
Dziękuję za wszelką pomoc!
ODPOWIEDZ