Zaslat SMS: K implikaci Aristotelově Logice