Klasyczny rachunek zdań to część logiki matematycznej, a nie prawa. Znaczy jest wykładany na prawie ale skądinąd pochodzi. KRZ operuje na spójnikach zdaniowych i zmiennych. To, co przedstawiłeś to ...