दिष्‍ट तर्क: Difference between revisions

Latest revision as of 12:22, 18 September 2023

दिष्‍ट तर्क^[1]^[2] आव्यूह (गणित) पर आधारित प्राथमिक तर्क का बीजगणितीय गणितीय मॉडल है। दिष्‍ट तर्क मानता है कि सत्य मान दिष्‍ट (गणित और भौतिकी) पर मैप करता है, और यह कि एक अक विधेय कलन और बाइनरी फ़ंक्शन संक्रिया आव्यूह प्रचालकों द्वारा निष्पादित किए जाते हैं। सदिश स्थान के रूप में मौलिक प्रस्तावपरक तर्क के प्रतिनिधित्व को संदर्भित करने के लिए सदिश तर्क का भी उपयोग किया गया है,^[3]^[4] जिसमें इकाई वैक्टर प्रस्तावक चर हैं। विधेय तर्क को उसी प्रकार के सदिश स्थान के रूप में दर्शाया जा सकता है जिसमें अक्ष विधेय अक्षरों $S$ और $P$ का प्रतिनिधित्व करते हैं।^[5] प्रस्तावपरक तर्क के लिए सदिश स्थान में मूल असत्य, F, और अनंत परिधि सत्य, T का प्रतिनिधित्व करती है, चूंकि विधेय तर्क के लिए स्थान में मूल कुछ भी नहीं दर्शाता है और परिधि कुछ भी नहीं, या कुछ से उड़ान का प्रतिनिधित्व करती है।

अवलोकन

क्लासिक बाइनरी लॉजिक को एक (एक अक) या दो (युग्मकीय) वेरिएबल्स के आधार पर गणितीय कार्यों के एक छोटे से समुच्चय द्वारा दर्शाया गया है। बाइनरी समुच्चय में, मान 1 सत्य (तर्क) और मान 0 से असत्य (तर्क) से मेल खाता है। दो-मूल्यवान सदिश तर्क के लिए सत्य-मूल्य सत्य (टी) और असत्य (एफ) और दो क्यू-आयामी सामान्यीकृत वास्तविक संख्या-मूल्यवान स्तंभ वैक्टर एस और एन के बीच पत्राचार की आवश्यकता होती है, इसलिए:

t\mapsto s

और

f\mapsto n

(जहाँ $q\geq 2$ स्वेच्छ प्राकृतिक संख्या है, और सामान्यीकृत का अर्थ है कि दिष्‍ट का यूक्लिडियन मानदंड 1 है; सामान्यतः S और N ऑर्थोगोनल वैक्टर हैं)। यह पत्राचार सदिश सत्य-मानों का स्थान उत्पन्न करता है: V₂ = {s,n}। वैक्टर के इस समुच्चय का उपयोग करके परिभाषित मूलभूत तार्किक संक्रिया आव्यूह प्रचालकों की ओर ले जाते हैं।

दिष्‍ट तर्क के संचालन क्यू-आयामी स्तंभ वैक्टर के बीच स्केलर उत्पाद पर आधारित होते हैं: $u^{T}v=\langle u,v\rangle$ : सदिशों s और n के बीच ऑर्थोनॉर्मलिटी का तात्पर्य है कि $\langle u,v\rangle =1$ यदि $u=v$ , और $\langle u,v\rangle =0$ यदि $u\neq v$ , जहाँ $u,v\in \{s,n\}$ .

एक अक संक्रिया

एक अक प्रचालकों का परिणाम आवेदन $Mon:V_{2}\to V_{2}$ से होता है, और संबद्ध आव्यूहों में q पंक्तियाँ और q स्तंभ हैं। इस दो-मूल्यवान दिष्‍ट तर्क के लिए दो मूलभूत एक अक संकारक पहचान फलन और तार्किक निषेध हैं:

'पहचान': तार्किक पहचान आईडी (p) आव्यूह $I=ss^{T}+nn^{T}$ द्वारा दर्शाया गया है. यह आव्यूह निम्नानुसार संचालित होता है: Ip = p, p ∈ V₂; n के संबंध में s की ओर्थोगोनलिटी के कारण, हमारे पास $Is=ss^{T}s+nn^{T}s=s\langle s,s\rangle +n\langle n,s\rangle =s$ है, और इसी प्रकार $In=n$ है. यह ध्यान रखना महत्वपूर्ण है कि यह सदिश तर्क पहचान आव्यूह सामान्यतः आव्यूह बीजगणित के अर्थ में पहचान आव्यूह नहीं है।
निषेध: तार्किक निषेध ¬p आव्यूह $N=ns^{T}+sn^{T}$ द्वारा दर्शाया गया है परिणामस्वरूप, Ns = n और Nn = s। तार्किक निषेध का समावेशन (गणित) व्यवहार, अर्थात् ¬(¬p) p के बराबर है, इस तथ्य से मेल खाता है कि N² = I।

युग्मकीय संकारक

16 दो-मूल्यवान युग्मकीय संकारक प्रकार $Dyad:V_{2}\otimes V_{2}\to V_{2}$ के कार्यों के अनुरूप हैं; युग्मकीय आव्यूह में q² पंक्तियाँ और q कॉलम होते हैं। आव्यूह जो इन डायाडिक ऑपरेशंस को अंजाम देते हैं, क्रोनकर उत्पाद के गुणों पर आधारित होते हैं। सदिश तर्क की औपचारिकता के लिए इस उत्पाद के दो गुण आवश्यक हैं:

मिश्रित उत्पाद संपत्ति
यदि A, B, C and D ऐसे आकार के आव्यूह हैं कि कोई आव्यूह गुणनफल AC और BD बना सकता है, तब

$(A\otimes B)(C\otimes D)=AC\otimes BD$
वितरक आव्यूह परिवर्तन प्रतिस्थापन का संचालन क्रोनकर उत्पाद पर वितरणात्मक है:
$(A\otimes B)^{T}=A^{T}\otimes B^{T}.$

इन गुणों का उपयोग करते हुए, द्विअर्थी तर्क कार्यों के लिए व्यंजक प्राप्त किए जा सकते हैं:

संयोजक: संयोजन (p∧q) आव्यूह द्वारा निष्पादित किया जाता है जो दो दिष्‍ट सत्य-मानों: $C(u\otimes v)$ पर कार्य करता है, यह आव्यूह मौलिक संयोजन सत्य-तालिका की विशेषताओं को इसके निर्माण में पुन: प्रस्तुत करता है:

C=s(s\otimes s)^{T}+n(s\otimes n)^{T}+n(n\otimes s)^{T}+n(n\otimes n)^{T}

और सत्यापित करता है

C(s\otimes s)=s,

और

C(s\otimes n)=C(n\otimes s)=C(n\otimes n)=n.

वियोजन: संयोजन (p∨q) आव्यूह द्वारा निष्पादित किया जाता है

D=s(s\otimes s)^{T}+s(s\otimes n)^{T}+s(n\otimes s)^{T}+n(n\otimes n)^{T},

जिसके परिणामस्वरूप

D(s\otimes s)=D(s\otimes n)=D(n\otimes s)=s

और

D(n\otimes n)=n.

तार्किक निहितार्थ: निहितार्थ मौलिक तर्क में अभिव्यक्ति p → q ≡ ¬p ∨ q के अनुरूप है। इस तुल्यता का सदिश तर्क संस्करण आव्यूह की ओर जाता है जो सदिश तर्क में इस निहितार्थ का प्रतिनिधित्व करता है: $L=D(N\otimes I)$ . इस निहितार्थ के लिए स्पष्ट अभिव्यक्ति है:

L=s(s\otimes s)^{T}+n(s\otimes n)^{T}+s(n\otimes s)^{T}+s(n\otimes n)^{T},

और मौलिक निहितार्थ के गुण संतुष्ट हैं:

L(s\otimes s)=L(n\otimes s)=L(n\otimes n)=s

और

L(s\otimes n)=n.

तार्किक तुल्यता और अनन्य या सदिश तर्क में तुल्यता p≡q निम्नलिखित आव्यूह द्वारा दर्शाया गया है:

E=s(s\otimes s)^{T}+n(s\otimes n)^{T}+n(n\otimes s)^{T}+s(n\otimes n)^{T}

साथ

E(s\otimes s)=E(n\otimes n)=s

और

E(s\otimes n)=E(n\otimes s)=n.

अनन्य या तुल्यता का निषेध है, ¬(p≡q); यह द्वारा दिए गए आव्यूह

X=NE

से मेल खाता है

X=n(s\otimes s)^{T}+s(s\otimes n)^{T}+s(n\otimes s)^{T}+n(n\otimes n)^{T},

साथ

X(s\otimes s)=X(n\otimes n)=n

और

X(s\otimes n)=X(n\otimes s)=s.

शेफर लाइन और पियर्स तीर

मेट्रिसेस S और P क्रमशः शेफर स्ट्रोक (एनएएनडी) और तार्किक (एनओआर) संचालन के अनुरूप हैं:

S=NC

::

P=ND

संख्यात्मक उदाहरण

एस और एन के लिए 2-आयामी ऑर्थोनॉर्मल वैक्टर के दो अलग-अलग समुच्चयों के लिए मेट्रिसेस के रूप में प्रायुक्त किए गए कुछ मूलभूत तार्किक गेट्स के संख्यात्मक उदाहरण यहां दिए गए हैं।

'समुच्चय 1':

s={\begin{bmatrix}1\\0\end{bmatrix}}\quad n={\begin{bmatrix}0\\1\end{bmatrix}}

इस स्थिति में पहचान और निषेध संचालक पहचान और विरोधी विकर्ण पहचान आव्यूह हैं:,

I={\begin{bmatrix}1&0\\0&1\end{bmatrix}},\quad N={\begin{bmatrix}0&1\\1&0\end{bmatrix}}

और संयुग्मन, वियोग और निहितार्थ के आव्यूह क्रमशः

C={\begin{bmatrix}1&0&0&0\\0&1&1&1\end{bmatrix}},\quad D={\begin{bmatrix}1&1&1&0\\0&0&0&1\end{bmatrix}},\quad L={\begin{bmatrix}1&0&1&1\\0&1&0&0\end{bmatrix}}

हैं।

समुच्चय 2:

s={\frac {1}{\sqrt {2}}}{\begin{bmatrix}1\\1\end{bmatrix}}\quad n={\frac {1}{\sqrt {2}}}{\begin{bmatrix}1\\-1\end{bmatrix}}

