Zad 3.
Proszę zaprzeczyć na trzy sposoby zdaniu Z, gdy:
a) Z: Dana norma jest zakazuj ąca wtedy i tylko wtedy, gdy jest ona dozwalająca.
b) Nie każdy podział logiczny spełnia warunek zupełności i nie każdy podział logiczny spełnia warunek rozłączności.
c) 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.
d) W górach spadnie śnieg lub nie pojadę w góry.
e) 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.
Zl: 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.
Zl: 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.
Zl: 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.
Zl: 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.
Zl: 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.