Tekstiviesti: Logic deductive and inductive