how would i use natural deduction to prove this argument to be correct?
Its always either night or day.There'd only be a full moon if it were night-time. So,since it's daytime,there's no full moon right now.
i have also formalized the argument using truth functional logic
i'm not sure if it is completely correct though and would much appreciate the help.
Fm: full moon
Nt: night time
Dt: day time
((N V D) , (Fm → Nt) , (Dt → ¬Fm))