Logique du premier ordre
La logique du premier ordre est un raisonnement symbolisé dans lequel chaque phrase, ou énoncé, est décomposée en un sujet et un prédicat. Le prédicat modifie ou définit les propriétés du sujet. En logique du premier ordre, un prédicat ne peut se référer qu’à un seul sujet. La logique du premier ordre est également connue … Lire la suite