|
|
Deuxième inférence : Il s'agit d'une implication, donc logiquement valide. Plus précisément, il s'agit d'une inférence conforme au schéma dit d'élimination du et, qu'on peut expliciter en disant « Jean et Marie sont partis en week-end » implique « Jean est parti en week-end et Marie est partie en week-end » qui permet de conclure par élimination « Jean est parti en week-end ».
|
|