Ang pinakamahalagang katangian ng lohikal na sistemang pormal ay ang kainaman nito , na isang katangian na batay sa paliwanag , ay nangangahulugan na ang lahat ng mga alituntunin ng paghahango ay mga tumpak na imperensya ( pagdudugtong @-@ dugtong ng mga palagay ).
