Salut a tous , aidez moi svp
J'ai pas mal de question auxquelles j veux avoir des réponses .
est ce que ( p et (p => q) ) <=> ( (p et p ) => ( p et q ) ) ?
est ce qu'on peut démontrer ces propositions " si ( p => q )et ( q => r ) alors ( p => r ) "
ET "( p et (p => q) ) => q " à l'aide de la table de vérité ?
Pour la démonstration de "( p et (p => q) ) => q "
Est ce que je dois Raisonner par contraposée ?
Et pourquoi "si p est vraie et p => q alors q est vraie" ?
Je suis confonduaidez moi svp
-----