Modus ponens
Modus ponens (лат.) – способ заключения от истинности основания к истине следствия в гипотетических умозаключениях.
Новая философская энциклопедияModus ponens (лат.) – способ заключения от истинности основания к истине следствия в гипотетических умозаключениях.
Новая философская энциклопедия