Sprawdzenie, czy jest to poprawna reguła wnioskowania

Permutacje. Kombinacje. Wariacje. Rozmieszczanie kul w urnach. Silnie i symbole Newtona. Przeliczanie zbiorów. Funkcje tworzące. Teoria grafów.
Callan-Grey
Użytkownik
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

Sprawdzenie, czy jest to poprawna reguła wnioskowania

Post autor: Callan-Grey »

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.
ODPOWIEDZ