[Mordercza_Konewka]

Miraski, czy jak podaję rezolucyjny dowód sprzeczności jakiegoś zbioru klauzul, to czy mogę użyć jednej klauzuli ze zbioru kilka razy? Bo próbuję od wczoraj przykład i inaczej nie mogę pokonać go ( ͡° ʖ̯ ͡°)
Jakby co to przykład leci: { p v r; -r v -s; q v s; q v r; -p v -q; s v p }. ("v" - alternatywa, "-" - negacja)
#logika #matematyka #pytaniedoeksperta #kiciochpyta #studia

[Mordercza_Konewka]

Moje rozwiązanie

[xorandiff]

@Mordercza_Konewka: Sugerowałbym szukać wartościowań zmiennych, dla których zbiór klauzul jest prawdziwy.

[xorandiff]

@Mordercza_Konewka: Poprawka, przepisałem sobie -r v s zamiast -r v -s, dowód masz dobry

[Mordercza_Konewka]

@xorandiff: Ufff, już zacząłem szukać i dla żadnego wartościowania nie wychodziło :P
Musiałem się upewnić, czy na pewno tak można, bo na wykładzie chyba o takim przypadku nie było, a definicja nie zabrania, a wolę nie nauczyć się źle, jeśli jednak byłby to błąd bo coś tam :D
W każdym razie dziękuję serdecznie za pomoc!

[xorandiff]

Jasne, że można, te klazule to Twoje założenia, a z nich można korzystać ile się chce razy