यहां पहचान संकारक पहचान आव्यूह है, किन्तु ऋणात्मक संकारक अब विरोधी-विकर्ण पहचान आव्यूह नहीं है:

I={\begin{bmatrix}1&0\\0&1\end{bmatrix}},\quad N={\begin{bmatrix}1&0\\0&-1\end{bmatrix}}

संयोजन, वियोग और निहितार्थ के लिए परिणामी आव्यूह क्रमशः

C={\frac {1}{\sqrt {2}}}{\begin{bmatrix}2&0&0&0\\-1&1&1&1\end{bmatrix}},\quad D={\frac {1}{\sqrt {2}}}{\begin{bmatrix}2&0&0&0\\1&1&1&-1\end{bmatrix}},\quad L={\begin{bmatrix}2&0&0&0\\1&1&-1&1\end{bmatrix}}

हैं:

डी मॉर्गन का नियम

दो-मूल्यवान तर्क में, संयोजन और संयोजन संचालन डी मॉर्गन के नियमों को संतुष्ट करते हैं | क्यू))। दो-मूल्यवान सदिश तर्क के लिए यह नियम भी सत्यापित है:

C(u\otimes v)=ND(Nu\otimes Nv)

, जहाँ u और v दो तार्किक सदिश हैं।

क्रोनकर उत्पाद का तात्पर्य निम्नलिखित गुणनखंड से है:

C(u\otimes v)=ND(N\otimes N)(u\otimes v).

फिर यह सिद्ध किया जा सकता है कि द्वि-आयामी दिष्‍ट तर्क में डी मॉर्गन का नियम प्रचालकों से जुड़ा नियम है, न कि केवल संचालन से संबंधित नियम:^[6]

C=ND(N\otimes N)

विरोधाभास का नियम

मौलिक तर्कवाक्य कलन में, विरोधाभास (पारंपरिक तर्क) p → q ≡ ¬q → ¬p सिद्ध होता है क्योंकि समानता p और q के सत्य-मानों के सभी संभावित संयोजनों के लिए होती है।^[7] इसके अतिरिक्त, सदिश तर्क में, विरोधाभास का नियम आव्यूह बीजगणित और क्रोनकर उत्पादों के नियमों के अन्दर समानता की श्रृंखला से उभरता है, जैसा कि निम्न में दिखाया गया है:

L(u\otimes v)=D(N\otimes I)(u\otimes v)=D(Nu\otimes v)=D(Nu\otimes NNv)=

D(NNv\otimes Nu)=D(N\otimes I)(Nv\otimes Nu)=L(Nv\otimes Nu)

यह परिणाम इस तथ्य पर आधारित है कि डी, संयोजन आव्यूह, क्रम विनिमय संचालन का प्रतिनिधित्व करता है।

बहु-मूल्यवान द्वि-आयामी तर्क

कई-मूल्यवान तर्क कई शोधकर्ताओं द्वारा विकसित किए गए थे, विशेष रूप से जन लुकासिविक्ज़ द्वारा और तार्किक संचालन को सत्य-मूल्यों तक विस्तारित करने की अनुमति देता है जिसमें अनिश्चितताएं सम्मिलित हैं।^[8] दो-मूल्यवान सदिश तर्क के स्थितियों में, सत्य मानों में अनिश्चितताओं को संभाव्यताओं द्वारा भारित s और n वाले सदिशों का उपयोग करके प्रस्तुत किया जा सकता है।

मान लीजिए $f=\epsilon s+\delta n$ , साथ $\epsilon ,\delta \in [0,1],\epsilon +\delta =1$ इस प्रकार के संभाव्य वैक्टर बनें। यहाँ, तर्क के कई-मूल्यवान चरित्र को इनपुट में प्रस्तुत की गई अनिश्चितताओं के माध्यम से प्राथमिकता और पश्च प्रस्तुत किया गया है।^[1]

दिष्‍ट आउटपुट के स्केलर अनुमान

इस बहु-मूल्यवान तर्क के आउटपुट को स्केलर कार्यों पर प्रक्षेपित किया जा सकता है और रीचेनबैक के बहु-मूल्यवान तर्क के साथ समानता के साथ संभाव्य तर्क का विशेष वर्ग उत्पन्न किया जा सकता है।^[9]^[10]^[11] दो वैक्टर दिए गए हैं $u=\alpha s+\beta n$ और $v=\alpha 's+\beta 'n$ और युग्मकीय तार्किक आव्यूह $G$ , सदिशों पर प्रक्षेपण द्वारा अदिश संभाव्य तर्क प्रदान किया जाता है:

Val(\mathrm {scalars} )=s^{T}G(\mathrm {vectors} )

यहाँ इन अनुमानों के मुख्य परिणाम हैं:

NOT(\alpha )=s^{T}Nu=1-\alpha

