Logique propositionnelle

[khadi8]

salut
dans le langage L(T,V)
T=non
V=ou
je connais la règle suivante

A^B=T(TA V TB)
qui pourra me donner les règle de
A->B et A<->B dans ce langage


et les même formule dans le langage L(T,->)

merci

[Monsieur23]

Aloha,

Où bloques-tu ?

[khadi8]

je veux les régles équivalante a
A->B et A<->B dans le langage
L(T,V)
et A<->B et AvB dans le langage L(T,->)

[Monsieur23]

Ouép.

Et pourquoi tu n'y arrives pas ?

[khadi8]

comment je n'arrive pas ?
en classe le prof nous a donner qq règle sont montrer comment les déduisent donc je vois pas comment les trouver on les itulise directement pour montrer des déduction

[Monsieur23]

Tu sais que

Tu connais , donc tu devrais t'en sortir !

[khadi8]

ok merci je vais essayer

[khadi8]

dans le langage L(T,V)

A->B=RA V B
c'est juste ça ???

[Monsieur23]

A implique B, c'est pareil que Non A ou B. (l'équivalent est une erreur dans mon message précédent, c'est bien une implication).

[khadi8]

ok et tu peux me dire
A<->B=??? dans le langage L(T,V)

et
A v B=??
A^B=??
A<->B=??
dans le langage L(T,->)

[Monsieur23]

A<=>B pareil que A=>B et B=>A. Tu as déjà fait le ET, et l'implication, donc tu devrais t'en sortir.

Pour les autres, idem : Non A ou B pareil que A => B, donc A ou B ?

A et B pareil que Non(Non A ou Non B), et tu viens de faire le OU.