Klasyczny rachunek zdań adaś: KLASYCZNY RACHUNEK ZDAŃ Wybierz co najmniej jedno znane Ci złożone prawo logiki zdań, zbudowane za pomocą znaku implikacji jako funktora głównego, następnie postaw znak negacji przy którejkolwiek zmiennej zdaniowej (p, q, r ... lub tp.) występującej wewnątrz tego pra-wa – w efekcie tego prostego zabiegu cała formuła przestanie być prawem logiki zdań. Wykaż zatem wzorcowo stosowaną metodą 0-1 (przez falsyfikację), że ta nowa formu-ła nie jest prawem logiki, a następnie podaj: konkretny przykład podstawieniowy pozy-tywny tej zmienionej formuły (tj. gdy przy prawdziwości poprzednika całej implika-cji, jej następnik będzie także prawdziwy), jak też konkretny przykład podstawienio-wy negatywny (tj. kontrprzykład) tej zmienionej formuły (czyli gdy przy prawdzi-wości poprzednika całej implikacji, jej następnik będzie jednak fałszywy). Jak powinno to wyglądać...

meteor: mateusz poszedl na miasto, ale sizestal, wiec pojdzie do kina