ሒሳባዊ ሥነ አመክንዮ (እንግሊዝኛ፦ Mathematical logic) የሥነ አመክንዮ ዘርፍ ነው:: በቂና አስፈላጊ ጥገኛ አምክንዮ (ይህ ሳይንስ ነክ ጽሑፍ መሠረት ወይም መዋቅር ነው። እርስዎ ሊያስፋፉት ይችላሉ!)