ප්රබල නිගාමී තර්කයක් යනු
සප්රමාණ තරකයකි.
සත්ය නිගමනයක් සහිත නිෂ්ප්රමාණ තර්කයකි.
අසත්ය අවයව ඇති සප්රමාණ තර්කයකි.
සත්ය අවයව සහිත නිෂ්ප්රමාණ තර්කයකි.
සත්ය අවයව සහිත සප්රමාණ තර්කයකි.