Direkte Bevis

Et direkte bevis for en påstand på formen "hvis F, så G" er et logisk gyldig resonnement som begynner med antakelsen om at F er sann og som ender med konklusjonen om at G er sann. Eks: Anta at en valuasjon er gitt. Bevis påstanden "hvis valuasjonen gjør (P A Q) sann, så gjør valuasjonen P sann". Svar: Anta at valuasjonen gjør (P A Q) sann. Da må valuasjonen gjøre både P og Q sanne, fordi det er slik A-formler tolkes, og spesielt må valuasjonen gjøre P sann. Det følger derfor at hvis (P A Q) er sann, så er P sann.