phraseologism
модус поненс
A fundamental rule of inference in logic that states: if a conditional statement ('if P, then Q') is accepted, and the antecedent (P) holds, then the consequent (Q) may be inferred.
Логикадағы негізгі дедуктивті ереже: егер шартты тұжырым ('Егер P болса, онда Q') қабылданса және алғышарт (P) орындалса, онда қорытынды (Q) шығарылады.
sordсөздік / EN↔KZsordсөздік / EN↔KZsord