指出下列判断的种类，并写出其逻辑形式。 1、所有的天体都是运动的。 2、只有年满18岁，才有选举权。

1、直言判断（或全称肯定判断），所有S是P（或SAP）
2、必要条件假言判断，只有P才Q（或P――Q）

略