Zad 3.
Proszę zaprzeczyć na trzy sposoby zdaniu Z, gdy:
Z: Dana norma jest zakazująca wtedy i tylko wtedy, gdy jest ona dozwalająca.
Nie każdy podział logiczny spełnia warunek zupełności i nie każdy podział logiczny spełnia warunek rozłączności.
Nieprawda, że jeśli każdy podział logiczny spełnia warunek zupełności, to każdy podział logiczny spełnia warunek rozłączności.
W górach spadnie śnieg lub nie pojadę w góry.
Nieprawda, że zarazem zmniejsza się liczba aktów normatywnych i prawo staje się coraz jaśniejsze.
Rozwiązania: nakazują
Ad a) Z: Dana norma jest zakazująca wtedy i tylko wtedy, gdy jest ona dozwalająca.
Z1: Nieprawda, że wtedy i tylko wtedy dana norma jest zakazująca, gdy jest dozwalająca.
Z2: Dana norma nie jest zakazująca wtedy i tylko wtedy, gdy jest ona dozwalająca.
Z3: Dana norma jest zakazująca wtedy i tylko wtedy, gdy nie jest ona dozwalająca.
Z4: Dana norma jest dozwalająca wtedy i tylko wtedy, gdy nie jest ona zakazująca.
Z5: Dana norma nie jest dozwalająca wtedy i tylko wtedy, gdy jest ona zakazująca.
Ad b) Z:Nie każdy podział logiczny spełnia warunek zupełności i nie każdy podział logiczny spełnia warunek rozłączności.
Z1: Nieprawda, że zarazem nie każdy podział logiczny spełnia warunek zupełności i nie każdy podział logiczny spełnia warunek rozłączności.
Z2: Każdy podział logiczny spełnia warunek zupełności lub każdy podział logiczny spełnia warunek rozłączności.
Z3: Jeśli nieprawdą jest, że każdy podział logiczny spełnia warunek zupełności, to każdy podział logiczny spełnia warunek rozłączności.
Z4: Jeśli nieprawdą jest, że każdy podział logiczny spełnia warunek rozłączności, to każdy podział logiczny spełnia warunek zupełności.
Ad c) Z: Nieprawda, że jeśli każdy podział logiczny spełnia warunek zupełności, to każdy podział logiczny spełnia warunek rozłączności.
Z1: Jeśli każdy podział logiczny spełnia warunek zupełności, to każdy podział logiczny spełnia warunek rozłączności.
Z2: Jeśli nieprawdą jest, że każdy podział logiczny spełnia warunek rozłączności, to nieprawda, że każdy podział logiczny spełnia warunek zupełności
Z3: Albo nieprawdą jest, że każdy podział logiczny spełnia warunek zupełności, albo każdy podział logiczny spełnia warunek rozłączności.
Ad d) Z: W górach spadnie śnieg lub nie pojadę w góry.
Z1: Nieprawda, że albo w górach spadnie śnieg albo nie pojadę w góry.
Z2: W górach nie spadnie śnieg, ale pojadę w góry.
Z3: Pojadę w góry, a w górach nie spadnie śnieg.
Z4: Nieprawda, że albo nie pojadę w góry albo w górach spadnie śnieg.
Z5: Nieprawda, że jeśli pojadę w góry to w górach spadnie śnieg.
Ad e) Z: Nieprawda, że zarazem zmniejsza się liczba aktów normatywnych i prawo staje się coraz jaśniejsze.
Z1: Zmniejsza się liczba aktów normatywnych i prawo staje się coraz jaśniejsze.
Z2: Prawo staje się coraz jaśniejsze i zmniejsza się liczba aktów normatywnych.
Z3: Nieprawda, że albo nie zmniejsza się liczba aktów normatywnych albo prawo nie staje się coraz jaśniejsze.
Z4: Nieprawda, że albo prawo nie staje się coraz jaśniejsze albo nie zmniejsza się liczba aktów normatywnych.
Z5: Nieprawda, że jeśli zmniejsza się liczba aktów normatywnych, to prawo nie staje się coraz jaśniejsze.
Z6: Nieprawda, że jeśli prawo staje się coraz jaśniejsze to nie zmniejsza się liczba aktów normatywnych.