Inférence formelles

Type

Notion de logique

Autres noms

Règles d’inférence formelles

Description

Terme de logique : les inférences formelles, dont les règles valent par leur forme seule.

Fiches liées

• Logique
• Règles

Catégorie : Notion