Dowód twierdzenia o poprawności
: 13 lis 2022, o 12:04
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!
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!