bn:01456368n
Noun Concept
FR
élimination de la double négation
FR
Règle d''inférence qui permet d''inférer une formule sans négation quand deux négations se succèdent Wikidata
Definitions
Relations
Sources
FR
Règle d''inférence qui permet d''inférer une formule sans négation quand deux négations se succèdent Wikidata