3 ms·
"False" does not exist here (when dealing with quantifiers). Contingent is technically correct, "invalid" would also work.
by dvt 9y ago
"False" does not exist here (when dealing with quantifiers). Contingent is technically correct, "invalid" would also work.
- kmill 9y agoThe program can output "necessarily true" if it is true in all possible worlds, "self-contradictory" if it is false in all possible worlds, and "contingent" if it is true in some and false in others.