Outils Logiques : Travaux Dirigés - IRIF

Traduire les phrases suivantes en implication logique en précisant la ... Si la lune est une comète, alors, si elle est un satellite de la terre, ...