'réfutation par contradiction'
(id=251659546 ; fe=réfutation par contradiction ; type=1 ; niveau=200 ;
luminosité=25 ;
somme entrante=75 creation date=2023-12-25 touchdate=2024-09-02 14:22:32.000) ≈ 1 relations sortantes
- réfutation par contradiction --
r_isa #6: 25 / 1 ->
réfutation
n1=réfutation par contradiction | n2=réfutation | rel=r_isa | relid=6 | w=25
| ≈ 1 relations entrantes
- réfutation par contradiction interne ---
r_isa #6: 25 -->
réfutation par contradiction
n1=réfutation par contradiction interne | n2=réfutation par contradiction | rel=r_isa | relid=6 | w=25
|