OR(\alpha ,\alpha ')=s^{T}D(u\otimes v)=\alpha +\alpha '-\alpha \alpha '

AND(\alpha ,\alpha ')=s^{T}C(u\otimes v)=\alpha \alpha '

IMPL(\alpha ,\alpha ')=s^{T}L(u\otimes v)=1-\alpha (1-\alpha ')

XOR(\alpha ,\alpha ')=s^{T}X(u\otimes v)=\alpha +\alpha '-2\alpha \alpha '

संबद्ध निषेध हैं:

NOR(\alpha ,\alpha ')=1-OR(\alpha ,\alpha ')

NAND(\alpha ,\alpha ')=1-AND(\alpha ,\alpha ')

EQUI(\alpha ,\alpha ')=1-XOR(\alpha ,\alpha ')

यदि स्केलर मान समुच्चय {0, ½, 1} से संबंधित हैं, तो यह कई-मूल्यवान स्केलर तर्क कई प्रचालकों के लिए लगभग लुकासिविक्ज़ के 3-मूल्यवान तर्क के समान है। इसके अतिरिक्त, यह भी सिद्ध हो गया है कि जब एक अक या युग्मकीय संकारक इस समुच्चय से संबंधित संभाव्य वैक्टर पर कार्य करते हैं, तो आउटपुट भी इस समुच्चय का तत्व होता है।^[6]

एनओटी का वर्गमूल

यह संकारक मूल रूप से क्वांटम कम्प्यूटिंग के संरचना में क्यूबिट्स के लिए परिभाषित किया गया था।^[12]^[13] सदिश तर्क में, इस संकारक को स्वैच्छिक रूप से ऑर्थोनॉर्मल सत्य मानों के लिए बढ़ाया जा सकता है।^[2]^[14] वास्तविक में, एनओटी के दो वर्गमूल हैं:

A=({\sqrt {N}})_{1}={\frac {1}{2}}(1+i)I+{\frac {1}{2}}(1-i)N

, और

B=({\sqrt {N}})_{2}={\frac {1}{2}}(1-i)I+{\frac {1}{2}}(1+i)N

,

साथ $i={\sqrt {-1}}$ . $A$ और $B$ जटिल संयुग्म: $B=A^{*}$ हैं, और ध्यान दें कि $A^{2}=B^{2}=N$ , और $AB=BA=I$ . और रोचक बिंदु -1 के दो वर्गमूलों के साथ समानता है। धनात्मक मूल $+({\sqrt {-1}})$ $({\sqrt {N}})_{1}=IA$ से मेल खाती है, और ऋणात्मक मूल $-({\sqrt {-1}})$ $({\sqrt {N}})_{2}=NA$ से मेल खाती है; परिणाम के रूप में, $NA=B$ .

इतिहास

तार्किक संचालन का प्रतिनिधित्व करने के लिए रैखिक बीजगणित का उपयोग करने के प्रारंभिक प्रयासों को विशेष रूप से तार्किक आव्यूह के उपयोग में बीजगणितीय तर्क संबंधों की गणना की व्याख्या करने के लिए चार्ल्स सैंडर्स पियर्स और इरविंग कोपी के लिए संदर्भित किया जा सकता है।^[15]

उच्च-आयामी आव्यूह और वैक्टर के उपयोग के आधार पर तंत्रिका नेटवर्क मॉडल में दृष्टिकोण को प्रेरित किया गया है।^[16]^[17] दिष्‍ट तर्क मौलिक बूलियन बीजगणित के आव्यूह-दिष्‍ट औपचारिकता में सीधा अनुवाद है।^[18] इस प्रकार की औपचारिकता जटिल संख्याओं के संदर्भ में अस्पष्ट तर्क विकसित करने के लिए प्रायुक्त की गई है।^[19] क्वांटम भौतिकी, कंप्यूटर विज्ञान और प्रकाशिकी के संरचना में तार्किक कलन के लिए अन्य आव्यूह और दिष्‍ट दृष्टिकोण विकसित किए गए हैं।^[20]^[21]

भारतीय लोग जैवभौतिकविज्ञानी जी.एन. रामचंद्रन ने मौलिक जैन सात-मूल्य तर्क के कई कार्यों का प्रतिनिधित्व करने के लिए बीजगणितीय आव्यूह और वैक्टर का उपयोग करके औपचारिकता विकसित की, जिसे स्याद और सप्तभंगी के रूप में जाना जाता है; भारतीय तर्क देखें।^[22] इसे प्रस्ताव में प्रत्येक अभिकथन के लिए स्वतंत्र धनात्मक प्रमाण की आवश्यकता होती है, और यह द्विआधारी पूरकता के लिए धारणा नहीं बनाता है।

बूलियन बहुपद

जॉर्ज बूले ने बहुपदों के रूप में तार्किक संक्रियाओं के विकास की स्थापना किया था।^[18] एक अक प्रचालकों के स्थितियों में (जैसे पहचान फलन या तार्किक निषेध), बूलियन बहुपद इस प्रकार दिखते हैं:

f(x)=f(1)x+f(0)(1-x)

चार अलग-अलग एक अक संचालन गुणांक के लिए अलग-अलग बाइनरी मानों से उत्पन्न होते हैं। आइडेंटिटी संचालन के लिए f(1) = 1 और f(0) = 0 की आवश्यकता होती है, और f(1) = 0 और f(0) = 1 होने पर निषेध होता है। 16 युग्मकीय प्रचालकों के लिए, बूलियन बहुपद इस रूप में हैं:

f(x,y)=f(1,1)xy+f(1,0)x(1-y)+f(0,1)(1-x)y+f(0,0)(1-x)(1-y)

युग्मकीय संक्रिया को इस बहुपद प्रारूप में अनुवादित किया जा सकता है जब गुणांक एफ संबंधित सत्य तालिकाओं में दर्शाए गए मानों को लेते हैं। उदाहरण के लिए: शेफ़र स्ट्रोक संचालन के लिए आवश्यक है कि:

f(1,1)=0

और

f(1,0)=f(0,1)=f(0,0)=1

.

इन बूलियन बहुपदों को तुरंत किसी भी संख्या में चरों तक बढ़ाया जा सकता है, जिससे तार्किक प्रचालकों की बड़ी संभावित विविधता उत्पन्न होती है।

दिष्‍ट तर्क में, तार्किक प्रचालकों की आव्यूह-दिष्‍ट संरचना इन बूलियन बहुपदों के रैखिक बीजगणित के प्रारूप का त्रुटिहीन अनुवाद है, जहां x और 1−x क्रमशः वैक्टर s और n के अनुरूप होते हैं (y और 1−y के लिए समान) ). नंद के उदाहरण में, f(1,1)=n और f(1,0)=f(0,1)=f(0,0)=s और आव्यूह संस्करण बन जाता है:

S=n(s\otimes s)^{T}+s[(s\otimes n)^{T}+(n\otimes s)^{T}+(n\otimes n)^{T}]

विस्तारण

सदिश तर्क को कई सत्य मानों को सम्मिलित करने के लिए विस्तारित किया जा सकता है क्योंकि बड़े-आयामी सदिश स्थान कई ऑर्थोगोनल सत्य मूल्यों और संबंधित तार्किक आव्यूहों के निर्माण की अनुमति देते हैं।^[2]
कृत्रिम न्यूरॉन में प्रेरित पुनरावर्ती प्रक्रिया के साथ, इस संदर्भ में तार्किक विधियों का पूरी तरह से प्रतिनिधित्व किया जा सकता है।^[2]^[23]
तार्किक संगणनाओं के बारे में कुछ संज्ञानात्मक समस्याओं का इस औपचारिकता का उपयोग करके विश्लेषण किया जा सकता है, विशेष रूप से पुनरावर्ती निर्णयों में। मौलिक प्रस्तावपरक कलन की कोई भी तार्किक अभिव्यक्ति स्वाभाविक रूप से ट्री संरचना द्वारा प्रस्तुत की जा सकती है।^[7] इस तथ्य को सदिश तर्क द्वारा निरंतर रखा गया है, और प्राकृतिक भाषाओं की शाखित संरचना की जांच में केंद्रित तंत्रिका मॉडल में आंशिक रूप से उपयोग किया गया है।^[24]^[25]^[26]^[27]^[28]^[29]
फ्रेडकिन गेट के रूप में प्रतिवर्ती संचालन के माध्यम से गणना को दिष्‍ट तर्क में प्रायुक्त किया जा सकता है। ऐसा कार्यान्वयन आव्यूह प्रचालकों के लिए स्पष्ट अभिव्यक्ति प्रदान करता है जो गणना प्राप्त करने के लिए आवश्यक इनपुट प्रारूप और आउटपुट फ़िल्टरिंग का उत्पादन करता है।^[2]^[6]
दिष्‍ट तर्क के संकारक संरचना का उपयोग करके प्राथमिक सेलुलर स्वचलित का विश्लेषण किया जा सकता है; यह विश्लेषण इसकी गतिशीलता को नियंत्रित करने वाले नियमों के वर्णक्रमीय अपघटन की ओर ले जाता है।^[30]^[31]
इसके अतिरिक्त, इस औपचारिकता के आधार पर, असतत अंतर और अभिन्न कलन विकसित किया गया है।^[32]

यह भी देखें

संदर्भ

↑ ^1.0 ^1.1 Mizraji, E. (1992). Vector logics: the matrix-vector representation of logical calculus. Fuzzy Sets and Systems, 50, 179–185
↑ ^2.0 ^2.1 ^2.2 ^2.3 ^2.4 Mizraji, E. (2008) Vector logic: a natural algebraic representation of the fundamental logical gates. Journal of Logic and Computation, 18, 97–121
↑ Westphal, J. and Hardy, J. (2005) Logic as a Vector System. Journal of Logic and Computation, 751-765
↑ Westphal, J. Caulfield, H.J. Hardy, J. and Qian, L.(2005) Optical Vector Logic Theorem-Proving. Proceedings of the Joint Conference on Information Systems, Photonics, Networking and Computing Division.
↑ Westphal, J (2010). The Application of Vector Theory to Syllogistic Logic. New Perspectives on the Square of Opposition, Bern, Peter Lang.
↑ ^6.0 ^6.1 ^6.2 Mizraji, E. (1996) The operators of vector logic. Mathematical Logic Quarterly, 42, 27–39
↑ ^7.0 ^7.1 Suppes, P. (1957) Introduction to Logic, Van Nostrand Reinhold, New York.
↑ Łukasiewicz, J. (1980) Selected Works. L. Borkowski, ed., pp. 153–178. North-Holland, Amsterdam, 1980
↑ Rescher, N. (1969) Many-Valued Logic. McGraw–Hill, New York
↑ Blanché, R. (1968) Introduction à la Logique Contemporaine, Armand Colin, Paris
↑ Klir, G.J., Yuan, G. (1995) Fuzzy Sets and Fuzzy Logic. Prentice–Hall, New Jersey
↑ Hayes, B. (1995) The square root of NOT. American Scientist, 83, 304–308
↑ Deutsch, D., Ekert, A. and Lupacchini, R. (2000) Machines, logic and quantum physics. The Bulletin of Symbolic Logic, 6, 265-283.
↑ Mizraji, E. (2020). Vector logic allows counterfactual virtualization by the square root of NOT, Logic Journal of the IGPL. Online version (doi:10.1093/jigpal/jzaa026)
↑ Copilowish, I.M. (1948) Matrix development of the calculus of relations. Journal of Symbolic Logic, 13, 193–203
↑ Kohonen, T. (1977) Associative Memory: A System-Theoretical Approach. Springer-Verlag, New York
↑ Mizraji, E. (1989) Context-dependent associations in linear distributed memories. Bulletin of Mathematical Biology, 50, 195–205
↑ ^18.0 ^18.1 Boole, G. (1854) An Investigation of the Laws of Thought, on which are Founded the Theories of Logic and Probabilities. Macmillan, London, 1854; Dover, New York Reedition, 1958
↑ Dick, S. (2005) Towards complex fuzzy logic. IEEE Transactions on Fuzzy Systems, 15,405–414, 2005
↑ Mittelstaedt, P. (1968) Philosophische Probleme der Modernen Physik, Bibliographisches Institut, Mannheim
↑ Stern, A. (1988) Matrix Logic: Theory and Applications. North-Holland, Amsterdam
↑ Jain, M.K. (2011) Logic of evidence-based inference propositions, Current Science, 1663–1672, 100
↑ Mizraji, E. (1994) Modalities in vector logic Archived 2014-08-11 at the Wayback Machine. Notre Dame Journal of Formal Logic, 35, 272–283
↑ Mizraji, E., Lin, J. (2002) The dynamics of logical decisions. Physica D, 168–169, 386–396
↑ beim Graben, P., Potthast, R. (2009). Inverse problems in dynamic cognitive modeling. Chaos, 19, 015103
↑ beim Graben, P., Pinotsis, D., Saddy, D., Potthast, R. (2008). Language processing with dynamic fields. Cogn. Neurodyn., 2, 79–88
↑ beim Graben, P., Gerth, S., Vasishth, S.(2008) Towards dynamical system models of language-related brain potentials. Cogn. Neurodyn., 2, 229–255
↑ beim Graben, P., Gerth, S. (2012) Geometric representations for minimalist grammars. Journal of Logic, Language and Information, 21, 393-432 .
↑ Binazzi, A.(2012) Cognizione logica e modelli mentali. Studi sulla formazione, 1–2012, pag. 69–84
↑ Mizraji, E. (2006) The parts and the whole: inquiring how the interaction of simple subsystems generates complexity. International Journal of General Systems, 35, pp. 395–415.
↑ Arruti, C., Mizraji, E. (2006) Hidden potentialities. International Journal of General Systems, 35, 461–469.
↑ Mizraji, E. (2015) Differential and integral calculus for logical operations. A matrix–vector approach Journal of Logic and Computation 25, 613-638, 2015

[miz92-1] 1.0 ^1.1 Mizraji, E. (1992). Vector logics: the matrix-vector representation of logical calculus. Fuzzy Sets and Systems, 50, 179–185

[miz08-2] 2.0 ^2.1 ^2.2 ^2.3 ^2.4 Mizraji, E. (2008) Vector logic: a natural algebraic representation of the fundamental logical gates. Journal of Logic and Computation, 18, 97–121

[3] Westphal, J. and Hardy, J. (2005) Logic as a Vector System. Journal of Logic and Computation, 751-765

[4] Westphal, J. Caulfield, H.J. Hardy, J. and Qian, L.(2005) Optical Vector Logic Theorem-Proving. Proceedings of the Joint Conference on Information Systems, Photonics, Networking and Computing Division.

[5] Westphal, J (2010). The Application of Vector Theory to Syllogistic Logic. New Perspectives on the Square of Opposition, Bern, Peter Lang.

[miz96-6] 6.0 ^6.1 ^6.2 Mizraji, E. (1996) The operators of vector logic. Mathematical Logic Quarterly, 42, 27–39

[suppes-7] 7.0 ^7.1 Suppes, P. (1957) Introduction to Logic, Van Nostrand Reinhold, New York.

[8] Łukasiewicz, J. (1980) Selected Works. L. Borkowski, ed., pp. 153–178. North-Holland, Amsterdam, 1980

[9] Rescher, N. (1969) Many-Valued Logic. McGraw–Hill, New York

[10] Blanché, R. (1968) Introduction à la Logique Contemporaine, Armand Colin, Paris

[11] Klir, G.J., Yuan, G. (1995) Fuzzy Sets and Fuzzy Logic. Prentice–Hall, New Jersey

[12] Hayes, B. (1995) The square root of NOT. American Scientist, 83, 304–308

[13] Deutsch, D., Ekert, A. and Lupacchini, R. (2000) Machines, logic and quantum physics. The Bulletin of Symbolic Logic, 6, 265-283.

[miz20-14] Mizraji, E. (2020). Vector logic allows counterfactual virtualization by the square root of NOT, Logic Journal of the IGPL. Online version (doi:10.1093/jigpal/jzaa026)

[15] Copilowish, I.M. (1948) Matrix development of the calculus of relations. Journal of Symbolic Logic, 13, 193–203

[16] Kohonen, T. (1977) Associative Memory: A System-Theoretical Approach. Springer-Verlag, New York

[17] Mizraji, E. (1989) Context-dependent associations in linear distributed memories. Bulletin of Mathematical Biology, 50, 195–205

[boole-18] 18.0 ^18.1 Boole, G. (1854) An Investigation of the Laws of Thought, on which are Founded the Theories of Logic and Probabilities. Macmillan, London, 1854; Dover, New York Reedition, 1958

[19] Dick, S. (2005) Towards complex fuzzy logic. IEEE Transactions on Fuzzy Systems, 15,405–414, 2005

[20] Mittelstaedt, P. (1968) Philosophische Probleme der Modernen Physik, Bibliographisches Institut, Mannheim

[21] Stern, A. (1988) Matrix Logic: Theory and Applications. North-Holland, Amsterdam

[22] Jain, M.K. (2011) Logic of evidence-based inference propositions, Current Science, 1663–1672, 100

[23] Mizraji, E. (1994) Modalities in vector logic Archived 2014-08-11 at the Wayback Machine. Notre Dame Journal of Formal Logic, 35, 272–283

[24] Mizraji, E., Lin, J. (2002) The dynamics of logical decisions. Physica D, 168–169, 386–396

[25] Graben, P., Potthast, R. (2009). Inverse problems in dynamic cognitive modeling. Chaos, 19, 015103

[26] Graben, P., Pinotsis, D., Saddy, D., Potthast, R. (2008). Language processing with dynamic fields. Cogn. Neurodyn., 2, 79–88

[27] Graben, P., Gerth, S., Vasishth, S.(2008) Towards dynamical system models of language-related brain potentials. Cogn. Neurodyn., 2, 229–255

[28] Graben, P., Gerth, S. (2012) Geometric representations for minimalist grammars. Journal of Logic, Language and Information, 21, 393-432 .

[29] Binazzi, A.(2012) Cognizione logica e modelli mentali. Studi sulla formazione, 1–2012, pag. 69–84

[30] Mizraji, E. (2006) The parts and the whole: inquiring how the interaction of simple subsystems generates complexity. International Journal of General Systems, 35, pp. 395–415.

[31] Arruti, C., Mizraji, E. (2006) Hidden potentialities. International Journal of General Systems, 35, 461–469.

[32] Mizraji, E. (2015) Differential and integral calculus for logical operations. A matrix–vector approach Journal of Logic and Computation 25, 613-638, 2015

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[24]

[25]

[26]

[27]

[28]

[29]

[30]

[31]

[32]

@@ Line 1: / Line 1: @@
-वेक्टर तर्क<ref name="miz92">Mizraji, E. (1992). [http://www.sciencedirect.com/science/article/pii/016501149290216Q Vector logics: the matrix-vector representation of logical calculus.] Fuzzy Sets and Systems, 50, 179–185</ref><ref name="miz08">Mizraji, E. (2008) [http://logcom.oxfordjournals.org/content/18/1/97.full.pdf Vector logic: a natural algebraic representation of the fundamental logical gates.] Journal of Logic and Computation, 18, 97–121</ref> [[मैट्रिक्स (गणित)|आव्यूह (गणित)]] पर आधारित प्राथमिक [[तर्क]] का [[बीजगणित|बीजगणितीय]] गणितीय मॉडल है। वेक्टर तर्क मानता है कि सत्य मान [[वेक्टर (गणित और भौतिकी)]] पर मैप करता है, और यह कि [[मोनाडिक विधेय कलन|एक अक विधेय कलन]] और [[बाइनरी फ़ंक्शन]] संक्रिया आव्यूह प्रचालकों द्वारा निष्पादित किए जाते हैं। सदिश स्थान के रूप में मौलिक प्रस्तावपरक तर्क के प्रतिनिधित्व को संदर्भित करने के लिए सदिश तर्क का भी उपयोग किया गया है,<ref>Westphal, J. and Hardy, J. (2005) Logic as a Vector System. Journal of Logic and Computation, 751-765</ref><ref>Westphal, J.  Caulfield, H.J. Hardy, J. and Qian, L.(2005) Optical Vector Logic Theorem-Proving. Proceedings of the Joint Conference on Information Systems, Photonics, Networking and Computing Division.</ref> जिसमें इकाई वैक्टर [[प्रस्तावक चर]] हैं। [[विधेय तर्क]] को उसी प्रकार के सदिश स्थान के रूप में दर्शाया जा सकता है जिसमें अक्ष विधेय अक्षरों <math>S</math> और <math>P</math> का प्रतिनिधित्व करते हैं।<ref>Westphal, J (2010). The Application of Vector Theory to Syllogistic Logic. New Perspectives on the Square of Opposition, Bern, Peter Lang.</ref> प्रस्तावपरक तर्क के लिए सदिश स्थान में मूल असत्य, F, और अनंत परिधि सत्य, T का प्रतिनिधित्व करती है, जबकि विधेय तर्क के लिए स्थान में मूल कुछ भी नहीं दर्शाता है और परिधि कुछ भी नहीं, या कुछ से उड़ान का प्रतिनिधित्व करती है।
+दिष्‍ट तर्क<ref name="miz92">Mizraji, E. (1992). [http://www.sciencedirect.com/science/article/pii/016501149290216Q Vector logics: the matrix-vector representation of logical calculus.] Fuzzy Sets and Systems, 50, 179–185</ref><ref name="miz08">Mizraji, E. (2008) [http://logcom.oxfordjournals.org/content/18/1/97.full.pdf Vector logic: a natural algebraic representation of the fundamental logical gates.] Journal of Logic and Computation, 18, 97–121</ref> [[मैट्रिक्स (गणित)|आव्यूह (गणित)]] पर आधारित प्राथमिक [[तर्क]] का [[बीजगणित|बीजगणितीय]] गणितीय मॉडल है। दिष्‍ट तर्क मानता है कि सत्य मान [[वेक्टर (गणित और भौतिकी)|दिष्‍ट (गणित और भौतिकी)]] पर मैप करता है, और यह कि [[मोनाडिक विधेय कलन|एक अक विधेय कलन]] और [[बाइनरी फ़ंक्शन]] संक्रिया आव्यूह प्रचालकों द्वारा निष्पादित किए जाते हैं। सदिश स्थान के रूप में मौलिक प्रस्तावपरक तर्क के प्रतिनिधित्व को संदर्भित करने के लिए सदिश तर्क का भी उपयोग किया गया है,<ref>Westphal, J. and Hardy, J. (2005) Logic as a Vector System. Journal of Logic and Computation, 751-765</ref><ref>Westphal, J.  Caulfield, H.J. Hardy, J. and Qian, L.(2005) Optical Vector Logic Theorem-Proving. Proceedings of the Joint Conference on Information Systems, Photonics, Networking and Computing Division.</ref> जिसमें इकाई वैक्टर [[प्रस्तावक चर]] हैं। [[विधेय तर्क]] को उसी प्रकार के सदिश स्थान के रूप में दर्शाया जा सकता है जिसमें अक्ष विधेय अक्षरों <math>S</math> और <math>P</math> का प्रतिनिधित्व करते हैं।<ref>Westphal, J (2010). The Application of Vector Theory to Syllogistic Logic. New Perspectives on the Square of Opposition, Bern, Peter Lang.</ref> प्रस्तावपरक तर्क के लिए सदिश स्थान में मूल असत्य, F, और अनंत परिधि सत्य, T का प्रतिनिधित्व करती है, चूंकि विधेय तर्क के लिए स्थान में मूल कुछ भी नहीं दर्शाता है और परिधि कुछ भी नहीं, या कुछ से उड़ान का प्रतिनिधित्व करती है।
 == अवलोकन ==
-क्लासिक बाइनरी लॉजिक को एक (एक अक) या दो (युग्मकीय) वेरिएबल्स के आधार पर गणितीय कार्यों के एक छोटे से सेट द्वारा दर्शाया गया है। बाइनरी सेट में, मान 1 सत्य (तर्क) और मान 0 से असत्य (तर्क) से मेल खाता है। दो-मूल्यवान सदिश तर्क के लिए सत्य-मूल्य सत्य (टी) और असत्य (एफ) और दो क्यू-आयामी सामान्यीकृत [[वास्तविक संख्या]]-मूल्यवान स्तंभ वैक्टर एस और एन के बीच पत्राचार की आवश्यकता होती है, इसलिए:
+क्लासिक बाइनरी लॉजिक को एक (एक अक) या दो (युग्मकीय) वेरिएबल्स के आधार पर गणितीय कार्यों के एक छोटे से समुच्चय द्वारा दर्शाया गया है। बाइनरी समुच्चय में, मान 1 सत्य (तर्क) और मान 0 से असत्य (तर्क) से मेल खाता है। दो-मूल्यवान सदिश तर्क के लिए सत्य-मूल्य सत्य (टी) और असत्य (एफ) और दो क्यू-आयामी सामान्यीकृत [[वास्तविक संख्या]]-मूल्यवान स्तंभ वैक्टर एस और एन के बीच पत्राचार की आवश्यकता होती है, इसलिए:
 : <math>t\mapsto s</math>और<math>f\mapsto n</math>
-(जहाँ <math> q \geq 2</math> स्वेच्छ प्राकृतिक संख्या है, और सामान्यीकृत का अर्थ है कि वेक्टर का [[यूक्लिडियन मानदंड]] 1 है; आमतौर पर एस और एन ऑर्थोगोनल वैक्टर हैं)। यह पत्राचार सदिश सत्य-मानों का स्थान उत्पन्न करता है: ''V''<sub>2</sub> = {''s'',''n''}। वैक्टर के इस सेट का उपयोग करके परिभाषित बुनियादी तार्किक संक्रिया आव्यूह प्रचालकों की ओर ले जाते हैं।
+(जहाँ <math> q \geq 2</math> स्वेच्छ प्राकृतिक संख्या है, और सामान्यीकृत का अर्थ है कि दिष्‍ट का [[यूक्लिडियन मानदंड]] 1 है; सामान्यतः S और N ऑर्थोगोनल वैक्टर हैं)। यह पत्राचार सदिश सत्य-मानों का स्थान उत्पन्न करता है: ''V''<sub>2</sub> = {''s'',''n''}। वैक्टर के इस समुच्चय का उपयोग करके परिभाषित मूलभूत तार्किक संक्रिया आव्यूह प्रचालकों की ओर ले जाते हैं।
-वेक्टर तर्क के संचालन क्यू-आयामी स्तंभ वैक्टर के बीच स्केलर उत्पाद पर आधारित होते हैं: <math>u^Tv=\langle u,v\rangle</math>: सदिशों s और n के बीच ऑर्थोनॉर्मलिटी का तात्पर्य है कि <math>\langle u,v\rangle=1</math> अगर <math>u = v</math>, और <math>\langle u,v\rangle=0</math> अगर <math>u \ne v</math>, जहाँ <math>u, v \in \{s, n\}</math>.
+दिष्‍ट तर्क के संचालन क्यू-आयामी स्तंभ वैक्टर के बीच स्केलर उत्पाद पर आधारित होते हैं: <math>u^Tv=\langle u,v\rangle</math>: सदिशों s और n के बीच ऑर्थोनॉर्मलिटी का तात्पर्य है कि <math>\langle u,v\rangle=1</math> यदि <math>u = v</math>, और <math>\langle u,v\rangle=0</math> यदि <math>u \ne v</math>, जहाँ <math>u, v \in \{s, n\}</math>.
 === एक अक संक्रिया ===
-एक अक प्रचालकों का परिणाम आवेदन <math>Mon: V_2 \to V_2</math> से होता है, और संबद्ध आव्यूहों में q पंक्तियाँ और q स्तंभ हैं। इस दो-मूल्यवान वेक्टर तर्क के लिए दो बुनियादी एक अक संकारक [[पहचान समारोह|पहचान फलन]] और [[तार्किक निषेध]] हैं:
+एक अक प्रचालकों का परिणाम आवेदन <math>Mon: V_2 \to V_2</math> से होता है, और संबद्ध आव्यूहों में q पंक्तियाँ और q स्तंभ हैं। इस दो-मूल्यवान दिष्‍ट तर्क के लिए दो मूलभूत एक अक संकारक [[पहचान समारोह|पहचान फलन]] और [[तार्किक निषेध]] हैं:
-* '''<nowiki/>'पहचान'''': तार्किक पहचान आईडी (p) आव्यूह <math>I=ss^T + nn^T</math> द्वारा दर्शाया गया है. यह आव्यूह निम्नानुसार संचालित होता है:  ''Ip'' = ''p'', ''p'' ∈ ''V''<sub>2</sub>; n के संबंध में s की ओर्थोगोनलिटी के कारण, हमारे पास  <math>Is=ss^Ts+nn^Ts=s\langle s,s\rangle+n\langle n,s\rangle=s</math> है, और इसी तरह <math>In=n</math> है. यह ध्यान रखना महत्वपूर्ण है कि यह सदिश तर्क पहचान आव्यूह आम तौर पर आव्यूह बीजगणित के अर्थ में पहचान आव्यूह नहीं है।
+* '''<nowiki/>'पहचान'''': तार्किक पहचान आईडी (p) आव्यूह <math>I=ss^T + nn^T</math> द्वारा दर्शाया गया है. यह आव्यूह निम्नानुसार संचालित होता है:  ''Ip'' = ''p'', ''p'' ∈ ''V''<sub>2</sub>; n के संबंध में s की ओर्थोगोनलिटी के कारण, हमारे पास  <math>Is=ss^Ts+nn^Ts=s\langle s,s\rangle+n\langle n,s\rangle=s</math> है, और इसी प्रकार <math>In=n</math> है. यह ध्यान रखना महत्वपूर्ण है कि यह सदिश तर्क पहचान आव्यूह सामान्यतः आव्यूह बीजगणित के अर्थ में पहचान आव्यूह नहीं है।
-* '''निषेध''': तार्किक निषेध ¬''p'' आव्यूह <math>N=ns^T + sn^T</math> द्वारा दर्शाया गया है नतीजतन,  ''Ns'' = ''n'' और ''Nn'' = ''s''। तार्किक निषेध का समावेशन (गणित) व्यवहार, अर्थात् ¬(¬p) p के बराबर है, इस तथ्य से मेल खाता है कि ''N''<sup>2</sup> = ''I''।
+* '''निषेध''': तार्किक निषेध ¬''p'' आव्यूह <math>N=ns^T + sn^T</math> द्वारा दर्शाया गया है परिणामस्वरूप,  ''Ns'' = ''n'' और ''Nn'' = ''s''। तार्किक निषेध का समावेशन (गणित) व्यवहार, अर्थात् ¬(¬p) p के बराबर है, इस तथ्य से मेल खाता है कि ''N''<sup>2</sup> = ''I''।
 === युग्मकीय संकारक ===
@@ Line 26: / Line 26: @@
 इन गुणों का उपयोग करते हुए, द्विअर्थी तर्क कार्यों के लिए व्यंजक प्राप्त किए जा सकते हैं:
-* '''संयोजक''': संयोजन (''p''∧''q'') आव्यूह द्वारा निष्पादित किया जाता है जो दो वेक्टर सत्य-मानों: <math>C(u\otimes v)</math> पर कार्य करता है, यह आव्यूह मौलिक संयोजन सत्य-तालिका की विशेषताओं को इसके निर्माण में पुन: प्रस्तुत करता है:
+* '''संयोजक''': संयोजन (''p''∧''q'') आव्यूह द्वारा निष्पादित किया जाता है जो दो दिष्‍ट सत्य-मानों: <math>C(u\otimes v)</math> पर कार्य करता है, यह आव्यूह मौलिक संयोजन सत्य-तालिका की विशेषताओं को इसके निर्माण में पुन: प्रस्तुत करता है:
 ::<math>C=s(s\otimes s)^T + n(s\otimes n)^T + n(n\otimes s)^T + n(n\otimes n)^T </math>
@@ Line 63: / Line 63: @@
 === संख्यात्मक उदाहरण ===
-एस और एन के लिए 2-आयामी ऑर्थोनॉर्मल वैक्टर के दो अलग-अलग सेटों के लिए मेट्रिसेस के रूप में लागू किए गए कुछ बुनियादी तार्किक गेट्स के संख्यात्मक उदाहरण यहां दिए गए हैं।
+एस और एन के लिए 2-आयामी ऑर्थोनॉर्मल वैक्टर के दो अलग-अलग समुच्चयों के लिए मेट्रिसेस के रूप में प्रायुक्त किए गए कुछ मूलभूत तार्किक गेट्स के संख्यात्मक उदाहरण यहां दिए गए हैं।
-'सेट 1': <math display="block">s=\begin{bmatrix}1  \\ 0 \end{bmatrix} \quad n=\begin{bmatrix}0  \\ 1 \end{bmatrix}</math>
+'समुच्चय 1': <math display="block">s=\begin{bmatrix}1  \\ 0 \end{bmatrix} \quad n=\begin{bmatrix}0  \\ 1 \end{bmatrix}</math>
-इस मामले में पहचान और निषेध संचालक पहचान और विरोधी विकर्ण पहचान आव्यूह हैं:,
+इस स्थिति में पहचान और निषेध संचालक पहचान और विरोधी विकर्ण पहचान आव्यूह हैं:,
 <math display="block">I=\begin{bmatrix}1 & 0\\0 & 1\end{bmatrix}, \quad N=\begin{bmatrix}0 & 1\\1 & 0\end{bmatrix}</math> और संयुग्मन, वियोग और निहितार्थ के आव्यूह क्रमशः
@@ Line 73: / Line 73: @@
-सेट 2: <math display="block">s=\frac{1}{\sqrt{2}}\begin{bmatrix}1  \\ 1 \end{bmatrix} \quad n=\frac{1}{\sqrt{2}}\begin{bmatrix}1  \\ -1 \end{bmatrix}</math>
+समुच्चय 2: <math display="block">s=\frac{1}{\sqrt{2}}\begin{bmatrix}1  \\ 1 \end{bmatrix} \quad n=\frac{1}{\sqrt{2}}\begin{bmatrix}1  \\ -1 \end{bmatrix}</math>
-यहां पहचान संकारक पहचान आव्यूह है, लेकिन नकारात्मक संकारक अब विरोधी-विकर्ण पहचान आव्यूह नहीं है:
+यहां पहचान संकारक पहचान आव्यूह है, किन्तु ऋणात्मक संकारक अब विरोधी-विकर्ण पहचान आव्यूह नहीं है:
 <math display="block">I=\begin{bmatrix}1 & 0\\0 & 1\end{bmatrix}, \quad N=\begin{bmatrix}1 & 0\\0 & -1\end{bmatrix}</math> संयोजन, वियोग और निहितार्थ के लिए परिणामी आव्यूह क्रमशः
 <math display="block">C=\frac{1}{\sqrt{2}}\begin{bmatrix}2 & 0 & 0 & 0\\-1 & 1 & 1 & 1\end{bmatrix}, \quad D=\frac{1}{\sqrt{2}}\begin{bmatrix}2 & 0 & 0 & 0\\1 & 1 & 1 &-1\end{bmatrix}, \quad L=\begin{bmatrix}2 & 0 & 0 & 0\\1 & 1 & -1 & 1\end{bmatrix}</math>हैं:
-=== डी मॉर्गन का कानून ===
+=== डी मॉर्गन का नियम ===
-दो-मूल्यवान तर्क में, संयोजन और संयोजन संचालन डी मॉर्गन के नियमों को संतुष्ट करते हैं | क्यू))। दो-मूल्यवान सदिश तर्क के लिए यह कानून भी सत्यापित है:
+दो-मूल्यवान तर्क में, संयोजन और संयोजन संचालन डी मॉर्गन के नियमों को संतुष्ट करते हैं | क्यू))। दो-मूल्यवान सदिश तर्क के लिए यह नियम भी सत्यापित है:
 ::<math>C(u\otimes v)=ND(Nu\otimes Nv)</math>, जहाँ u और v दो तार्किक सदिश हैं।
