MLavazza
no edit summary
09:42
+18
14:15
13:47
−4
13:41
−26
Created page with "{| style="margin: 0 auto 0 auto;" |(VVVV)(p, q) |Tautologie |(si p alors p; et si q alors q.) (p ⊃ p . q ⊃ q) |- |(FVVV)(p, q) |soit : |pas à la fois p et q. (~(p . q))..."
13:40
+940