Petite question pour les mathématiciens experts

[abdou_inf]

Salut mathémathique à tout les mathématiciens....
Ben voilà c'est mon premier sujet à poster dans ce forum belle et bien satisfaisant ...enfin je l'espere ....Je veux pas être vraiment lourd pour vous ,juste une petite question à propos de la mathématique logique plus exactement à propos du Systeme classic du Calcul Propositionnel
Dans ce Système on a 4 axiomes utilisables pour démontrer une déduction quelconque .........
Mais le bleme c'est que des fois ça me coinse ,je sais même pas par où commancer alors la question c'est
Yaura-t-il pas une manière bien spécifier ou bien des régles à suivres pour résoudre de telles problemes ??
Merci d'avance