Pitää todistaa että oletuksesta P seuraa väite Q (eli P --> Q). Vaihtoehtoja:
1. Suora todistus: lähdetään P:stä ja kaavoja pyörittämällä päädytään Q:n
2. Epäsuora todistus: lähdetään ei-Q:sta ja kaavoja pyörittämällä päädytään ei-P:hen
3. Induktiotodistus: alkuaskel, induktio-oletus, induktioaskel.

_{t. Pete}