Synonyme ou conséquence ou tautologie ?

Posté par sabotage sabotage

Bonjour,

Quelle est la différence entre synonyme, conséquence et tautologie ?

Par exemple, je dois étudier deux formes propositionnelles (exemple : et ).

Il faut dire si ces deux formes propositionnelles sont synonymes ou si f a pour conséquence g.

Mais j'aimerais surtout être claire sur la définition de ces trois termes.

Merci !

Posté par Nightmare Nightmare

Salut

On dit que f a pour conséquence sémantique g (et ça s'écrit ) lorsque quand f est vraie, g est aussi vraie. (ce qui revient à dire que est une tautologie, ce qui s'écrit )

Posté par Nightmare Nightmare

J'en ai oublié un :

Deux propositions sont synonymes si elles ont la même table de vérité (à ne pas confondre donc avec la notion de conséquence sémantique)

Posté par sabotage sabotage

D'accord, la méthode pour faire cet exercice est de supposer g faux.
Donc, si je trouve f faux, ça fait aussi une conséquence ?
Et si je trouve f vrai, ça donne quoi ?
Est-ce que deux propositions peuvent être synonymes et g conséquence de f en même temps ?

Posté par Nightmare Nightmare

La méthode est surtout de faire une table de vérité!

Eh bien, si f et g sont synonymes, f est conséquence sémantique de g et g est conséquence sémantique f !