Inférence (logique et valide)