PC World 2002 March/PCWorld_2002-03_cd.bin/Akce/universum/Data/uni.u08/xml08/085527.xml

Extensible Markup Language | 2002-01-30 | 2KB | 47 lines

<?xml version="1.0" encoding="windows-1250"?>
<root>
 <idhesla>085527</idhesla>
 <prednazev></prednazev>
 <prednazevb></prednazevb>
 <nazev>predikßtovß logika</nazev>
 <specsubh></specsubh>
 <jmeno></jmeno>
 <hranata></hranata>
 <kulata></kulata>
 <telo><p>tΘ₧ predikßtov² poΦet nebo predikßtov² kalkul, rozÜφ°enφ v²rokovΘ logiky, vychßzejφcφ z formalizace vnit°nφ struktury v²rok∙; jestli₧e v²rokovß logika pojφmß jednotlivΘ v²roky jako celky, pak p. l. zkoumß tΘ₧ vnit°nφ strukturu v²rok∙ ( v²rokovß forma) a zßkonitostφ (jazyk p. l. obsahuje individuovΘ a predikßtovΘ prom∞nnΘ, tj. prom∞nnΘ pro v²rokovΘ formy) jako logickΘ konstanty, logickΘ spojky v²rokovΘ logiky a kvantifikßtory (<img src="znak/mat_kvantifikator.gif" /> <a href="javascript:top.GetURL('073434');" target="_self">obecn² kvantifikßtor</a> a <img src="znak/mat_jeprvkem.gif" /> <a href="javascript:top.GetURL('028112');" target="_self">existenΦnφ kvantifikßtor</a>). Vß₧φ-li se kvantifikßtory nejen na individuovΘ prom∞nnΘ, ale takΘ na predikßtovΘ prom∞nnΘ, vznikne p. l. druhΘho °ßdu.</p></telo>
 <dil>7</dil>
<o>
<o1>technika</o1>
<o2>informatika</o2>
<o3></o3>
</o>
<o>
<o1>matematika a fyzika</o1>
<o2></o2>
<o3></o3>
</o>
<odkazz>
<idz>028112</idz>
<nazevz><b>existenΦnφ kvantifikßtor</b></nazevz>
</odkazz>
<odkazz>
<idz>073434</idz>
<nazevz><b>obecn² kvantifikßtor</b></nazevz>
</odkazz>
<predchozi>
<idpredchozi>085526</idpredchozi>
<nazevpredchozi><b>predikativum</b></nazevpredchozi>
</predchozi>
<nasledujici>
<idnasledujici>085528</idnasledujici>
<nazevnasledujici><b>predikßtov² kalkul</b></nazevnasledujici>
</nasledujici>
<odkazna>
<idna>085528</idna>
<nazevna><b>predikßtov² kalkul</b></nazevna>
</odkazna>
<odkazna>
<idna>085529</idna>
<nazevna><b>predikßtov² poΦet</b></nazevna>
</odkazna>
</root>