@@ Line 87: / Line 87: @@
 ::<math>C(u\otimes v)=ND(N\otimes N)(u\otimes v).</math>
-फिर यह साबित किया जा सकता है कि द्वि-आयामी वेक्टर तर्क में डी मॉर्गन का कानून प्रचालकों से जुड़ा कानून है, न कि केवल संचालन से संबंधित कानून:<ref name="miz96">Mizraji, E. (1996) The operators of vector logic. Mathematical Logic Quarterly, 42, 27–39</ref>
+फिर यह सिद्ध किया जा सकता है कि द्वि-आयामी दिष्‍ट तर्क में डी मॉर्गन का नियम प्रचालकों से जुड़ा नियम है, न कि केवल संचालन से संबंधित नियम:<ref name="miz96">Mizraji, E. (1996) The operators of vector logic. Mathematical Logic Quarterly, 42, 27–39</ref>
 ::<math>C=ND(N\otimes N)</math>
 === विरोधाभास का नियम ===
-मौलिक तर्कवाक्य कलन में, [[विरोधाभास (पारंपरिक तर्क)]] p → q ≡ ¬q → ¬p सिद्ध होता है क्योंकि समानता p और q के सत्य-मानों के सभी संभावित संयोजनों के लिए होती है।<ref name="suppes">Suppes, P. (1957) Introduction to Logic, Van Nostrand Reinhold, New York.</ref> इसके बजाय, सदिश तर्क में, विरोधाभास का कानून आव्यूह बीजगणित और क्रोनकर उत्पादों के नियमों के भीतर समानता की श्रृंखला से उभरता है, जैसा कि निम्न में दिखाया गया है:
+मौलिक तर्कवाक्य कलन में, [[विरोधाभास (पारंपरिक तर्क)]] p → q ≡ ¬q → ¬p सिद्ध होता है क्योंकि समानता p और q के सत्य-मानों के सभी संभावित संयोजनों के लिए होती है।<ref name="suppes">Suppes, P. (1957) Introduction to Logic, Van Nostrand Reinhold, New York.</ref> इसके अतिरिक्त, सदिश तर्क में, विरोधाभास का नियम आव्यूह बीजगणित और क्रोनकर उत्पादों के नियमों के अन्दर समानता की श्रृंखला से उभरता है, जैसा कि निम्न में दिखाया गया है:
 ::<math>L(u\otimes v)=D(N\otimes I)(u\otimes v)=D(Nu\otimes v)=D(Nu\otimes NNv)=</math>
 ::<math> D(NNv\otimes Nu)=D(N\otimes I)(Nv\otimes Nu)=L(Nv\otimes Nu)</math>
