On this mysterious island there are 2 kinds of people - Honestants who always make true statements and Swindlecants who always make false statements.
In the pub the gringo met a funny guy who said: 'If my wife is an Honestant, then I am Swindlecant.' Who is this couple?
In this logical conditional („if-then“ statement) p is a hypothesis (or antecedent) and q is a conclusion (or consequent).
It is obvious, that the husband is not a Swindlecant, because in that case one part of the statement (Q) „ ... then I am Swindlecant.“ would have to be a lie, which is a conflict. And since A is an Honestant, the whole statement is true.
If his wife was an Honestant too, then the second part of statement (Q) „ ... then I am Swindlecant.“ would have to be true, which is a conflict again. Therefore the man is an Honestant and his wife is a Swindlecant.
