Boxproofs by Jape basic examples

>> YOUR LINK HERE: ___ http://youtube.com/watch?v=xswEGB4Kkf0

Box-proofs by jape. Examples conjunctive and implicative fragment of propositional logic (the AND-game and the IMPLICATION-game)

Inproduction to Logic, Box-proofs, Jape logic-software
#############################