Loogika aine ja ajalugu
praegu sajab vihma'' õige sõltumata sellest, kas praegu ka tegelikult vihma sajab või ei. ``Praegu sajab vihma'' asemele
võiksime uuritavas väites samahästi kirjutada ``kaks pluss kaks on neli'' või ``kaks pluss kaks on viis'', uuritav väide
jääks ikka tõeseks. Kuna meid huvitab esmajoones väidete üldine ehitus, siis kasutame nüüdsest kokkulepet, et need
väite osad, mida võib suvaliselt asendada, tähistatakse suurte tähtedega, mida nimetatakse lausemuutujateks.
Niisiis on alati ehk tautoloogiliselt õige järgmine:
· ``kui väide A on õige, siis on väide A õige''
ehk lühemalt ja peaaegu ekvivalentselt
· ``A-st järeldub A''
Nagu öeldud, tähistab lausemuutuja A siin suvalist väidet: A sisust või õigsusest meie suurema väite õigsus ei sõltu.
Viimane on õige oma ehituse ehk vormi ehk struktuuri tõttu.
Samamoodi on oma ehituse tõttu õiged
· ``kui A ja B, siis A''
· ``ei ole tõsi, et A ja mitte A''
annaabi.ee 
