Одно обстоятельство требует уточнения. Утверждение �
𝐴
A� ложно, утверждение �
𝐵
B� истинно. Ложно или истинно утверждение �
𝐴
→
𝐵
A→B�?

Если утверждение A ложно, а утверждение B истинно, то связь между ними, обозначаемая как A→B или A→B, будет истинной. Это свойство называется ложь следует за истиной.