Математически доказать верность суждения
"Если он обладает большими знаниями или удачлив, то он добьётся цели
Если он не будет обладать большими знаниями, то он не сможет быть удачливым
Следовательно, если он не обладает большими знаниями, то он не добьется цели."