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!
Dowód twierdzenia o poprawności
-
- Użytkownik
- Posty: 1
- Rejestracja: 13 lis 2022, o 11:32
- Płeć: Mężczyzna
- wiek: 20