Invia SMS: Použitie programu JAPE k dôkazu formúl výrokovej a predikátovej logiky