If the number 6 was both prime and even it would disprove the implication
X prime and X != 2 -> X odd
I am fascinated with all of the ways logic breaks down as you try to use it as a tool for decision making. Conventional programming languages assume that events happen in some specific sequence, but in the case of logic you can work forwards or backwards. A practical system needs to be restrained from trying to infer true but irrelevant facts. Kurt Godel’s work indicates just one kind of trouble logic can get you into but the problems of reasoning with uncertainty are an absolute bear unless you impose a causal structure of some kind.
So I am on the side of McCoy vs Spock and think ‘rationalists’ just call themselves that so they can accuse everyone else at being irrational. Logic will probably disappoint you like it disappointed Whitehead and Russel.
def f(n):
if is_prime(n):
return not is_even(n)
else:
return True
As n=6 is not prime, the implication is true whether n is even or not.