test.argutia.logic
Classes
PropositionalVariableTest
TruthSymbolTest