| mon CyberProf |  | je pose une question |  | je demande à corriger un exercice |  | je souhaite la correction d'un devoir |
| On considère un système de calcul des propositions où les seuls connecteurs sont les connecteurs binaires -->et<-/-. <-/- peut être considéré comme la négation de l'implication converse, i. e. p<-/-q a la même table de vérité que négation (q-->p). a) Que dire de la formule p<-/-p? b) A quelle formule simple équivaut p-->(p<-/-p)? c) On peut en conclure que pour toute formule du calcul usuel on peut trouver une formule équivalente dans le présent système, pourquoi? d) Ecrire dans ce système une formule équivalente à p v p. |
|||||
|
... |
||||
Connectez-vous pour consulter les réponses du CyberProf