Soundness

Meaning

Noun

●

The state or quality of being sound.

●

The result or product of being sound.

●

In Logic:

The

(of an

) of not only being

, but also of having

premises.

●

In Logic:

The

property

of a

ogical

heory

hat whenever a

wff

is a

theorem

hen it must also be

valid

. Symbolically,

etting T

represent

heory within

ogic L,

his can be

represented

property

hat whenever T⊢ϕ is

rue,

hen T⊨ϕ must also be

rue, for any

wff

φ of

ogic L.

Sourced from

Wiktionary

Origin

soundness

English

-ness

English

sound

English

sound

Middle English (1100-1500)

sounden

Middle English (1100-1500)

sonder

Old French (842-ca. 1400)

sund

Old English (ca. 450-1100)

Sourced from

Etym

Join 10 million students and professionals writing 70% faster at QuillBot.com

Start writing better

Soundness

Meaning

Noun

Origin

Related