-यह परिणाम इस तथ्य पर आधारित है कि डी, संयोजन आव्यूह, कम्यूटेटिव ऑपरेशन का प्रतिनिधित्व करता है।
+यह परिणाम इस तथ्य पर आधारित है कि डी, संयोजन आव्यूह, क्रम विनिमय संचालन का प्रतिनिधित्व करता है।
 == बहु-मूल्यवान द्वि-आयामी तर्क ==
-कई-मूल्यवान तर्क कई शोधकर्ताओं द्वारा विकसित किए गए थे, विशेष रूप से जन लुकासिविक्ज़ द्वारा और तार्किक संचालन को सत्य-मूल्यों तक विस्तारित करने की अनुमति देता है जिसमें अनिश्चितताएं शामिल हैं।<ref>Łukasiewicz, J. (1980) Selected Works. L. Borkowski, ed., pp. 153–178. North-Holland,
+कई-मूल्यवान तर्क कई शोधकर्ताओं द्वारा विकसित किए गए थे, विशेष रूप से जन लुकासिविक्ज़ द्वारा और तार्किक संचालन को सत्य-मूल्यों तक विस्तारित करने की अनुमति देता है जिसमें अनिश्चितताएं सम्मिलित हैं।<ref>Łukasiewicz, J. (1980) Selected Works. L. Borkowski, ed., pp. 153–178. North-Holland,
-Amsterdam, 1980</ref> दो-मूल्यवान सदिश तर्क के मामले में, सत्य मानों में अनिश्चितताओं को संभाव्यताओं द्वारा भारित s और n वाले सदिशों का उपयोग करके पेश किया जा सकता है।
+Amsterdam, 1980</ref> दो-मूल्यवान सदिश तर्क के स्थितियों में, सत्य मानों में अनिश्चितताओं को संभाव्यताओं द्वारा भारित s और n वाले सदिशों का उपयोग करके प्रस्तुत किया जा सकता है।
-होने देना <math>f=\epsilon s + \delta n</math>, साथ <math>\epsilon, \delta \in [0,1], \epsilon + \delta = 1</math> इस तरह के संभाव्य वैक्टर बनें। यहाँ, तर्क के कई-मूल्यवान चरित्र को इनपुट में पेश की गई अनिश्चितताओं के माध्यम से प्राथमिकता और पोस्टरियरी पेश किया गया है।<ref name="miz92"/>
+मान लीजिए <math>f=\epsilon s + \delta n</math>, साथ <math>\epsilon, \delta \in [0,1], \epsilon + \delta = 1</math> इस प्रकार के संभाव्य वैक्टर बनें। यहाँ, तर्क के कई-मूल्यवान चरित्र को इनपुट में प्रस्तुत की गई अनिश्चितताओं के माध्यम से प्राथमिकता और पश्च प्रस्तुत किया गया है।<ref name="miz92"/>
-=== वेक्टर आउटपुट के स्केलर अनुमान ===
+=== दिष्‍ट आउटपुट के स्केलर अनुमान ===
 इस बहु-मूल्यवान तर्क के आउटपुट को स्केलर कार्यों पर प्रक्षेपित किया जा सकता है और रीचेनबैक के बहु-मूल्यवान तर्क के साथ समानता के साथ [[संभाव्य तर्क]] का विशेष वर्ग उत्पन्न किया जा सकता है।<ref>Rescher, N. (1969) Many-Valued Logic. McGraw–Hill, New York</ref><ref>Blanché, R. (1968) Introduction à la Logique Contemporaine, Armand Colin, Paris</ref><ref>Klir, G.J., Yuan, G. (1995) Fuzzy Sets and Fuzzy Logic. Prentice–Hall, New Jersey</ref> दो वैक्टर दिए गए हैं <math>u=\alpha s + \beta n</math> और <math>v=\alpha's + \beta'n</math> और युग्मकीय तार्किक आव्यूह <math>G</math>, सदिशों पर प्रक्षेपण द्वारा अदिश संभाव्य तर्क प्रदान किया जाता है:
