Conversation avec le cyberprof |
||||||
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)]. |
||||||
... |
sciences
. chimie
. mathématiques
. physique
. biologie
langues vivantes
. anglais
. espagnol
. allemand
. italien
lettres
. français
. lettres
sciences humaines
. philosophie
. histoire
. SES-éco
. droit
. culture générale
. géographie
. Collège
. Lycée
. Fac (DEUG)
. Classes préparatoires - CPGE
. BTS
. DUT
. Fac (> DEUG)
. Ecoles (> BAC+2)
parents d'élèves : nos conseils
Qu'est-ce que Cyberprofs.com ?