ei ole tautologista kyse. tarkoitus siis osoittaa, että minkä tahansa, ainoastaan disjunktioista ja konjunktioista muodostuvan, propositiolauseen totuusarvo on 1, mikäli kaikki propositiosymbolit ovat myös 1. alkuolettamana tietysti (1 ja 1) ja (1 tai 1) ovat tietysti tosi, mutta täytyisi kyetä...