@@ Line 121: / Line 121: @@
 ::<math>NAND(\alpha,\alpha')=1-AND(\alpha,\alpha')</math>
 ::<math>EQUI(\alpha,\alpha')=1-XOR(\alpha,\alpha')</math>
-यदि स्केलर मान सेट {0, ½, 1} से संबंधित हैं, तो यह कई-मूल्यवान स्केलर तर्क कई प्रचालकों के लिए लगभग Łukasiewicz के 3-मूल्यवान तर्क के समान है। इसके अलावा, यह भी साबित हो गया है कि जब एक अक या युग्मकीय संकारक इस सेट से संबंधित संभाव्य वैक्टर पर कार्य करते हैं, तो आउटपुट भी इस सेट का तत्व होता है।<ref name="miz96"/>
+यदि स्केलर मान समुच्चय {0, ½, 1} से संबंधित हैं, तो यह कई-मूल्यवान स्केलर तर्क कई प्रचालकों के लिए लगभग लुकासिविक्ज़ के 3-मूल्यवान तर्क के समान है। इसके अतिरिक्त, यह भी सिद्ध हो गया है कि जब एक अक या युग्मकीय संकारक इस समुच्चय से संबंधित संभाव्य वैक्टर पर कार्य करते हैं, तो आउटपुट भी इस समुच्चय का तत्व होता है।<ref name="miz96"/>
-== NOT का वर्गमूल ==
+== एनओटी का वर्गमूल ==
-यह संकारक मूल रूप से [[क्वांटम कम्प्यूटिंग]] के ढांचे में qubits के लिए परिभाषित किया गया था।<ref>Hayes, B. (1995) The square root of NOT. American Scientist, 83, 304–308</ref><ref>Deutsch, D., Ekert, A. and Lupacchini, R. (2000) Machines, logic and quantum physics. The Bulletin of Symbolic Logic, 6, 265-283.</ref> सदिश तर्क में, इस संकारक को मनमाने ढंग से ऑर्थोनॉर्मल सत्य मानों के लिए बढ़ाया जा सकता है।<ref name="miz08"/><ref name="miz20">Mizraji, E. (2020). Vector logic allows counterfactual virtualization by the square root of NOT, Logic Journal of the IGPL. Online version ({{doi|10.1093/jigpal/jzaa026}})</ref> वास्तव में, NOT के दो वर्गमूल हैं:
+यह संकारक मूल रूप से [[क्वांटम कम्प्यूटिंग]] के संरचना में क्यूबिट्स के लिए परिभाषित किया गया था।<ref>Hayes, B. (1995) The square root of NOT. American Scientist, 83, 304–308</ref><ref>Deutsch, D., Ekert, A. and Lupacchini, R. (2000) Machines, logic and quantum physics. The Bulletin of Symbolic Logic, 6, 265-283.</ref> सदिश तर्क में, इस संकारक को स्वैच्छिक रूप से ऑर्थोनॉर्मल सत्य मानों के लिए बढ़ाया जा सकता है।<ref name="miz08"/><ref name="miz20">Mizraji, E. (2020). Vector logic allows counterfactual virtualization by the square root of NOT, Logic Journal of the IGPL. Online version ({{doi|10.1093/jigpal/jzaa026}})</ref> वास्तविक में, एनओटी के दो वर्गमूल हैं:
 ::<math>A=(\sqrt{N})_1=\frac{1}{2}(1+i)I+\frac{1}{2}(1-i)N</math>, और
 ::<math>B=(\sqrt{N})_2=\frac{1}{2}(1-i)I+\frac{1}{2}(1+i)N</math>,
-साथ <math>i=\sqrt{-1}</math>. <math>A</math> और <math>B</math> जटिल संयुग्म हैं: <math>B=A^*</math>, और ध्यान दें <math>A^2=B^2=N</math>, और <math>AB=BA=I</math>. और दिलचस्प बिंदु -1 के दो वर्गमूलों के साथ समानता है। सकारात्मक जड़ <math>+(\sqrt{-1})</math> से मेल खाती है <math>(\sqrt{N})_1=IA</math>, और नकारात्मक जड़ <math>-(\sqrt{-1})</math> से मेल खाती है <math>(\sqrt{N})_2=NA</math>; परिणाम के रूप में, <math>NA=B</math>.
+साथ <math>i=\sqrt{-1}</math>. <math>A</math> और <math>B</math> जटिल संयुग्म: <math>B=A^*</math> हैं, और ध्यान दें कि <math>A^2=B^2=N</math>, और <math>AB=BA=I</math>. और रोचक बिंदु -1 के दो वर्गमूलों के साथ समानता है। धनात्मक मूल <math>+(\sqrt{-1})</math> <math>(\sqrt{N})_1=IA</math> से मेल खाती है, और ऋणात्मक मूल <math>-(\sqrt{-1})</math>  <math>(\sqrt{N})_2=NA</math> से मेल खाती है; परिणाम के रूप में, <math>NA=B</math>.
 == इतिहास ==
