Witam serdecznie,
mam problem z zadaniami, w których nalezy sprawdzić, czy reguła wnioskowania jest poprawna.
Problem polega na tym, że nie można wartościować przesłanek.
i tak:
a) \(\displaystyle{ \frac{p \vee r \rightarrow q, \neg q}{ \neg p}}\)
oraz b) \(\displaystyle{ \frac{s \vee q \rightarrow p, p \rightarrow n}{ \neg n \rightarrow \neg q}}\)
Czy mógłby ktoś objaśnić jak to się robi bez wartościowania? W sumie tę drugą regułę jakby mi ktoś podpowiedział jak wartościować to też byłoby super. W książkach jakie są mi dostępne nie ma tego typu zadań, a wykłady w tym zakresie również były bardzo ograniczone.
Byłbym bardzo zobowiązany.
Sprawdzenie, czy jest to poprawna reguła wnioskowania
-
- Użytkownik
- Posty: 38
- Rejestracja: 4 gru 2006, o 20:39
- Płeć: Mężczyzna
- Lokalizacja: Katowice
- Podziękował: 8 razy
- Pomógł: 3 razy