Tingimuste samaaegse kehtimise nõue: e alternatiivist. P Q t " P ja Q " t i Lausearvutuslauseteks võivad olla: u Järeldumine : v " 19 on algarv " " Kui P , siis Q " r " popcorn on hea " "P kehtimisest järeldub Q kehtimine " P Q A " jänesed jooksevad vihmaveetorudes "
0 — vale (väär) 1 — tõene Lause peab omandama ühe tõeväärtuse nendest kahest alternatiivist. Lausearvutuslauseteks võivad olla: " 19 on algarv " " popcorn on hea " verbaalne esitus formaalne tähistus " jänesed jooksevad vihmaveetorudes " P eitus: __
annaabi.ee 
