تعبیر (منطق ریاضی)

تعبیر برای منطق گزاره‌ها تابعی مانند I از مجموعه پروپ به توی مجموعه ۱ و ۰ است که در شرایط ذیل صدق کند.

$I(A\wedge B)=1$ اگر و فقط اگر I(A)=۱ و I(B)=۱

$I(A\vee B)=1$ اگر و فقط اگر I(A)=۰ و I(B)=۰

$I(A\to B)=0$ اگر و فقط اگر I(A)=۱ و I(B)=۰

$I(\mathrm{\neg }A)=1$ اگر و فقط اگر I(A)=0

$I(\mathrm{\perp })=0$

برای گزاره‌ای مانند A و تعبیر I اگر I(A)=۱ باشد گوییم گزاره با این تعبیر راست است یا I یک مدل A است. یعنی $I\models A$.

منابع

• الگو:یادکرد