Tell if the following statements are true in the model, explain in detail:$($a$)F,e,w|==p=>p.$

$($b$)F,e,w|==p=>$diamondp.

$($c$)F,e|==p>$diamondp

$($d$)F|==$diamondp$=>diamondp.$