술어,predicate

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"
 
[[술어타입,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 술어기호 predicate_symbol - writing
[[기호,symbol]] or [[심벌,symbol]]


술어절,predicate_clause =술어절,predicate_clause =,predicate_clause . 술어절 predicate_clause
{
술어절 - 내 직역 ... 마땅한 다른 번역이 없을 듯?
predicate clause
Srch:predicate_clause

WtEn:predicate_clause x 2024-02-14
Up: 술어,predicate 절,clause
MKL
predicate_calculus i.e. predicate_logic
연결사,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

3. 같은영단어 predicate : 언어학,linguistics의 predicate

서술어
주어,subject와 짝을 맞추는건 지금 이 페이지 술어,predicate보다는 서술어,predicate? fork? 그렇다면 pagename이 겹치는데... 어떻게하는게 최고? TBD.

4. Sub (논리학 쪽)


4.1. predicate calculus

predicate_calculus =,predicate_calculus =,predicate_calculus . predicate_calculus
predicate calculus

Srch:predicate_calculus
WtEn:predicate_calculus ?? qqqqwwwwwwwwwwwwwwww


"predicate calculus"
Ndict:predicate calculus
Ggl: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"

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"

4.2. predicate logic

predicate logic
predicate_logic =,predicate_logic =,predicate_logic . predicate_logic

이건 위에 predicate_calculus와 동의어. 단지 뉘앙스 차이?

"predicate logic"

predicate+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 ... Bing:predicate functor logic Ggl:predicate functor logic

4.3. predicate symbol

술어기호,predicate_symbol =술어기호,predicate_symbol =,predicate_symbol 술어기호 predicate_symbol - writing
기호,symbol or 심벌,symbol

WtEn:predicate_symbol ? kkkkkkkkkkooooooooo


4.4. predicate variable

5. Sub: (컴퓨터구조 쪽)

5.1. predication

predication
{
(IA64 = Itanium 에서)


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



5.2. predicate_register

predicate_register =,predicate_register . predicate_register
{
(IA64 = Itanium 에서)

predicate register




6. qualifying predicate

qualifying_predicate =,qualifying_predicate . qualifying_predicate
{
(IA64 = Itanium 에서)

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