@macEquette La déduction est juste. Le raisonnement est entièrement parallèle dans la seconde partie, d'où le fait que l'on doit avoir « un neutre » aussi dans ce cas. La seule différence entre les deux possibilités est qu'alors que les pro sont sous « moi » et les antis sous « pas moi » dans la pemière option, c'est l'inverse dans la seconde ; également les neutres passent de sous « moi » dans la première à sous « pas moi » dans la seconde.
Pour simplifier la déduction il est nécessaire d'utiliser quelques symboles. Des stages intermédiaires soit évidents ou considérés come triviaux sont …
Pour simplifier la déduction il est nécessaire d'utiliser quelques symboles. Des stages intermédiaires soit évidents ou considérés come triviaux sont …