Atom
A single formula from Propositional Logic without any connectives and without logical constants.
Otherwise called complex.
A single formula from Propositional Logic without any connectives and without logical constants.
Otherwise called complex.