| mon CyberProf |  | je pose une question |  | je demande à corriger un exercice |  | je souhaite la correction d'un devoir |
| Ce signe <-/- que je n'ai pas en effet sur le clavier est considéré comme la négation de l'implication converse par mon prof. p <-/- q a la même table de vérité que (désolée, je n'ai pas le signe de la négation sur le clavier!): négation(q-->p). En fait, ce sont des signes d'implication que j'essaie de transcrire comme je peux! Ce sujet est le sujet d'examen de Bordeaux de la session de juin 2002. La suite était: montrer que les expressions suivantes st ds tautologies: p-->(q-->p),[p-->(q-->r)] -->[(p-->q)-->(p-->r)] et montrer à l'aide de la règle de détachement qu'alors les expressions suivantes st aussi ds tautologies: p-->p, (q-->r)-->[(p-->q)-->(p-->r)]. |
|||||
|
... |
||||
Connectez-vous pour consulter les réponses du CyberProf