Implicação Python

from decimal import Decimal
inf = Decimal('Infinity')
#{ x∈N : x<10 → x<3 }
#inf = float('inf')
#Tabela Verdade SE...ENTÃO / SI...TUNC / IF...THEN
#Entrada1   Entrada2    Saída
#VERDADEIRO VERDADEIRO  VERDADEIRO
#VERDADEIRO FALSO   FALSO
#FALSO  VERDADEIRO  VERDADEIRO
#FALSO  FALSO   VERDADEIRO

if inf < 10:
    print('true')
    print()
else:
    print('false', 'ifinito')
    print()


i = 0
for x in range(0, 100):
    v1 = None
    v2 = None
    if x < 10:
        if x < 3:
            print("Verdadeiro -> Verdadeiro = Verdadeiro")
            i += 1
        else:
            print("Verdadeiro -> Falso = Falso")
    else:
        if x < 3:
            print("Falso -> Verdadeiro = Verdadeiro")
            i += 1
        else:
            print("Falso -> Falso = Verdadeiro")
            i += 1
print(i)