원자식,atom in RRWiki

Difference between r1.7 and the current

@@ -1,45 +1,33 @@

'''atomic formula''', 줄여서 간단히 '''atom'''

aka '''prime formula'''[* "atomic formula (also known as an atom or a prime formula)" (we)]

모든 '''원자식'''은 [[적형식,wff]]임.

~~[[WpEn:Atomic_formula]]~~

~~Compare: [[WpEn:Atomic_sentence]] 원자문장?~~

~~----~~

~~'''atomic_formula''' =,atomic_formula .~~

~~같은 영단어:~~

~~[[아톰,atom]] [[원자,atom]]~~

Up: ~~[[포뮬러,~~formula~~]] =포뮬러,formula =,formula .~~

{

WtEn:atomic_formula

~~propositional_formula~~

~~''[[명제식,propositional_formula]] exists''~~

~~aka sentential formula [* MathWorld:Formula]~~

[[~~sentential~~_formula]] ~~=,sentential_formula . sentential_formula~~

{

~~sentential formula~~

[[WpEn:Atomic_formula]]

[[~~로직,logic~~]] ~~이론에서 "[[포뮬러~~,~~formula]]"라~~ 하면 보통 '''~~sentential~~ ~~formula~~'''~~(같은~~ ~~말: propositional formula , 다시 말해~~ [[~~propositional~~_~~calculus~~]](=[[~~propositional~~_~~logic~~]~~])의 formula)를 말한다.[* mw Formula~~]

Compare: [[atomic_sentence]] =,atomic_sentence . atomic_sentence

{

'''atomic sentence'''

원자문장?

[[WtEn:atomic_sentence]] = https://en.wiktionary.org/wiki/atomic_sentence

[[WpEn:Atomic_sentence]]

Up: [[원자,atom]] [[아톰,atom]] [[문장,sentence]]

} // atomic sentence .... Ggl:"atomic sentence" NN:"atomic sentence"

~~WtEn:sentential_formula x ([[Date(2023-08-18T16:36:21)]])~~

~~WpEn~~:~~Sentential_formula redir to WpEn:Propositional_formula~~

~~"A '''propositional formula''' may also be called a '''propositional expression, a sentence,''' or a '''sentential formula'''."~~

}