-तार्किक संचालन का प्रतिनिधित्व करने के लिए रैखिक बीजगणित का उपयोग करने के शुरुआती प्रयासों को [[चार्ल्स सैंडर्स पियर्स]] और [[इरविंग कोपी]] के लिए संदर्भित किया जा सकता है,<ref>Copilowish, I.M. (1948) Matrix development of the calculus of relations. Journal of Symbolic Logic, 13, 193–203</ref> विशेष रूप से [[तार्किक मैट्रिक्स|तार्किक आव्यूह]] के उपयोग में बीजगणितीय तर्क # संबंधों की गणना की व्याख्या करने के लिए।
+तार्किक संचालन का प्रतिनिधित्व करने के लिए रैखिक बीजगणित का उपयोग करने के प्रारंभिक प्रयासों को विशेष रूप से [[तार्किक मैट्रिक्स|तार्किक आव्यूह]] के उपयोग में बीजगणितीय तर्क संबंधों की गणना की व्याख्या करने के लिए [[चार्ल्स सैंडर्स पियर्स]] और [[इरविंग कोपी]] के लिए संदर्भित किया जा सकता है।<ref>Copilowish, I.M. (1948) Matrix development of the calculus of relations. Journal of Symbolic Logic, 13, 193–203</ref>
-उच्च-आयामी आव्यूह और वैक्टर के उपयोग के आधार पर [[तंत्रिका नेटवर्क]] मॉडल में दृष्टिकोण को प्रेरित किया गया है।<ref>Kohonen, T. (1977) Associative Memory: A System-Theoretical Approach. Springer-Verlag, New York</ref><ref>Mizraji, E. (1989) [https://link.springer.com/article/10.1007%2FBF02458441 Context-dependent associations in linear distributed memories]. Bulletin of Mathematical Biology, 50, 195–205</ref> वेक्टर तर्क मौलिक [[बूलियन बीजगणित]] के आव्यूह-वेक्टर औपचारिकता में सीधा अनुवाद है।<ref name="boole">Boole, G. (1854) An Investigation of the Laws of Thought, on which are Founded the Theories of Logic and Probabilities. Macmillan, London, 1854; Dover, New York Reedition, 1958</ref> इस तरह की औपचारिकता जटिल संख्याओं के संदर्भ में अस्पष्ट तर्क विकसित करने के लिए लागू की गई है।<ref>Dick, S. (2005) Towards complex fuzzy logic. IEEE Transactions on Fuzzy Systems, 15,405–414, 2005</ref> तार्किक कलन के अन्य आव्यूह और वेक्टर दृष्टिकोण [[क्वांटम भौतिकी]], [[कंप्यूटर विज्ञान]] और [[प्रकाशिकी]] के ढांचे में विकसित किए गए हैं।<ref>Mittelstaedt, P. (1968) Philosophische Probleme der Modernen Physik, Bibliographisches Institut, Mannheim</ref><ref>Stern, A. (1988) Matrix Logic: Theory and Applications. North-Holland, Amsterdam</ref>
+उच्च-आयामी आव्यूह और वैक्टर के उपयोग के आधार पर [[तंत्रिका नेटवर्क]] मॉडल में दृष्टिकोण को प्रेरित किया गया है।<ref>Kohonen, T. (1977) Associative Memory: A System-Theoretical Approach. Springer-Verlag, New York</ref><ref>Mizraji, E. (1989) [https://link.springer.com/article/10.1007%2FBF02458441 Context-dependent associations in linear distributed memories]. Bulletin of Mathematical Biology, 50, 195–205</ref> दिष्‍ट तर्क मौलिक [[बूलियन बीजगणित]] के आव्यूह-दिष्‍ट औपचारिकता में सीधा अनुवाद है।<ref name="boole">Boole, G. (1854) An Investigation of the Laws of Thought, on which are Founded the Theories of Logic and Probabilities. Macmillan, London, 1854; Dover, New York Reedition, 1958</ref> इस प्रकार की औपचारिकता जटिल संख्याओं के संदर्भ में अस्पष्ट तर्क विकसित करने के लिए प्रायुक्त की गई है।<ref>Dick, S. (2005) Towards complex fuzzy logic. IEEE Transactions on Fuzzy Systems, 15,405–414, 2005</ref> [[क्वांटम भौतिकी]], [[कंप्यूटर विज्ञान]] और [[प्रकाशिकी]] के संरचना में तार्किक कलन के लिए अन्य आव्यूह और दिष्‍ट दृष्टिकोण  विकसित किए गए हैं।<ref>Mittelstaedt, P. (1968) Philosophische Probleme der Modernen Physik, Bibliographisches Institut, Mannheim</ref><ref>Stern, A. (1988) Matrix Logic: Theory and Applications. North-Holland, Amsterdam</ref>
-[[भारतीय लोग]] बायोफिजिसिस्ट जी.एन. रामचंद्रन ने मौलिक [[जैन सात-मूल्य तर्क]] के कई कार्यों का प्रतिनिधित्व करने के लिए बीजगणितीय आव्यूह और वैक्टर का उपयोग करके औपचारिकता विकसित की, जिसे स्याद और सप्तभंगी के रूप में जाना जाता है; [[भारतीय तर्क]] देखें।<ref>Jain, M.K. (2011) Logic of evidence-based inference propositions, Current Science, 1663–1672, 100</ref> इसे प्रस्ताव में प्रत्येक अभिकथन के लिए स्वतंत्र सकारात्मक साक्ष्य की आवश्यकता होती है, और यह द्विआधारी पूरकता के लिए धारणा नहीं बनाता है।
+[[भारतीय लोग]] जैवभौतिकविज्ञानी जी.एन. रामचंद्रन ने मौलिक [[जैन सात-मूल्य तर्क]] के कई कार्यों का प्रतिनिधित्व करने के लिए बीजगणितीय आव्यूह और वैक्टर का उपयोग करके औपचारिकता विकसित की, जिसे स्याद और सप्तभंगी के रूप में जाना जाता है; [[भारतीय तर्क]] देखें।<ref>Jain, M.K. (2011) Logic of evidence-based inference propositions, Current Science, 1663–1672, 100</ref> इसे प्रस्ताव में प्रत्येक अभिकथन के लिए स्वतंत्र धनात्मक प्रमाण की आवश्यकता होती है, और यह द्विआधारी पूरकता के लिए धारणा नहीं बनाता है।
 == बूलियन बहुपद ==
-[[जॉर्ज बूले]] ने बहुपदों के रूप में तार्किक संक्रियाओं के विकास की स्थापना की।<ref name="boole"/>एक अक प्रचालकों के मामले में (जैसे पहचान समारोह या
+[[जॉर्ज बूले]] ने बहुपदों के रूप में तार्किक संक्रियाओं के विकास की स्थापना किया था।<ref name="boole"/> एक अक प्रचालकों के स्थितियों में (जैसे पहचान फलन या तार्किक निषेध), बूलियन बहुपद इस प्रकार दिखते हैं:
-तार्किक निषेध), बूलियन बहुपद इस प्रकार दिखते हैं:
 ::<math>f(x) = f(1)x + f(0)(1-x) </math>
-चार अलग-अलग एक अक ऑपरेशन गुणांक के लिए अलग-अलग बाइनरी मानों से उत्पन्न होते हैं। आइडेंटिटी ऑपरेशन के लिए f(1) = 1 और f(0) = 0 की आवश्यकता होती है, और f(1) = 0 और f(0) = 1 होने पर निषेध होता है। 16 युग्मकीय प्रचालकों के लिए, बूलियन बहुपद इस रूप में हैं:
+चार अलग-अलग एक अक संचालन गुणांक के लिए अलग-अलग बाइनरी मानों से उत्पन्न होते हैं। आइडेंटिटी संचालन के लिए f(1) = 1 और f(0) = 0 की आवश्यकता होती है, और f(1) = 0 और f(0) = 1 होने पर निषेध होता है। 16 युग्मकीय प्रचालकों के लिए, बूलियन बहुपद इस रूप में हैं:
 ::<math>f(x,y) = f(1,1)xy + f(1,0)x(1-y) +f(0,1)(1-x)y + f(0,0)(1-x)(1-y)</math>
-युग्मकीय संक्रिया को इस बहुपद प्रारूप में अनुवादित किया जा सकता है जब गुणांक एफ संबंधित सत्य तालिकाओं में दर्शाए गए मानों को लेते हैं। उदाहरण के लिए: शेफ़र स्ट्रोक ऑपरेशन के लिए आवश्यक है कि:
+युग्मकीय संक्रिया को इस बहुपद प्रारूप में अनुवादित किया जा सकता है जब गुणांक एफ संबंधित सत्य तालिकाओं में दर्शाए गए मानों को लेते हैं। उदाहरण के लिए: शेफ़र स्ट्रोक संचालन के लिए आवश्यक है कि:
 ::<math> f(1,1)=0</math> और    <math>f(1,0)=f(0,1)=f(0,0)=1</math>.
-इन बूलियन बहुपदों को तत्काल किसी भी संख्या में चरों तक बढ़ाया जा सकता है, जिससे तार्किक प्रचालकों की बड़ी संभावित विविधता उत्पन्न होती है।
+इन बूलियन बहुपदों को तुरंत किसी भी संख्या में चरों तक बढ़ाया जा सकता है, जिससे तार्किक प्रचालकों की बड़ी संभावित विविधता उत्पन्न होती है।
-वेक्टर तर्क में, तार्किक प्रचालकों की आव्यूह-वेक्टर संरचना इन बूलियन बहुपदों के रैखिक बीजगणित के प्रारूप का सटीक अनुवाद है, जहां x और 1−x क्रमशः वैक्टर s और n के अनुरूप होते हैं (y और 1−y के लिए समान) ). नंद के उदाहरण में, f(1,1)=n और f(1,0)=f(0,1)=f(0,0)=s और आव्यूह संस्करण बन जाता है:
+दिष्‍ट तर्क में, तार्किक प्रचालकों की आव्यूह-दिष्‍ट संरचना इन बूलियन बहुपदों के रैखिक बीजगणित के प्रारूप का त्रुटिहीन अनुवाद है, जहां x और 1−x क्रमशः वैक्टर s और n के अनुरूप होते हैं (y और 1−y के लिए समान) ). नंद के उदाहरण में, f(1,1)=n और f(1,0)=f(0,1)=f(0,0)=s और आव्यूह संस्करण बन जाता है:
 ::<math>S=n(s\otimes s)^T + s[(s\otimes n)^T+(n\otimes s)^T+(n\otimes n)^T]</math>
