Logique des propositions et des prédicats, déduction naturelle — Jean Blaise Grize