reguły wnioskowania

Zdania. Tautologie. Język matematyki. Wszelkie zagadnienia związane z logiką matematyczną...
Cheerful
Użytkownik
Użytkownik
Posty: 69
Rejestracja: 28 mar 2007, o 17:59
Płeć: Kobieta
Lokalizacja: kraków
Podziękował: 11 razy

reguły wnioskowania

Post autor: Cheerful » 7 paź 2007, o 13:59

mam pytanie czy takie przekształcenie jest prawidłowe a jesli nie to jak je uproscic za pomoca reguł wnioskowania??\(\displaystyle{ (\sim p\vee q)\vee(\sim p\vee r)=\sim p\vee ( q\vee r)}\)
Rekrutacja Instytut Matematyczny, Uniwersytet Wrocławski (gif)

mostostalek
Użytkownik
Użytkownik
Posty: 1384
Rejestracja: 26 lis 2006, o 21:34
Płeć: Mężczyzna
Lokalizacja: Poznań
Podziękował: 33 razy
Pomógł: 268 razy

reguły wnioskowania

Post autor: mostostalek » 7 paź 2007, o 14:53

hmmm jakby nie patrzeć to to jest poprawne.. choćby dlatego, że alternatywa jest łączna i nie musimy używać nawiasów dlatego można usunąć powtarzające się wyrażenia i wychodzi wszystko ok

ODPOWIEDZ