Satunnainen logiikka