Considere as premissas categóricas absolutas: "Todo programador é lógico" e "Nenhum lógico é supersticioso". A partir dessas premissas, deduza a conclusão formalmente válida sobre a relação entre programadores e superstição.