Bonjour

1) Soit les propositions : P : « il fait 30° «  
                        Q : « il fait chaud »
Formaliser
a)"Puisqu'il fait 30°, il fait chaud"
b)"Ou il fait 30°, ou il fait chaud"  
c)"S'il fait 30°, il fait chaud ; mais il fait 30° ; donc il fait chaud"

a) je ne sais pas formaliser "puisque"
b) P OU Q   si inclusif. Si Exclusif: P ET NON(Q) OU NON(P) ET Q
c)P====>Q "mais" P====>Q    je ne sais pas formaliser  "mais"

2)
Dans un livre, l'auteur écrit ceci :
« En toute rigueur, on distingue l'implication A====>B du conditionnel  A---->B.
L'implication qui est valide, c-à-d  toujours vraie, indépendamment de la valeur de vérité des propositions impliquées ;  (Puis un peu plus loin il écrit)
A et B propositions simples, A----->B  est un conditionnel qui n'a aucune chance d'être valide. »

Je n'ai rien compris. Est ce que l'implication est une tautologie et le conditionnel une antilogie d'après cet auteur ou est ce qu'il veut dire autre chose?

Merci pour une aide