Related terms:
neg q
rightarrow q
logically equivalent
biconditional
vee q
neg b
neg
modus ponens
conjunction elimination
existential quantifiers
raining outside
we will go
equiv p
negation normal form
atomic formulae
term logic
defeasible reasoning
lor q
stable model semantics
knowledge representation and reasoning
go swimming
pure prolog
after kicking
universally quantified
calculi
irreducible fraction
negation as failure
inductive step
Wikipedia sources:
Dynamic logic (modal logic)
Propositional calculus
Method of analytic tableaux
Contraposition
Inverse (logic)
List of rules of inference
Modus tollens
Monadic predicate calculus
Negation as failure
Belief revision
Context for words:
neg
p
|
|