Mam do tego w końcu rozwiązanie więc jeśli kogoś interesuje:
a więc jeden ze sposobów:
1. p q - przesłanka
2. \neg q r - przesłanka
3. p - założenie
4. p r - z Vi do pkt 3
5. q - założenie
6. \neg q r
7. \neg q - założenie
8. \perp - z prawa eliminacji negacji do pkt 5 i 7
9. p r - prawa ...
Znaleziono 3 wyniki
- 30 paź 2008, o 22:49
- Forum: Logika
- Temat: może jakiś pomysł na to
- Odpowiedzi: 4
- Odsłony: 622
- 28 paź 2008, o 21:56
- Forum: Logika
- Temat: może jakiś pomysł na to
- Odpowiedzi: 4
- Odsłony: 622
może jakiś pomysł na to
no tak tylko chodzi mi o kolejne kroki dowodzenia tego, czyli z prostych metod wnioskowania korzystajac tylko jak dzieki tym dwóm przesłankom dojsc do wniosku
- 28 paź 2008, o 13:21
- Forum: Logika
- Temat: może jakiś pomysł na to
- Odpowiedzi: 4
- Odsłony: 622
może jakiś pomysł na to
\(\displaystyle{ p q , q r}\) wnioskujemy z tego \(\displaystyle{ p r}\)