švados taisỹklė apibrėžia būdus, kuriais leidžiama samprotavime iš prielaidų gauti išvadą. Jei A yra teisingas teorijos teiginys ir jei iš A seka B, tai B taip pat yra teisingas tos teorijos teiginys. Išvados taisyklė reglamentuoja samprotavimo loginę seką, leidžia nustatyti, kokie teiginiai gali būti laikomi turimų prielaidų išvadomis. Išvados taisyklė gali būti pradinė ir išvestinė, tiesioginė ir netiesioginė. Išvados taisyklės vartojimas loginiuose skaičiavimuose derinamas su tam tikrais semantiniais reikalavimais, nurodančiais atsižvelgti į teiginių reikšmes.
314