A logical necessity is a logical deduction which can be drawn from no premises, and is always true.

The most basic logically necessary argument follows this form:

Either it is raining, or it is not raining.

Or, in a more formal notation:

P v ~P

Which reads "P or not P". There are many other logically necessary deductions, but this is the most basic. Note that this is only true for some forms of logic; in fuzzy logic, for example, P & ~P may be a valid statement, if apparently non-sensical.

Log in or register to write something here or to contact authors.