š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
Citata
Nors buvo dedamos visos pastangos laikytis citavimo stiliaus taisyklių, gali pasitaikyti tam tikrų neatitikimų. Jei turite klausimų, prašome vadovautis atitinkamu stiliaus vadovu arba kitais šaltiniais.