Introduction à la logique
... F4 Si une disjonction p? ? ? est vraie, alors soit q. , soit est vraie. ? ... PC Supposons que {?1,?2,...,?n,?n+1. = } | , mais que. ?. {?1,?2,...,?n. = } 6 ...
... F4 Si une disjonction p? ? ? est vraie, alors soit q. , soit est vraie. ? ... PC Supposons que {?1,?2,...,?n,?n+1. = } | , mais que. ?. {?1,?2,...,?n. = } 6 ...