{"version":"1.0","type":"link","title":"Deductive closure - Newikis","description":"In mathematical logic, a set ⁠⁠ of logical formulae is deductively closed if it contains every formula ⁠⁠ that can be logically deduced from ⁠⁠; formally, if ⁠⁠ always implies ⁠⁠. If ⁠⁠ is a set of formulae, the deductive closure of ⁠⁠ is its smallest superset that is deductively closed.","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}