Como estas controlando los checkbox con javascript vas a tener que aprender a usar los
HTML DOM porque para que te resulte mejor vas a tener que usar el ultimo ejemplo que pusiste
<input name='opcion[]' value='".$dat["id_asignatura"]."' type='checkbox'>