nonmodal
Từ liên quan
modallogicpropositiontruthnecessitypossibilitycontingencypredicatequantifieroperatorsemanticssyntaxphilosophymetaphysicsepistemologyaxiomtheoremproofvaliditysoundnessinferencedeductioninductiontemporalworldaccessibilityrelationframemodelvaluationformulavariableconstantnegationconjunctiondisjunctionimplicationequivalencetautologycontradictionconsistencyformalismsymbolismcalculuslogic gatebooleantruth value