Üç çeşit olanaklı dünya yardımıyla önermelerin olanaklılığını, olanaksızlığını, zorunluluğunu ve olumsallığı aşağıdaki gibi tanımlanmaktadır:

• Tanım 1: Bir önermenin mantıkça olanaklı olması, bu önermenin en az bir mantıkça olanaklı dünyada doğru olması demektir.
• Tanım 2: Bir önermenin mantıkça zorunlu olması, bu önermenin bütün mantıkça olanaklı dünyalarda doğru olması demektir.
• Tanım 3: Bir önermenin mantıkça olanaksız olması, bu önermenin hiçbir mantıkça olanaklı dünyada doğru olmaması demektir.
• Tanım 4: Bir önermenin metafizikçe olanaklı olması, bu önermenin en az bir metafizikçe olanaklı dünyada doğru olması demektir.
• Tanım 5: Bir önermenin metafizikçe zorunlu olması, bu önermenin bütün metafizikçe olanaklı dünyalarda doğru olması demektir.
• Tanım 6: Bir önermenin metafizikçe olanaksız olması, bu önermenin hiçbir metafizikçe olanaklı dünyada doğru olmaması demektir.
• Tanım 7: Bir önermenin fizikçe olanaklı olması, bu önermenin en az bir fizikçe olanaklı dünyada doğru olması demektir.
• Tanım 8: Bir önermenin fizikçe zorunlu olması, bu önermenin bütün fizikçe olanaklı dünyalarda doğru olması demektir.
• Tanım 9: Bir önermenin fizikçe olanaksız olması, bu önermenin hiçbir fizikçe olanaklı dünyada doğru olmaması demektir.
• Tanım 10: Bir önermenin fizikçe olumsal olması, bu önermenin en az bir fizikçe olanaklı dünyada doğru olması ve en az bir fizikçe olanaklı dünyada yanlış olması demektir.

Doğru cevap A’dır.