主要公开日志

所有GSXAB的知识库公开日志的联合展示。您可以通过选择日志类型、输入用户名（区分大小写）或相关页面（区分大小写）筛选日志条目。

2023年7月30日 (日) 11:32 Gsxab 留言贡献创建了页面MyWiki:免责声明（创建页面，内容为“* 总说 ** GSXAB的知识库的目标是建立一个陈列计算机领域，及数学相关领域内容的个人维基。 ** GSXAB的知识库由用户:Gsxab及 Bing AI 联合撰写。因此，请注意您在这里找到的内容，并不一定由任何相关领域的专家和专业人员审查过，因此GSXAB的知识库无法保证给你提供完善、正确、可靠的信息。 * 读者的权益义务 ** 在CC BY-SA-4.0协议之外，在你和GSXAB的…”）
2023年7月30日 (日) 08:13 Gsxab 留言贡献创建了页面Ω （创建页面，内容为“分类:希腊字母 Ω、ω是希腊字母的第二十四个字母。在英语中的名称为 omega {{IPA|[əʊ̯ˈmeɪ̯.ɡə]}}、{{IPA|[ˈəʊ̯.mᵻ.ɡə]}}。汉字规范音译为奥米伽。古希腊语中名称为 {{Grc|ὦ}} {{IPA|[ɔː]}}，{{Latn|ô}}。中世纪失去长短音后为区别逐渐同音的 Ω ，改称 {{Grc|ὦ μέγα}}，{{Latn|ô méga}}，即“大的 o”。现代希腊语中名称为{{Grc|ωμέγα}} {{IPA|[oˈme.…”）
2023年7月30日 (日) 07:32 Gsxab 留言贡献创建了页面Ψ （创建页面，内容为“分类:希腊字母 {{Grc|Ψ}}、{{Grc|ψ}}是希腊字母的第二十三个字母。在英语中的名称为 psi {{IPA|[kaɪ̯]}}。汉字规范音译为普西。古希腊语中名称为 {{Grc|ψεῖ}} {{IPA|[pseː]}}，{{Latn|pseî}}。现代希腊语中名称为 {{Grc|ψι}} {{IPA|[psi]}}，{{Latn|psi}} 。 == 来源 == 希腊字母Ψ来源不详。 == 读音 == 古希腊语代表辅音丛 {{IPA|[ps]}}。现代希腊语也代表辅音丛 {{I…”）
2023年7月30日 (日) 06:43 Gsxab 留言贡献创建了页面Χ （创建页面，内容为“分类:希腊字母 {{Grc|Χ}}、{{Grc|χ}}是希腊字母的第二十二个字母。在英语中的名称为 chi {{IPA|[kaɪ̯]}}。汉字规范音译为希。古希腊语中名称为 {{Grc|χεῖ}} {{IPA|[kʰei̯]}}，{{Latn|kheî}}。现代希腊语中名称为 {{Grc|χι}} {{IPA|[çi]}}，{{Latn|chi}} 。 == 来源 == 希腊字母Χ来源不详。 == 读音 == 古希腊语代表送气的清硬腭塞音 {{IPA|[kʰ]}}。西部“红色”字母…”）
2023年7月30日 (日) 06:18 Gsxab 留言贡献创建了页面Φ （创建页面，内容为“分类:希腊字母 {{Grc|Φ}}、{{Grc|φ}}（或{{Grc|ϕ}}）是希腊字母的第二十一个字母。在英语中的名称为 phi {{IPA|[faɪ̯]}}。汉字规范音译为斐。古希腊语中名称为 {{Grc|ϕεῖ}} {{IPA|[pʰei̯]}}，{{Latn|pheî}}。现代希腊语中名称为 {{Grc|φι}} {{IPA|[fi]}}，{{Latn|fi}} 。 == 来源 == 希腊字母Φ来源不详，一说字形来自腓尼基字母 {{Phnx|𐤒}}（qoph）或古希腊字母 {{Grc…”）
2023年7月29日 (六) 18:38 Gsxab 留言贡献创建了页面Υ （创建页面，内容为“分类:希腊字母 Υ、υ是希腊字母的第二十个字母。在英语中的名称为 upsilon {{IPA|[ˈʌp.sᵻ.lɒn]}} 或 {{IPA|[ˈ(j)uːp.sᵻ.lɒn]}} ，英也作{{IPA|[ʊpˈsaɪ̯.lɒn]}} 或 {{IPA|[(j)uːpˈsaɪ̯.lɒn]}} ，或作 ypsilon {{IPA|[ˈɪp.saɪ̯.lɒn]}} 或 {{IPA|[ɪpˈsaɪ̯.lɒn]}}。汉字规范音译为宇普西隆。古希腊语中名称为 {{Grc|ὖ}} {{IPA|[uː]}} 或 {{IPA|[yː]}}，{{Latn|û}}。中世纪为区别双…”）
2023年7月29日 (六) 18:21 Gsxab 留言贡献创建了页面Τ （创建页面，内容为“分类:希腊字母 Τ、τ是希腊字母的第十九个字母。在英语中的名称为 tau {{IPA|[taʊ̯]}} 、 {{IPA|[tɔː]}}。汉字规范音译为陶。古希腊语中名称为 {{Grc|ταῦ}} {{IPA|[tau̯]}}，{{Latn|taû}}。现代希腊语中名称为 {{Grc|ταυ}} {{IPA|[taf]}}，{{Latn|taf}} 。 == 来源 == 希腊字母Τ来自腓尼基字母 {{Phnx|𐤕}}（taw）。 == 读音 == 古希腊语代表不送气的清齿塞音或清齿…”）
2023年7月29日 (六) 17:51 Gsxab 留言贡献创建了页面Σ （创建页面，内容为“分类:希腊字母 Σ、σ（或词尾小写ς）是希腊字母的第十八个字母。在英语中的名称为 sigma {{IPA|[ˈsɪɡ.mə]}}。汉字规范音译为西格马。古希腊语中名称为 {{Grc|σῖγμᾰ}} {{IPA|[rɔː]}}，{{Latn|sîgma}}。现代希腊语中名称为 {{Grc|σίγμα}} {{IPA|[ˈsiɣ.ma]}}，{{Latn|sígma}} 。 == 来源 == 希腊字母Σ来自腓尼基字母 {{Phnx|𐤔}}（šin）。字母名来源有争议。…”）
2023年7月29日 (六) 17:13 Gsxab 留言贡献创建了页面Ρ （创建页面，内容为“分类:希腊字母 Ρ、ρ（或ϱ）是希腊字母的第十七个字母。在英语中的名称为 rho {{IPA|[ɹʷoʊ̯]}}。汉字规范音译为柔。古希腊语中名称为 {{Grc|ῥῶ}} {{IPA|[rɔː]}}，{{Latn|rhô}}。现代希腊语中名称为 {{Grc|ρω}} {{IPA|[ro]}}，{{Latn|ro}} 或 {{Grc|ρο}} {{IPA|[ro]}}，{{Latn|ro}}。 == 来源 == 希腊字母Ρ来自腓尼基字母 {{Phnx|𐤓}}（reš）。 == 读音 == 古希腊语代表…”）
2023年7月29日 (六) 16:58 Gsxab 留言贡献创建了页面Π （创建页面，内容为“分类:希腊字母 Π、π是希腊字母的第十六个字母。在英语中的名称为 pi {{IPA|[paɪ̯]}}。汉字规范音译为派。古希腊语中名称为 {{Grc|πεῖ}} {{IPA|[peː]}}，{{Latn|peî}}。现代希腊语中名称为 {{Grc|πι}} {{IPA|[pi]}}，{{Latn|pi}} 。 == 来源 == 希腊字母Π来自腓尼基字母 {{Phnx|𐤐}}（pe）。 == 读音 == 古希腊语代表不送气的清双唇塞音 {{IPA|[p]}}。现代希腊语…”）
2023年7月29日 (六) 16:48 Gsxab 留言贡献创建了页面Ο （创建页面，内容为“分类:希腊字母 Ο、ο是希腊字母的第十五个字母。在英语中的名称为 omicron {{IPA|[ˈəʊ̯.mᵻk.ɹɒn]}}，{{IPA|[ˈɒ.mᵻk.ɹɒn]}}，英旧作{{IPA|[oʊ̯ˈmaɪ̯k.rɒn]}}。汉字规范音译为奥米克戎。古希腊语中名称为 {{Grc|οὖ}} {{IPA|[oː]}}，{{Latn|oû}}。中世纪失去长短音后为区别逐渐同音的 Ω ，改称 {{Grc|ὂ μικρόν}}，{{Latn|ò mikrón}}，即“小的 o”。现代希…”）
2023年7月29日 (六) 16:31 Gsxab 留言贡献创建了页面Ξ （创建页面，内容为“分类:希腊字母 Ξ、ξ是希腊字母的第十四个字母。在英语中的名称为 xi {{IPA|[zaɪ̯]}} 或 {{IPA|[ksaɪ̯]}}。汉字规范音译为克西。古希腊语中名称为 {{Grc|ξεῖ}} {{IPA|kseː}}，{{Latn|xeî}}。现代希腊语中名称为 {{Grc|ξι}} {{IPA|[ksi]}}，{{Latn|xi}} 。 == 来源 == 希腊字母Ξ来自腓尼基字母 {{Phnx|𐤎}}（samekh）。 == 读音 == 古希腊语代表辅音丛 {{IPA|[ks]}}。…”）
2023年7月29日 (六) 14:43 Gsxab 留言贡献创建了页面Ν （创建页面，内容为“分类:希腊字母 Ν、ν是希腊字母的第十三个字母。在英语中的名称为 nu {{IPA|[njuː]}}。汉字规范音译为纽。古希腊语中名称为 {{Grc|νῦ}} {{IPA|[nyː]}}，{{Latn|nû}}。现代希腊语中名称为 {{Grc|νι}} {{IPA|[ni]}}，{{Latn|ni}} 。 == 来源 == 希腊字母Ν来自腓尼基字母 {{Phnx|𐤍}}（nun）。 == 读音 == 古希腊语代表齿龈鼻音 {{IPA|[n]}}。现代希腊语也代表齿龈鼻…”）
2023年7月29日 (六) 14:36 Gsxab 留言贡献创建了页面Μ （创建页面，内容为“分类:希腊字母 Μ、μ是希腊字母的第十二个字母。在英语中的名称为 mu {{IPA|[m(j)uː]}}。汉字规范音译为谬。古希腊语中名称为 {{Grc|μῦ}} {{IPA|[myː]}}，{{Latn|mû}}。现代希腊语中名称为 {{Grc|μι}} {{IPA|[mi]}}，{{Latn|mi}} 或 {{Grc|μυ}} {{IPA|[mi]}}，{{Latn|my}} 。 == 来源 == 希腊字母Μ来自腓尼基字母 {{Phnx|𐤌}}（mem）。 == 读音 == 古希腊语代表双唇鼻音 {{IP…”）
2023年7月29日 (六) 14:12 Gsxab 留言贡献创建了页面Λ （创建页面，内容为“分类:希腊字母 Λ、λ是希腊字母的第十一个字母。在英语中的名称为 lambda {{IPA|[ˈlæm.də]}}。汉字规范音译为拉姆达。古希腊语中名称为 {{Grc|λάμβδα}} {{IPA|[lambda]}}，{{Latn|lámbda}} 或 {{Grc|λάβδα}} {{IPA|[labda]}}，{{Latn|lábda}}。现代希腊语中名称为{{Grc|λάμδα}} {{IPA|[ˈlam.ða]}}，{{Latn|lámda}}。 == 来源 == 希腊字母Λ来自腓尼基字母 {{Phnx|𐤋}}（lamedh…”）
2023年7月29日 (六) 13:46 Gsxab 留言贡献创建了页面Κ （创建页面，内容为“分类:希腊字母 Κ、κ（或手写体ϰ）是希腊字母的第十个字母。在英语中的名称为 kappa {{IPA|[ˈkæ.pə]}}。汉字规范音译为卡帕。古希腊语中名称为 {{Grc|κάππα}} {{IPA|[kappa]}}，{{Latn|káppa}}。现代希腊语中名称为{{Grc|κάππα}} {{IPA|[ˈka.pa]}}，{{Latn|káppa}}。 == 来源 == 希腊字母Κ来自腓尼基字母 {{Phnx|𐤊}}（kaph）。 == 读音 == 古希腊语代表不送气的…”）
2023年7月29日 (六) 13:01 Gsxab 留言贡献创建了页面Ι （创建页面，内容为“分类:希腊字母 Ι、ι是希腊字母的第九个字母。在英语中的名称为 iota {{IPA|[aɪ̯ˈoʊ̯.tə]}}。汉字规范音译为约塔。古希腊语中名称为 {{Grc|ιώτα}} {{IPA|[iɔːta]}}，{{Latn|iṓta}}。现代希腊语中名称为{{Grc|ιώτα }} {{IPA|[ˈʝo.ta]}}，{{Latn|ióta}}。 == 来源 == 希腊字母Ι来自腓尼基字母 {{Phnx|𐤉}}（yodh）。 == 读音 == 古希腊语代表闭前不圆唇元音的长…”）
2023年7月29日 (六) 12:28 Gsxab 留言贡献创建了页面Θ （创建页面，内容为“分类:希腊字母 Θ、θ是希腊字母的第五个字母。在英语中的名称为 theta {{IPA|[ˈθiː.tə]}}，美{{IPA|[ˈθeɪ̯.tə]}}。汉字规范音译为西塔。古希腊语中名称为 {{Grc|θῆτα}} {{IPA|[tʰɛːta]}}，{{Latn|thē̂ta}}。现代希腊语中名称为{{Grc|θήτα}} {{IPA|[ˈθi.ta]}}，{{Latn|thī́ta}}。 == 来源 == 希腊字母Θ来自腓尼基字母 {{Phnx|𐤈}}（teth）。 == 读音 == 古希腊语…”）
2023年7月29日 (六) 12:11 Gsxab 留言贡献创建了页面Η （创建页面，内容为“分类:希腊字母 Η、η是希腊字母的第七个字母。在英语中的名称为 eta {{IPA|[ˈiː.tə]}}，美{{IPA|[ˈeɪ.tə]}}。汉字规范音译为伊塔。古希腊语中名称为 {{Grc|ἦτα}} {{IPA|[ɛːta]}}，{{Latn|ē̂ta}}。现代希腊语中名称为{{Grc|ήτα}} {{IPA|[ˈi.ta]}}，{{Latn|ita}}。 == 来源 == 希腊字母Η来自腓尼基字母 {{Phnx|𐤇}}（heth）。 == 读音 == 古希腊中代表清声门过渡音 […”）
2023年7月29日 (六) 11:58 Gsxab 留言贡献创建了页面Ζ （创建页面，内容为“分类:希腊字母 Ζ、ζ是希腊字母的第六个字母。在英语中的名称为 zeta {{IPA|[ˈziː.tə]}}，美{{IPA|[ˈzeɪ̯.tə]}}。汉字规范音译为泽塔。古希腊语中名称为 {{Grc|ζῆτα}} {{IPA|[zdɛːta]}}，{{Latn|zē̂ta}}。现代希腊语中名称为{{Grc|ζήτα}} {{IPA|[ˈzi.ta]}}，{{Latn|zíta}}。 == 来源 == 希腊字母Ζ来自腓尼基字母 {{Phnx|𐤆}}（zayin）。字母名的来源不明，一说是…”）
2023年7月29日 (六) 11:11 Gsxab 留言贡献创建了页面Ε （创建页面，内容为“分类:希腊字母 Ε、ε是希腊字母的第四个字母。在英语中的名称为 epsilon {{IPA|[ˈɛp.sᵻ.lɒn}}，英也作{{IPA|[ɛpˈsaɪ̯.lən]}}。汉字规范音译为艾普西隆，也用过厄普西隆。古希腊语中名称为 {{Grc|εἶ}} {{IPA|[eː]}}，{{Latn|e}}。中世纪为区别双元音单化后同音的 {{Grc|αι}} ，改称 {{Grc| ἒ ψιλόν}}，{{Latn|e psilon}}，即“简单的 e”。现代希腊语中名称为{…”）
2023年7月29日 (六) 10:40 Gsxab 留言贡献创建了页面Δ （创建页面，内容为“分类:希腊字母 Δ、δ是希腊字母的第四个字母。在英语中的名称为 delta {{IPA|[ˈdɛɫ.tə]}}。汉字规范音译为德尔塔。古希腊语中名称为 {{Grc|δέλτα}} {{IPA|[delta]}}，{{Latn|délta}}，现代希腊语中名称为{{Grc|δέλτα}} {{IPA|[ˈðel.ta]}}，{{Latn|délta}}。 == 来源 == 希腊字母Δ来自腓尼基字母 {{Phnx|𐤃}}（daleth）。 == 读音 == 古希腊中代表浊齿龈塞音 {{IPA|[d…”）
2023年7月29日 (六) 10:28 Gsxab 留言贡献创建了页面Γ （创建页面，内容为“分类:希腊字母 Γ、γ是希腊字母的第一个字母。在英语中的名称为 gamma {{IPA|[ˈɡæ.mə]}}。汉字规范音译为伽马。古希腊语中名称为 {{Grc|γάμμα}} {{IPA|[alpʰa]}}，{{Latn|gámma}}，现代希腊语中名称为{{Grc|γάμμα}} {{IPA|[ˈɣa.ma]}}，{{Latn|gámm}}。 == 来源 == 希腊字母Γ来自腓尼基字母 {{Phnx|𐤂}}（gimel）。 == 读音 == 古希腊中代表浊硬腭塞音 {{IPA|[ɡ]}}…”）
2023年7月29日 (六) 10:20 Gsxab 留言贡献创建了页面Β （创建页面，内容为“分类:希腊字母 Β、β是希腊字母表的第二个字母。在英语中的名称为 beta {{IPA|[ˈbiː.tə]}}，美{{IPA|[ˈbeɪ̯.tə]}}}。汉字规范音译为贝塔。古希腊语中名称为 {{Grc|βῆτα}} {{IPA|[bɛːta]}}，{{Latn|bē̂ta}}，现代希腊语中名称为{{Grc|βήτα}} {{IPA|[ˈvi.ta]}}，{{Latn|víta}}。 == 来源 == 希腊字母Β来自腓尼基字母 {{Phnx|𐤁}}（beth）。 == 读音 == 古希腊中代表…”）
2023年7月29日 (六) 10:09 Gsxab 留言贡献创建了页面Α （创建页面，内容为“分类:希腊字母 Α、α是希腊字母的第一个字母。在英语中的名称为 alpha {{IPA|[ˈæɫ.fə]}}。汉字规范音译为阿尔法。古希腊语中名称为 {{Grc|ἄλφα}}，{{Latn|álpha}}，现代希腊语中名称为{{Grc|άλφα}}，{{Latn|álfa}}。 == 来源 == 希腊字母Α来自腓尼基字母 {{Phnx|𐤀}}（aleph）。 == 读音 == 古希腊中代表长短音 {{IPA|[a]}} 和 {{IPA|[aː]}}，有时通过附加符号…”）
2023年7月29日 (六) 07:36 Gsxab 留言贡献创建了页面单点集（重定向页面至单元素集）标签：新重定向
2023年7月28日 (五) 17:52 Gsxab 留言贡献创建了页面模板:GreekAlphabet （创建页面，内容为“ {| class='wikitable' style='text-align:center;margin:0 auto;border-width:2px' width='100%' |- ! colspan=27 style='border-bottom-width:2px' | 希腊字母 |- | Αα（Alpha） | Ββ（Beta） | Γγ（Gamma） | Δδ（Delta） | Εε（Epsilon） | Ζζ（Zeta） |- | Ηη（Eta） | Θθ（Theta） | Ιι（Iota） | Κκ（Kappa） | Λλ（Lambda） | Μμ（Mu） |- |…”）
2023年7月25日 (二) 18:12 Gsxab 留言贡献创建了页面模板:Latn （创建页面，内容为“{{{1}}}”）
2023年7月24日 (一) 17:43 Gsxab 留言贡献创建了页面模板:Grc （创建页面，内容为“{{{0}}}”）
2023年7月24日 (一) 17:37 Gsxab 留言贡献创建了页面模板:Phnx （创建页面，内容为“{{{0}}}”）
2023年7月23日 (日) 19:01 Gsxab 留言贡献创建了页面希腊字母（创建页面，内容为“ '''希腊字母'''('''Greek alphabet''')，指希腊使用的字母体系。是第一种全音素文字，也是使用时间最长的拼音文字。在大约公元前13世纪之前，希腊还在使用线形文字乙（Linear B）。在大约公元前13世纪，线形文字乙消失，希腊从青铜时代文化崩溃开始，进入黑暗时代，期间本土没有文字留存。到公元前9世纪，希腊出现了借用腓尼基字母的文字。腓…”）
2023年7月23日 (日) 10:44 Gsxab 留言贡献创建了页面Skolem范式（创建页面，内容为“分类:谓词逻辑 {{InfoBox |name=Skolem范式 |eng_name=Skolem normal form }} '''<ins>Skolem</ins>范式'''('''Skolem normal form''')指在前束范式基础上，将存在量词消除为个体常项或全称约束变元的函项，只留下全称量词的形式。与原公式有相同可满足性，但未必等值。 == 定义 == 对前束范式 <math>\mathsf{Q}_1 x_1 \dots \mathsf{Q}_n x_n \phi</math> ，对…”）
2023年7月22日 (六) 23:27 Gsxab 留言贡献创建了页面前束范式（创建页面，内容为“分类:谓词逻辑 {{InfoBox |name=前束范式 |eng_name=prenex normal form |aliases=PNF }} '''前束范式'''('''prenex normal form''', '''PNF''')指谓词公式的一种形式，将全部量化表达式都放在最前面，且这些量词均非否定无取值范围、辖域都覆盖到公式尾部。 == 定义 == 对谓词公式，若其具有形式 <math>\mathsf{Q}x_1 \dots \mathsf{Q}x_n \phi</math> ，其中 <math>\phi</math> 不含…”）
2023年7月16日 (日) 08:40 Gsxab 留言贡献创建了页面分类:谓词逻辑（创建页面，内容为“{{#default_form:}} 分类:数理逻辑”）
2023年7月15日 (六) 09:08 Gsxab 留言贡献创建了页面结构（逻辑）（重定向页面至解释（谓词逻辑））标签：新重定向
2023年7月15日 (六) 08:43 Gsxab 留言贡献创建了页面模型（逻辑）（重定向页面至解释（谓词逻辑））标签：新重定向
2023年7月15日 (六) 08:39 Gsxab 留言贡献创建了页面理论（逻辑）（创建页面，内容为“分类:证明论分类:模型论 {{InfoBox |name=理论 |eng_name=theory |aliases=形式理论,formal theory }} 指形式化公理系统中，从一组公理出发，按照给定推理规则，能演绎出的全体定理的集合。特点是对可演绎关系封闭。 {{证明论}} {{模型论}}”）
2023年7月14日 (五) 05:02 Gsxab 留言贡献创建了页面同构（模型）（创建页面，内容为“{{InfoBox |name=模型同构 |eng_name=isomorphism of models }} 模型的同构指两个模型有相同的构造。 == 定义 == 对模型 <math>\mathfrak{A}=\langle A,I \rangle,\mathfrak{B}=\langle B,J \rangle</math> ，若存在双射 <math>f: A\to B</math> 使得： * 对任意个体常项 <math>c</math> ， <math>f(c^{\mathfrak{A}}) = c^{\mathfrak{B}}</math> * 对任意 <math>n</math> 元谓词 <math>P</math> ，及 <math>a_1, \dots, a_n \in A</math>…”）
2023年7月9日 (日) 16:22 Gsxab 留言贡献创建了页面易字变形（创建页面，内容为“分类:谓词逻辑 {{InfoBox |name=易字变形 |eng_name= }} '''易字变形'''指一个谓词公式，其中的部分量化公式被替换成其易字式。 == 定义 == === 简单易字变形 === 对谓词公式 <math>\phi</math> 和 <math>\phi'</math> ，若存在公式 <math>\psi</math> 、原子公式 <math>p</math> 、互为易字式的两个量化公式 <math>\psi,\psi'</math> ，使得 <math>\phi=\chi(\psi/p),\phi'=\chi'(\psi…”）
2023年7月9日 (日) 12:52 Gsxab 留言贡献创建了页面易字式（创建页面，内容为“分类:谓词逻辑 {{InfoBox |name=易字式 |eng_name= }} 量化公式中，将被量化的个体变元及其辖域中的所有出现，同一更换一个变元名称，通常不改变语义，称为其'''易字式'''，操作称为'''易字变形'''。 == 定义 == 对公式 <math>\forall x\phi</math> 和 <math>\exists x\phi</math> ，个体变元 <math>y</math> 不在其中自由出现，且对 <math>x</math>…”）
2023年7月9日 (日) 12:50 Gsxab 留言贡献创建了页面易字（创建页面，内容为“分类:谓词逻辑 {{InfoBox |name=易字 |eng_name= }} 量化公式中，将被量化的个体变元及辖域中的所有出现，同一更换一个变元名称，通常不改变语义，称为其'''易字式'''，操作称为'''易字变形'''。 == 定义 == 对公式 <math>\forall x\phi</math> 和 <math>\exists x\phi</math> ，个体变元 <math>y</math> 不在其中自由出现，且对 <math>x</math> 在 <math>\phi</math> 中可自由代…”）
2023年7月9日 (日) 08:25 Gsxab 留言贡献创建了页面等项替换（创建页面，内容为“分类:等项替换 {{InfoBox |name=等项替换 |eng_name= }} '''等项替换'''指在任何谓词公式中，如果两个项相等，就能互相替换。这里项的相等指两个项在给定条件下的任意赋值下都相等，而且替换要求它们之间可自由代入。 == 定义 == 对公式 <math>\phi</math> 若 <math>s_1 \dots s_n</math> 和 <math>t_1 \dots t_n</math>…”）
2023年7月9日 (日) 07:00 Gsxab 留言贡献创建了页面真值指派（重定向页面至指派（命题逻辑））标签：新重定向
2023年7月9日 (日) 06:55 Gsxab 留言贡献创建了页面命题变元代入（创建页面，内容为“分类:命题逻辑 {{InfoBox |name=代入 |eng_name=subtitution }} 对命题变元的'''代入'''('''subtitution''')指在一个命题公式中，将某个命题变元的全体出现，全部用另一个公式来替换的操作。 == 定义 == === 代入 === 从全体命题变元所构成的集合到全体公式所构成的集合的映射，称为一个'''代入'''('''substitution''')。对于把 <math>p_1, \dots, p_n</math> 分别替…”）
2023年7月8日 (六) 22:44 Gsxab 留言贡献创建了页面可自由代入（个体变项）（创建页面，内容为“分类:谓词逻辑 {{InfoBox |name=可自由代入 |eng_name= }} 一个个体变项的'''可自由代入'''指，对一个谓词公式，将其中某个个体变项的全部出现替换为另一个项时，不会影响其语义的代入。实际上，影响语义的情况主要是指，新的项或其中某个个体变项，在代入后会落在某个作用在这一变项的量词的辖域内…”）
2023年7月8日 (六) 22:31 Gsxab 留言贡献创建了页面个体变项代入（创建页面，内容为“分类:谓词逻辑 {{InfoBox |name=代入 |eng_name=subtitution }} 对个体变项的'''代入'''('''subtitution''')指在一个项或一个谓词公式中，某个个体变项的全体出现，全部用另一个项来替换的操作。 == 定义 == === 代入 === 从全体个体项所构成的集合到全体项所构成的集合的映射，称为一个'''代入'''('''substitution''')。对…”）
2023年7月8日 (六) 16:12 Gsxab 留言贡献创建了页面逻辑蕴含（创建页面，内容为“分类:命题逻辑 {{InfoBox |name=逻辑蕴含 |eng_name=logical implication }} '''逻辑蕴含'''('''logical implication''')指两个谓词公式之间，在所有可能的指派下，若一个为真则另一个必为真的关系。或者说若第一个被满足则第二个被满足的关系。 == 定义 == {{Relation |name=重言蕴含 |symbol=<math>\Rightarrow</math>,<math>\vDash</math> |latex=\Rightarrow,\vDash |ope…”）
2023年7月8日 (六) 15:53 Gsxab 留言贡献创建了页面合同引理（创建页面，内容为“分类:证明论 {{InfoBox |name=合同引理 |eng_name= }} '''合同引理'''指项在赋值下的值、谓词公式在赋值下的真值，都仅依赖于赋值对其中出现的符号的解释。 == 定理 == 对模型 <math>\mathfrak{A} = \left\langle A, I \right\rangle, \mathfrak{A}' = \left\langle A', I'\right\rangle</math> ，有任意两个分别在两个模型上的赋值 <math>\sigma,\tau</math> ： # 若对项…”）
2023年7月8日 (六) 15:26 Gsxab 留言贡献移动页面希尔伯特表示至希尔伯特系统
2023年7月2日 (日) 13:47 Gsxab 留言贡献创建了页面演绎定理（创建页面，内容为“分类:证明论 {{InfoBox |name=演绎定理 |eng_name=deduction theory }} '''演绎定理'''是重要的元定理，由演绎的定义和mp规则即可得出，因此适用于绝大多数常见推理系统。 == 定理 == 对公式集 <math>\Gamma</math> 和公式 <math>\phi,\psi</math> ，有： <math>\Gamma, \phi \vdash \psi</math> 当且仅当 <math>\Gamma \vdash \phi\rightarrow\psi</math> 。 {{证明论}}”）