Il 1° esempio è su 2 banali considerazioni:
A) Tutte le Suore sono Donne.
B) Ma non tutte le Donne sono Suore.
Consideriamo l'insieme Donne come quello più grande che contiene anche l'insieme Suore, più piccolo. Sarebbe impossibile dimostrare che tutte le Donne siano Suore
, anzi , nella realtà, in alcuni casi è evidente l'esatto contrario!
Condizione Necessaria & Condizione Sufficiente
Se ora voglio individuare lo status di Donna in base alla
condizione: "Suora", devo considerare che Suora
è Condizione Sufficiente per dire che si tratta d'una Donna,
ma non è Condizione Necessaria, perchè non è vero che tutte le donne siano suore: in altri termini non è necessario sapere che una sia suora per poter dimostrare che sia donna (insieme molto più vasto e variegato).
L'errore più frequente è confondere le Condizioni Necessarie con le Condizioni Sufficienti.
Non condivido le tue idee, ma darei la vita per vederti sperculeggiare quando le esporrai.