# Please what do we call this type of hypothetical statement?:

"It is certain you have a nose when you can smell but not everyone with a nose can smell".

Or "It is certain you have a brain when you can think. But not everyone with a brain can think"

Note: As I said earlier on, these statements are just hypothetical. I just want you to understand what I'm trying to convey.

(EDIT) Please if you know any term related to it, feel free to say it.

• I'm not sure to understand... It seems to me that you are expressing a condition that is necessary but not sufficient, because : "if you can smell, then you have a nose" is true but "if you have a nose, then you can smell" is not. Thus, having a nose is necessary but not sufficient to be able to smell. Commented Mar 17, 2019 at 10:37
• Thank you very much!! I just read the Wikipedia article and what you said is exactly what I wanted! — "necessary but not sufficient". Commented Mar 17, 2019 at 12:24

The propositions you're describing fit under the broad category of modal logic. According to the Stanford Encyclopaedia of Philosophy,

A modal is an expression (like ‘necessarily’ or ‘possibly’) that is used to qualify the truth of a judgement. Modal logic is, strictly speaking, the study of the deductive behavior of the expressions ‘it is necessary that’ and ‘it is possible that’.

When we talk of certainty, what we really mean is that that thing is necessary. So all we have to do is introduce a new logical operator: Define:

'it is necessary that A'≔L(A) for any formula A

'it is sufficient that A'≔M(A) for any formula A