test.argutia.logic
Classes 
PropositionalVariableTest
TruthSymbolTest