명제식,propositional_formula

Difference between r1.7 and the current

@@ -1,14 +1,60 @@
(wpen) propositional_expression, sentential_formula 와 동의어이며 sentence라고도 한다고. - [[문장,sentence]]과의 관계 확실히.

[[명제proposition]]
[[명제proposition]] //later [[명제,proposition]]
[[포뮬러,formula]]

MKLINK
[[명제논리,propositional_logic]] { [[VG:명제논리,propositional_logic]] }
[[명제논리,propositional_logic]] 
[[disjunctive_normal_form]]
: A canonical form for a '''propositional formula'''. ( https://encyclopediaofmath.org/wiki/Disjunctive_normal_form )
----
Twins:
WpEn:Propositional_formula
= https://en.wikipedia.org/wiki/Propositional_formula
 
wpsp wpja wpko: x [[Date(2023-11-23T04:31:49)]]
 
WtEn:propositional_formula ?
 
[[WpEn:Propositional_formula]]
= https://en.wikipedia.org/wiki/Propositional_formula 
([[Date(2023-11-23T04:31:49)]] 첫문단 "In propositional logic,
//[[명제논리,propositional_logic]]에서
a '''propositional formula''' is a type of syntactic formula
// (syntactic_formula : [[신택스,syntax]] [[포뮬러,formula]] ... [[논리식,logical_formula]] ... 명제논리이므로 '''명제식,propositional_formula'''?)
which is well formed and has a truth value.
// [[적형식,wff]]이고 [[진리값,truth_value]]을 가지는.
If the values of all variables in a propositional formula are given,
// [[명제식,propositional_formula]]의 모든 변수의 값들이 주어지면,
it determines a unique truth value.
// 유일한([[유일성,uniqueness]]) [[진리값,truth_value]]이 [[결정,determination]]된다.
A '''propositional formula''' may also be called '''a propositional expression, a sentence, or a sentential formula'''.
// AKA: [[명제식,propositional_expression]], a [[문장,sentence]], or a [[문장식,sentential_formula]].
")
 
https://encyclopediaofmath.org/wiki/Propositional_formula
[[명제연결사,propositional_connective]] =명제연결사,propositional_connective =,propositional_connective 명제연결사 propositional_connective
{
'''propositional connective'''
https://encyclopediaofmath.org/wiki/Propositional_connective
 
MKL [[논리연결사,logical_connective]]
 
Up: [[연결사,connective]]
 
WtEn:propositional_connective x 2024-03
} // propositional connective ... Ggl:"propositional connective" NN:"propositional connective"
[[명제변수,propositional_variable]] =명제변수,propositional_variable =,propositional_variable 명제변수 propositional_variable
{
'''propositional variable'''
https://encyclopediaofmath.org/wiki/Propositional_variable
https://en.wiktionary.org/wiki/propositional_variable
MKL [[명제상수,propositional_constant]] =명제상수,propositional_constant =,propositional_constant 명제상수 propositional_constant
{
w
'''propositional constant'''
https://en.wiktionary.org/wiki/propositional_constant
Up: [[명제,proposition]] [[상수,constant]]
} // propositional constant .... Ggl:"propositional constant" NN:"propositional constant"
} // propositional variable ... Ggl:"propositional variable" NN:"propositional variable"

Up:
[[명제,proposition]] (curr [[명제proposition]])

(wpen) propositional_expression, sentential_formula 와 동의어이며 sentence라고도 한다고. - 문장,sentence과의 관계 확실히.


Twins:

wpsp wpja wpko: x 2023-11-23


WpEn:Propositional_formula
= https://en.wikipedia.org/wiki/Propositional_formula
(2023-11-23 첫문단 "In propositional logic,
//명제논리,propositional_logic에서
a propositional formula is a type of syntactic formula
// (syntactic_formula : 신택스,syntax 포뮬러,formula ... 논리식,logical_formula ... 명제논리이므로 명제식,propositional_formula?)
which is well formed and has a truth value.
// 적형식,wff이고 진리값,truth_value을 가지는.
If the values of all variables in a propositional formula are given,
// 명제식,propositional_formula의 모든 변수의 값들이 주어지면,
it determines a unique truth value.
// 유일한(유일성,uniqueness) 진리값,truth_value이 결정,determination된다.
A propositional formula may also be called a propositional expression, a sentence, or a sentential formula.
// AKA: 명제식,propositional_expression, a 문장,sentence, or a 문장식,sentential_formula.
")

https://encyclopediaofmath.org/wiki/Propositional_formula
명제연결사,propositional_connective =명제연결사,propositional_connective =,propositional_connective 명제연결사 propositional_connective
{
propositional connective
https://encyclopediaofmath.org/wiki/Propositional_connective

MKL 논리연결사,logical_connective

Up: 연결사,connective

WtEn:propositional_connective x 2024-03
} // propositional connective ... Ggl:propositional connective NN:propositional connective
명제변수,propositional_variable =명제변수,propositional_variable =,propositional_variable 명제변수 propositional_variable
{
propositional variable
https://encyclopediaofmath.org/wiki/Propositional_variable
https://en.wiktionary.org/wiki/propositional_variable
MKL 명제상수,propositional_constant =명제상수,propositional_constant =,propositional_constant 명제상수 propositional_constant
{
w
propositional constant
https://en.wiktionary.org/wiki/propositional_constant
Up: 명제,proposition 상수,constant
} // propositional constant .... Ggl:propositional constant NN:propositional constant
} // propositional variable ... Ggl:propositional variable NN:propositional variable

Up:
명제,proposition (curr 명제proposition)
논리식,logical_formula?
명제식,propositional_formula Modified on 3:58 am, March 29, 2024.
🎲 Random