viisil komponentväidete tõeväärtusest, mida võib saada mingi eeskirja järgi välja arvutada. Tautoloogiad on tõesed ning kontradiktsioonid on väärad. Ülejäänud väited võivad olla kas tõesed või väärad; selliseid väiteid nimetasime sattumuslikeks ning nende puhul võib vaadelda mõlemat juhtumit. Sattumusliku väite tõeväärtus määratakse loogikaväliselt. Väited ehk väidetud propositsioonid on vahendatavad teatava loogikakeele abil, mida nimetatakse lausearvutuseks ehk lauseloogikaks. Väitel on kindel tõeväärtus: kas tõene või väär. See tõeväärtus võib meile mitte teada olla, kuid see peab väitel olema. Me võime arutleda ka nii, et postuleerime samale väitele erinevaid tõeväärtusi, ent siis tuleb need arutluslõigud üksteisest lahus hoida, nt nii, et nüüd vaatleme võimalust, kus väide p on väär, ja sellest tuleneb ... , nüüd vaatleme võimalust, kus väide p on tõene, ja sellest tuleneb ..
viisil komponentväidete tõeväärtusest, mida võib saada mingi eeskirja järgi välja arvutada. Tautoloogiad on tõesed ning kontradiktsioonid on väärad. Ülejäänud väited võivad olla kas tõesed või väärad; selliseid väiteid nimetasime sattumuslikeks ning nende puhul võib vaadelda mõlemat juhtumit. Sattumusliku väite tõeväärtus määratakse loogikaväliselt. Väited ehk väidetud propositsioonid on vahendatavad teatava loogikakeele abil, mida nimetatakse lausearvutuseks ehk lauseloogikaks. Väitel on kindel tõeväärtus: kas tõene või väär. See tõeväärtus võib meile mitte teada olla, kuid see peab väitel olema. Me võime arutleda ka nii, et postuleerime samale väitele erinevaid tõeväärtusi, ent siis tuleb need arutluslõigud üksteisest lahus hoida, nt nii, et nüüd vaatleme võimalust, kus väide p on väär, ja sellest tuleneb ... , nüüd vaatleme võimalust, kus väide p on tõene, ja sellest tuleneb ..
annaabi.ee 
