Härledningsbegrepp
From Wikipedia, the free encyclopedia
Härledningsbegrepp är begrepp inom metalogik och bevisteori, vilka används för att beskriva formlers inbördes relationer. Syntax och semantik är två centrala begrepp inom logiken. Även implikation inom objektlogiker kan i vissa tillämpningar uppfattas som ett härledningsbegrepp.