Difference between r1.12 and the current
@@ -10,6 +10,16 @@
[[predicate_calculus]] i.e. [[predicate_logic]]
[[연결사,connective]] i.e. [[논리연결사,logical_connective]]
} // predicate clause .... Ggl:"predicate clause" Naver:"predicate clause"
<<tableofcontents>>
= meaning? =
[[연결사,connective]] i.e. [[논리연결사,logical_connective]]
} // predicate clause .... Ggl:"predicate clause" Naver:"predicate clause"
[[술어타입,predicate_type]] - [[type_theory]] [[타입,type]] =====술어타입,predicate_type =,predicate_type 술어타입 predicate_type
{
'''predicate type'''
[[술어,predicate]]
[[타입,type]]
Wiki:PredicateTypes
WIKIADMIN
내 직역.
}// 술어타입 ... Naver:술어타입 Bing:술어타입 Ggl:술어타입 // predicate type .... Naver:"predicate type" Bing:"predicate type" Ggl:"predicate type"
----<<tableofcontents>>
= meaning? =
@@ -67,6 +77,20 @@
predicate+logic
https://en.wikipedia.org/wiki/Predicate_logic
Redir to
https://en.wikipedia.org/wiki/First-order_logic
=== predicate functor logic (PFL) ===
predicate functor logic (PFL)
predicate_functor_logic =,predicate_functor_logic . predicate_functor_logic |=,PFL PFL
https://en.wikipedia.org/wiki/Predicate_functor_logic
[[함자,functor]]
// predicate functor logic ... Bing:"predicate functor logic" Ggl:"predicate functor logic"
[[술어기호,predicate_symbol]] =술어기호,predicate_symbol =,predicate_symbol 술어기호 predicate_symbol - writing
[[기호,symbol]] or [[심벌,symbol]]
술어절,predicate_clause =술어절,predicate_clause =,predicate_clause . 술어절 predicate_clause
{
predicate type
술어,predicate
타입,type
PredicateTypes
WIKIADMIN
내 직역.
}// 술어타입 ... 술어타입 술어타입 술어타입 // predicate type .... predicate type predicate type predicate type
{
술어절 - 내 직역 ... 마땅한 다른 번역이 없을 듯?
predicate clause
predicate_clause
predicate_clause x 2024-02-14
Up: 술어,predicate 절,clause
MKL
predicate_calculus i.e. predicate_logic
연결사,connective i.e. 논리연결사,logical_connective
} // predicate clause .... predicate clause predicate clause
술어타입,predicate_type - type_theory 타입,type =====술어타입,predicate_type =,predicate_type 술어타입 predicate_type술어절 - 내 직역 ... 마땅한 다른 번역이 없을 듯?
predicate clause
predicate_clause
predicate_clause x 2024-02-14
Up: 술어,predicate 절,clause
MKL
predicate_calculus i.e. predicate_logic
연결사,connective i.e. 논리연결사,logical_connective
} // predicate clause .... predicate clause predicate clause
{
predicate type
술어,predicate
타입,type
PredicateTypes
WIKIADMIN
내 직역.
}// 술어타입 ... 술어타입 술어타입 술어타입 // predicate type .... predicate type predicate type predicate type
Contents
3. 같은영단어 predicate : 언어학,linguistics의 predicate ¶
서술어
주어,subject와 짝을 맞추는건 지금 이 페이지 술어,predicate보다는 서술어,predicate? fork? 그렇다면 pagename이 겹치는데... 어떻게하는게 최고? TBD.
주어,subject와 짝을 맞추는건 지금 이 페이지 술어,predicate보다는 서술어,predicate? fork? 그렇다면 pagename이 겹치는데... 어떻게하는게 최고? TBD.
4.1. predicate calculus ¶
predicate_calculus =,predicate_calculus =,predicate_calculus . predicate_calculus
predicate calculus
predicate calculus
4.1.1. first-order predicate calculus ¶
first-order_predicate_calculus =,first-order_predicate_calculus =,first-order_predicate_calculus . first-order_predicate_calculus
first-order predicate calculus
first-order predicate calculus
"first-order predicate calculus"
4.1.2. second-order predicate calculus ¶
second-order predicate calculus
second-order_predicate_calculus =,second-order_predicate_calculus =,second-order_predicate_calculus . second-order_predicate_calculus
second-order_predicate_calculus =,second-order_predicate_calculus =,second-order_predicate_calculus . second-order_predicate_calculus
"second-order predicate calculus"
4.2. predicate logic ¶
이건 위에 predicate_calculus와 동의어. 단지 뉘앙스 차이?
"predicate logic"
predicate+logic
https://en.wikipedia.org/wiki/Predicate_logic
Redir to
https://en.wikipedia.org/wiki/First-order_logic
Redir to
https://en.wikipedia.org/wiki/First-order_logic
4.2.1. predicate functor logic (PFL) ¶
predicate functor logic (PFL)
predicate_functor_logic =,predicate_functor_logic . predicate_functor_logic |=,PFL PFL
predicate_functor_logic =,predicate_functor_logic . predicate_functor_logic |=,PFL PFL
4.3. predicate symbol ¶
술어기호,predicate_symbol =술어기호,predicate_symbol =,predicate_symbol 술어기호 predicate_symbol - writing
기호,symbol or 심벌,symbol
기호,symbol or 심벌,symbol
https://proofwiki.org/wiki/Definition:Predicate_Symbol
...
술어기호 술어기호
predicate symbol predicate symbol
...
술어기호 술어기호
predicate symbol predicate symbol
4.4. predicate variable ¶
=,predicate_variable .
predicate_variable
https://encyclopediaofmath.org/wiki/Predicate_variable
변수,variable
predicate_variable
https://encyclopediaofmath.org/wiki/Predicate_variable
변수,variable
5.1. predication ¶
The conditional_execution of instructions based on their predicate.
When the predicate is true (1), the instruction is executed.
When is is false (0), the instruction is treated as a NOP.
// from https://www.cs.nmsu.edu/~rvinyard/itanium/ia64wbts/templ/gloss1.htm#Predication
When the predicate is true (1), the instruction is executed.
When is is false (0), the instruction is treated as a NOP.
// from https://www.cs.nmsu.edu/~rvinyard/itanium/ia64wbts/templ/gloss1.htm#Predication
5.2. predicate_register ¶
predicate register
Predicate Registers
See: https://www.cs.nmsu.edu/~rvinyard/itanium/ia64wbts/templ/gloss1.htm#Predicate_reg
See: https://www.cs.nmsu.edu/~rvinyard/itanium/ia64wbts/templ/gloss1.htm#Predicate_reg
See also: qualifying_predicate
6. qualifying predicate ¶
qualifying predicate
A predicate_register indicating whether or not the instruction is executed.
When the value of the register is true (1), the instruction is executed.
When the value of the register is false (0), the instruction is executed as a NOP.
Instructions that are not preceded by a predicate explicitly, assume the first predicate register, p0, which is always true.
// from https://www.cs.nmsu.edu/~rvinyard/itanium/ia64wbts/templ/gloss1.htm#Qualifying
When the value of the register is true (1), the instruction is executed.
When the value of the register is false (0), the instruction is executed as a NOP.
Instructions that are not preceded by a predicate explicitly, assume the first predicate register, p0, which is always true.
// from https://www.cs.nmsu.edu/~rvinyard/itanium/ia64wbts/templ/gloss1.htm#Qualifying