Фактически необходимыми являются суждения, в которых содержится информация о закономерностях науки и действительности. В естественном языке такие суждения выражаются с помощью слов: необходимо, обязательно, случайно.
В логике суждения этого типа выражаются следующим образом:
S необходимо есть P или S необходимо не есть P
Фактически необходимые суждения могут быть истинными или ложными
Истинные суждения представляются следующим образом, S необходимо есть P или, в символической логике.Например, мы говорим: " Кислород, как химическое вещество необходим для жизни".
Ложные суждения представляются следующим образом, S необходимо не есть P или, в символической логике.Например, мы говорим: " Вода необходимо не закипает в нормальных условиях при температуре 100".
В совокупности логически истинные и логически ложные суждения составляют класс логически необходимых суждений: p ۷ p.