-== एक्सटेंशन ==
+== विस्तारण ==
-* सदिश तर्क को कई सत्य मानों को शामिल करने के लिए विस्तारित किया जा सकता है क्योंकि बड़े-आयामी सदिश स्थान कई ऑर्थोगोनल सत्य मूल्यों और संबंधित तार्किक आव्यूहों के निर्माण की अनुमति देते हैं।<ref name="miz08"/>* [[कृत्रिम न्यूरॉन]] में प्रेरित पुनरावर्ती प्रक्रिया के साथ, इस संदर्भ में तार्किक तौर-तरीकों का पूरी तरह से प्रतिनिधित्व किया जा सकता है।<ref name="miz08"/><ref>Mizraji, E. (1994) [http://projecteuclid.org/DPubS?verb=Display&version=1.0&service=UI&handle=euclid.ndjfl/1094061864&page=record Modalities in vector logic] {{Webarchive|url=https://web.archive.org/web/20140811163306/http://projecteuclid.org/DPubS?verb=Display&version=1.0&service=UI&handle=euclid.ndjfl%2F1094061864&page=record |date=2014-08-11 }}. Notre Dame Journal of Formal Logic, 35, 272–283</ref>
+* सदिश तर्क को कई सत्य मानों को सम्मिलित करने के लिए विस्तारित किया जा सकता है क्योंकि बड़े-आयामी सदिश स्थान कई ऑर्थोगोनल सत्य मूल्यों और संबंधित तार्किक आव्यूहों के निर्माण की अनुमति देते हैं।<ref name="miz08"/>
-* तार्किक संगणनाओं के बारे में कुछ संज्ञानात्मक समस्याओं का इस औपचारिकता का उपयोग करके विश्लेषण किया जा सकता है, विशेष रूप से पुनरावर्ती निर्णयों में। मौलिक प्रस्तावपरक कलन की कोई भी तार्किक अभिव्यक्ति स्वाभाविक रूप से वृक्ष संरचना द्वारा प्रस्तुत की जा सकती है।<ref name="suppes"/>इस तथ्य को सदिश तर्क द्वारा बरकरार रखा गया है, और प्राकृतिक भाषाओं की शाखित संरचना की जांच में केंद्रित तंत्रिका मॉडल में आंशिक रूप से उपयोग किया गया है।<ref>Mizraji, E., Lin, J. (2002) The dynamics of logical decisions. Physica D, 168–169, 386–396</ref><ref>beim Graben, P., Potthast, R. (2009). Inverse problems in dynamic cognitive modeling. Chaos, 19, 015103</ref><ref>beim Graben, P., Pinotsis, D., Saddy, D., Potthast, R. (2008). Language processing with dynamic fields. Cogn. Neurodyn., 2, 79–88</ref><ref>beim Graben, P., Gerth, S., Vasishth, S.(2008) Towards dynamical system models of language-related brain potentials. Cogn. Neurodyn., 2, 229–255</ref><ref>beim Graben, P., Gerth, S. (2012) Geometric representations for minimalist grammars. Journal of Logic, Language and Information, 21, 393-432 .
+*[[कृत्रिम न्यूरॉन]] में प्रेरित पुनरावर्ती प्रक्रिया के साथ, इस संदर्भ में तार्किक विधियों का पूरी तरह से प्रतिनिधित्व किया जा सकता है।<ref name="miz08" /><ref>Mizraji, E. (1994) [http://projecteuclid.org/DPubS?verb=Display&version=1.0&service=UI&handle=euclid.ndjfl/1094061864&page=record Modalities in vector logic] {{Webarchive|url=https://web.archive.org/web/20140811163306/http://projecteuclid.org/DPubS?verb=Display&version=1.0&service=UI&handle=euclid.ndjfl%2F1094061864&page=record |date=2014-08-11 }}. Notre Dame Journal of Formal Logic, 35, 272–283</ref>
+* तार्किक संगणनाओं के बारे में कुछ संज्ञानात्मक समस्याओं का इस औपचारिकता का उपयोग करके विश्लेषण किया जा सकता है, विशेष रूप से पुनरावर्ती निर्णयों में। मौलिक प्रस्तावपरक कलन की कोई भी तार्किक अभिव्यक्ति स्वाभाविक रूप से ट्री संरचना द्वारा प्रस्तुत की जा सकती है।<ref name="suppes" /> इस तथ्य को सदिश तर्क द्वारा निरंतर रखा गया है, और प्राकृतिक भाषाओं की शाखित संरचना की जांच में केंद्रित तंत्रिका मॉडल में आंशिक रूप से उपयोग किया गया है।<ref>Mizraji, E., Lin, J. (2002) The dynamics of logical decisions. Physica D, 168–169, 386–396</ref><ref>beim Graben, P., Potthast, R. (2009). Inverse problems in dynamic cognitive modeling. Chaos, 19, 015103</ref><ref>beim Graben, P., Pinotsis, D., Saddy, D., Potthast, R. (2008). Language processing with dynamic fields. Cogn. Neurodyn., 2, 79–88</ref><ref>beim Graben, P., Gerth, S., Vasishth, S.(2008) Towards dynamical system models of language-related brain potentials. Cogn. Neurodyn., 2, 229–255</ref><ref>beim Graben, P., Gerth, S. (2012) Geometric representations for minimalist grammars. Journal of Logic, Language and Information, 21, 393-432 .
 </ref><ref>Binazzi, A.(2012) [http://www.fupress.net/index.php/sf/article/view/11649 Cognizione logica e modelli mentali.] Studi sulla formazione, 1–2012, pag. 69–84</ref>
-* [[फ्रेडकिन गेट]] के रूप में प्रतिवर्ती संचालन के माध्यम से गणना को वेक्टर तर्क में लागू किया जा सकता है। ऐसा कार्यान्वयन आव्यूह प्रचालकों के लिए स्पष्ट अभिव्यक्ति प्रदान करता है जो गणना प्राप्त करने के लिए आवश्यक इनपुट प्रारूप और आउटपुट फ़िल्टरिंग का उत्पादन करता है।<ref name="miz08"/><ref name="miz96"/>* वेक्टर तर्क के संकारक संरचना का उपयोग करके [[प्राथमिक सेलुलर automaton]] का विश्लेषण किया जा सकता है; यह विश्लेषण इसकी गतिशीलता को नियंत्रित करने वाले कानूनों के वर्णक्रमीय अपघटन की ओर ले जाता है।<ref>Mizraji, E. (2006) The parts and the whole: inquiring how the interaction of simple subsystems generates complexity. International Journal of General Systems, 35, pp. 395–415.</ref><ref>Arruti, C., Mizraji, E. (2006) Hidden potentialities. International Journal of General Systems, 35, 461–469.</ref>
+* [[फ्रेडकिन गेट]] के रूप में प्रतिवर्ती संचालन के माध्यम से गणना को दिष्‍ट तर्क में प्रायुक्त किया जा सकता है। ऐसा कार्यान्वयन आव्यूह प्रचालकों के लिए स्पष्ट अभिव्यक्ति प्रदान करता है जो गणना प्राप्त करने के लिए आवश्यक इनपुट प्रारूप और आउटपुट फ़िल्टरिंग का उत्पादन करता है।<ref name="miz08" /><ref name="miz96" />
-* इसके अलावा, इस औपचारिकता के आधार पर, असतत [[अंतर और अभिन्न कलन]] विकसित किया गया है।<ref>Mizraji, E. (2015) [http://logcom.oxfordjournals.org/content/25/3/613.full.pdf+html Differential and integral calculus for logical operations. A matrix–vector approach] Journal of Logic and Computation 25, 613-638, 2015</ref>
+*दिष्‍ट तर्क के संकारक संरचना का उपयोग करके [[प्राथमिक सेलुलर automaton|प्राथमिक सेलुलर स्वचलित]] का विश्लेषण किया जा सकता है; यह विश्लेषण इसकी गतिशीलता को नियंत्रित करने वाले नियमों के वर्णक्रमीय अपघटन की ओर ले जाता है।<ref>Mizraji, E. (2006) The parts and the whole: inquiring how the interaction of simple subsystems generates complexity. International Journal of General Systems, 35, pp. 395–415.</ref><ref>Arruti, C., Mizraji, E. (2006) Hidden potentialities. International Journal of General Systems, 35, 461–469.</ref>
+* इसके अतिरिक्त, इस औपचारिकता के आधार पर, असतत [[अंतर और अभिन्न कलन]] विकसित किया गया है।<ref>Mizraji, E. (2015) [http://logcom.oxfordjournals.org/content/25/3/613.full.pdf+html Differential and integral calculus for logical operations. A matrix–vector approach] Journal of Logic and Computation 25, 613-638, 2015</ref>
@@ Line 175: / Line 178: @@
 {{Reflist}}
-[[Category: तर्क]] [[Category: बूलियन बीजगणित]]
-[[Category: Machine Translated Page]]
 [[Category:Created On 16/02/2023]]
+[[Category:Machine Translated Page]]
+[[Category:Pages with script errors]]
+[[Category:Templates Vigyan Ready]]
+[[Category:Webarchive template wayback links]]
+[[Category:तर्क]]
+[[Category:बूलियन बीजगणित]]

Anonymous

Search

दिष्‍ट तर्क: Difference between revisions

Namespaces

More

Page actions

Latest revision as of 12:22, 18 September 2023

Contents

अवलोकन

एक अक संक्रिया

युग्मकीय संकारक

संख्यात्मक उदाहरण

डी मॉर्गन का नियम

विरोधाभास का नियम

बहु-मूल्यवान द्वि-आयामी तर्क

दिष्‍ट आउटपुट के स्केलर अनुमान

एनओटी का वर्गमूल

इतिहास

बूलियन बहुपद

विस्तारण

यह भी देखें

संदर्भ

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

दिष्‍ट तर्क: Difference between revisions

Latest revision as of 12:22, 18 September 2023

अवलोकन

एक अक संक्रिया

युग्मकीय संकारक

संख्यात्मक उदाहरण

डी मॉर्गन का नियम

विरोधाभास का नियम

बहु-मूल्यवान द्वि-आयामी तर्क

दिष्‍ट आउटपुट के स्केलर अनुमान

एनओटी का वर्गमूल

इतिहास

बूलियन बहुपद

विस्तारण

यह भी देखें

संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Categories