O conetivo lógico tonk (Domingo cabeça)

Regra de introdução como a do conetivo OU:

p
_____
p tonk q

q
_____
p tonk q

Regra de eliminação como a do conetivo E:

p tonk q
_____
p

p tonk q
_____
q

Pronto, agora você já pode chamar seus amigos, e impressioná-los deduzindo o que quiser de qualquer ponto de partida!

http://en.wikipedia.org/wiki/Logical_harmony

Clique para ver...