Condizioni sostanziali
Dove A e B sono dichiarazioni di variabili (che possono essere sostituite da qualsiasi frase significativa nella lingua). In questa forma di dichiarazione, il primo termine qui A, chiamato il primo, il secondo termine qui B, chiamato quest'ultimo. La verità del primo è la vera condizione del pezzo posteriore e la verità di quest'ultimo è il vero requisito per il primo. Questo operatore viene simboleggiato utilizzando la freccia destra "→" (a volte il simbolo "⇒" o "⊃") e "se A è vero, allora B è vero" viene scritto come segue: ▪ ▪