Esercitazioni di Logica

Come si può vedere dal diagramma, la verità della conclusione NON discende necessariamentedalla verità delle premesse. Quindi il sillogismo presentato è invalido.Questo accade perché sulle zone non oscurate non abbiamo informazioni: potrebbe esserciqualche individuo, ma potrebbe anche non esserci alcun individuo. Ciò si verifica perché nellalogica moderna non si presuppone che ogni termine di classe designi un insieme non vuoto.3) Si costruisca un esempio di sillogismo di IV figura in DIMARIS e se ne verifichi la validitàattraverso il diagramma di Venn.DIMARISQualche A è MTutti gli M sono B_______________Qualche B è A