Ce qui peut être traduit de façon informelle comme 'one -LRB- ou les deux -RRB- de A ou B est connu comme vrai, mais ils impliquent tous les deux C, donc indépendamment des valeurs de vérité de A et de B, nous pouvons conclure C.' ''
Cela peut se traduire de façon informelle par "one -LRB- ou les deux -RRB- de A ou B est connu comme vrai, mais ils impliquent tous les deux C, donc indépendamment des valeurs de vérité de A et de B, nous pouvons conclure C. '' '