Pbm math

Bonjour,
EX 1 :

A/ ( P ^Q ) -> R
B/ ( P -> R ) ^ ( Q -> R )
C/ ( P -> R ) v ( Q -> R )

EX 2 :

1/ écrire la réciproque du théorème de Pythagore sous la forme d’une implication P -> Q
2/ écrire la réciproque du théorème de Pythagore sous la forme d’un implication
3/ dans un triangle ABC , on a AB = 3,1 ; AC = 3,9 et BC = 4 ?98 avec le centimètre pour unité.
A/ le théorème direct permet-il de répondre directement à cette question ?
B/ la réciproque du théorème de Pythagore permet-elle de répondre directement à cette question ?
4/ écrire la contraposée du théorème de Pythagore sous la forme d’une implication.
Cette contraposée permet-elle de savoir si le triangle ABC défini au 3° est rectangle.

EX 3 :

1/ P,Q,R étant des propositions quelconques, établir la table de vérité de chacune des propositions suivantes :
a/ P (flèche en bas) (Q|R)
b/ (P(flèche en bas)Q) | (P(flèche en bas)R)
ces deux propositions sont elles équivalentes ?
2/ Même question en permutant | et la flèche en bas

Configuration: Windows XP
Internet Explorer 7.0