Exercices corrigés - IMT Atlantique
Page 29. 34. On voit que q ? ¬q q ? p ; q ? ¬q q ; q ? ¬q p ? q ; q ... Page 33. ? {¬d ? (p?c) ? (¬c?e) ? (p?e)} ?{(d?¬p)? (¬p?¬e?¬p) ...
Page 29. 34. On voit que q ? ¬q q ? p ; q ? ¬q q ; q ? ¬q p ? q ; q ... Page 33. ? {¬d ? (p?c) ? (¬c?e) ? (p?e)} ?{(d?¬p)? (¬p?¬e?¬p) ...