Çıkarımın öncüllerinin sonuç önermesi ile birlikte tutarlı olması

Sonuç önermelerinin tutarlı olması

Çıkarımın öncüllerinin sonuç önermesinin değili ile birlikte tutarlı olması

Çıkarımın öncüllerinin tutarlı olması

Çıkarımın öncüllerinin değili ile sonuç önermesinin değilinin birlikte tutarlı olması