تمرين في الجبر المنطقي

[الاستاذة رجاء]

montrer que la formule f est une totologie si et seulmene si f est concequence de la theorie f=Φ
ارجوا الاجابة على هدا التمرين و شكرا مقدما :sdf::confused: