се нарича законът‘закон за достатъчното условиеусловие’: ако ''<math>p\rightarrow q</math>'' е истинно, то истинността на <math>p</math> е достатъчна за истинността на <math> q</math>. На свой ред, ''модус толенс''
се нарича законът‘закон за необходимото условиеусловие’: ако ''<math>p\rightarrow q</math>'' е истинно, то истинността на <math> q</math> е необходима за истинността на <math>p</math>, т.е. ако <math> q</math> не е истинно, то и <math>p</math> няма да бъде.<ref>G. Gabriel, ''Einführung in die Logik. Kurzes Lehrbuch mit Übungsaufgaben und Musterlösungen''. Jena: Paideia, 2005, p. 34.</ref>