Need help understanding first-order logic. Involves topics such as writing proof

Need help understanding first-order logic. Involves topics such as writing proofs related to modal frames, temporal frames, binary relations, first-order languages.