様相論理学とは？ わかりやすく解説

(様相論理学 から転送)

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/05/16 04:53 UTC 版)

様相論理（ようそうろんり、英: modal logic）は、いわゆる古典論理の対象でない、様相（modal）と呼ばれる「〜は必然的に真」や「〜は可能である」といった必然性や可能性などを扱う論理である（様相論理は、部分の真理値からは全体の真理値が決定されない内包論理の一種と見ることができる）。