logical implication oor Indonesies

logical implication

naamwoord

a logical relation between propositions p and q of the form `if p then q'; if p is true then q cannot be false

Vertalings in die woordeboek Engels - Indonesies

implikasi

naamwoord

voorbeelde

Some could not accept the logical implication of a round earth—the concept of antipodes.
Ada yang tidak dapat menerima implikasi logis dari bentuk bumi yang bulat—konsep antipode.

It is related to the prasangika approach, which argues that no syllogistic forms of reasoning should be used to debate the notion of inherent existence, but only arguments which show the logical implications and absurdity of positions based upon inherent existence.
Hal ini terkait dengan pandangan prasangika, yang berpendapat bahwa tidak ada bentuk penalaran silogisme yang seharusnya digunakan untuk memperdebatkan gagasan keberadaan yang inheren, namun hanya argumen yang menunjukkan implikasi logis dan absurditas posisi berdasarkan eksistensi yang melekat.

Equality of truth values, i.e. bi-implication or logical equivalence, may be denoted by various symbols including =, ~, and ⇔.
Kesetaraan nilai-nilai kebenaran, yaitu bi-implikasi atau ekuivalensi logis, dapat dilambangkan dengan berbagai simbol seperti =, ~, dan ⇔.

In propositional logic, modus ponens (/ˈmoʊdəs ˈpoʊnɛnz/; MP; also modus ponendo ponens (Latin for "mode that affirms by affirming") or implication elimination) is a rule of inference.
Dalam kalkulus proposisional, modus ponens (MP; juga modus ponendo ponens (Latin untuk "modus yang menegaskan dengan menegaskan") atau implikasi penghapusan) adalah aturan penarikan kesimpulan.

What Archimedes did was to sort out the theoretical implications of this practical knowledge and present the resulting body of knowledge as a logically coherent system." and again: "With astonishment we find ourselves on the threshold of modern science.
Apa yang Archimedes lakukan adalah memilah implikasi teoretis dari pengetahuan praktis ini dan menyajikannya dalam sebuah badan pengetahuan sebagai sebuah sistem koheren secara logis." dan lagi: "Dengan takjub kita menemukan diri kita di ambang sains modern.