ficall.pdf - Exo7
Page 17. c). Formule valide d). Formule non valide. Formule non contradictoire ... 2, I¬. 77. Page 78. 124. a) ¬?x f(x) ? ?x ¬f(x). 1. ¬?x f(x). Hyp. 2. f(a).
Page 17. c). Formule valide d). Formule non valide. Formule non contradictoire ... 2, I¬. 77. Page 78. 124. a) ¬?x f(x) ? ?x ¬f(x). 1. ¬?x f(x). Hyp. 2. f(a).