Programmation Logique

Atome logique

Formule atomique de la forme prédicat(arguments) représentant une proposition élémentaire qui peut être vraie ou fausse.

← पीछे