\documentclass[10pt,a4paper]{book}

%\frenchspacing
\usepackage{amsthm,amssymb,amsmath,mathrsfs}
\usepackage{latexsym}
\usepackage{indentfirst}
\usepackage{xepersian}
%\usepackage[pagebackref=true,colorlinks,linkcolor=blue,citecolor=magenta]{hyperref}
\usepackage{makeidx}
\makeindex
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\settextfont[Scale=1]{BZar}
\setdigitfont[Scale=1.1]{BZar}
\linespread{1.3}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%تعریف و نحوه ظاهر شدن عنوان قضیه‌ها، تعریف‌ها، مثال‌ها و ...
\theoremstyle{definition}
\newtheorem{definition}{تعریف}[section]
\theoremstyle{theorem}
\newtheorem{theorem}[definition]{قضیه}
\newtheorem{lemma}[definition]{لم}
\newtheorem{proposition}[definition]{گزاره}
\newtheorem{corollary}[definition]{نتیجه}
\newtheorem{remark}[definition]{ملاحظه}
\newtheorem{example}[definition]{مثال}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\newcommand{\mA}{\mathcal{A}}
\newcommand{\mB}{\mathcal{B}}
\newcommand{\xra}{\xrightarrow}
\newcommand{\scr}{\scriptscriptstyle}
\newcommand{\leftright}[2]{%
\makebox[4.5 cm][r]{#1}
\makebox[2.55 cm][s]{}
\makebox[4.5 cm][l]{#2}%
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{document}

\pagestyle{headings}
\chapter{منطق شناخت احتمالاتی}


\section{اصول موضوعه وقواعد منطق شناخت}
فرض کنید به ازای $ i\in\mA $، $ B_i\varphi $ را

بجای $ \square_i\varphi $ در زبان قرار دهیم و آن را به صورت «$ i $ باور

دارد $ \varphi $ را» معنا کنیم، در این صورت اصول موضوعه و قواعد زیر را در نظر می‌گیریم:
\\

\leftright{تمامی نمونه جانشین‌های همانگوهای گزاره‌ای}
{ }

\leftright{توزیع $ B_i $  روی $ \rightarrow $}
{$ B_i(\varphi\rightarrow\psi)\rightarrow (B_i\varphi\rightarrow B_i\psi)  $}

\leftright{باورهای سازگار}
{$\neg B_i\bot$}

\leftright{خودآگاهی مثبت \footnote{\lr{positive intropection}}}
{$ B_i\varphi\rightarrow B_i B_i\varphi $}

\leftright{خودآگاهی منفی\LTRfootnote{negative intropection}}
{$ \neg B_i\varphi\rightarrow B_i\neg B_i\varphi $}

\leftright{قاعده‌ی وضع مقدم}
{$ From\ \varphi\ and\ \varphi\rightarrow\psi\ infer\ \psi $}

\leftright{قاعده‌ی ضرورت}
{$ From\ \varphi\ infer\ B_i\varphi $}
\\

\end{document}