The get_option function has a second parameter that allows you to specify a default value as noted in the documentation here if I am understanding you correctly.
Does this do anything?
<input name="show_introduction" type="checkbox" id="show_introduction" value="true" <?php checked('true', get_option('show_introduction', 'true')); ?> />