validi


validi

Määritelmä

lause on validi eli loogisesti tosi, jos se on loogisen rakenteensa vuoksi välttämättä tosi
päätelmä on validi (eli loogisesti pätevä), jos se on välttämättä totuudensäilyttävä

Selite Termiä "validi" voidaan käyttää viittaamaan joko lauseisiin ja propositioihin tai päätelmiin. Klassisessa logiikassa validisuus on semanttinen käsite: validi lause on tosi kaikissa malleissa, ts. tosi pelkästään loogisen rakenteensa eli lauseessa esiintyvien loogisten vakioiden totuusmääritelmien nojalla riippumatta sen sisällöllisten osien merkityksestä. Vastaavasti päätelmä on validi jos se on välttämättä totuudensäilyttävä eli jos sen johtopäätös on tosi kaikissa niissä tapauksissa tai malleissa, joissa sen kaikki premissit ovat tosia. Näillä kahdella eri käytöllä ja määritelmällä on klassisessa logiikassa se yhteys, että validi lause on looginen seuraus mistä tahansa premisseistä, ts. mikä tahansa päätelmä jonka johtopäätös on itsessään validi lause on aina myös validi päätelmä. Vastaavasti jokaisesta päätelmästä voidaan muodostaa implikaatiolause, jossa takalauseena on päätelmän johtopäätös ja etulauseena premissien konjunktio. Jos päätelmä on validi, myös sitä vastaava implikaatiolause on validi ja samoin päinvastoin.