Content-Length: 16797 About: Logika predikat tingkat pertama

Logika predikat tingkat pertama adalah sistem deduksi formal yang digunakan dalam matematika, filosofi, linguistika, dan ilmu komputer. Jika kalkulus proposisional membahas proposisi sederhana, LTP menambahkan predikat dan kuantor. Misalnya: Sokrates adalah seorang manusia Plato adalah seorang manusia Kedua kalimat di atas dalam kalkulus proposisional adalah dua proposisi yang tidak berhubungan, misalnya dilambangkan dengan p dan q.

PropertyValue
dbpedia-owl:abstract
  • Logika predikat tingkat pertama adalah sistem deduksi formal yang digunakan dalam matematika, filosofi, linguistika, dan ilmu komputer. Jika kalkulus proposisional membahas proposisi sederhana, LTP menambahkan predikat dan kuantor. Misalnya: Sokrates adalah seorang manusia Plato adalah seorang manusia Kedua kalimat di atas dalam kalkulus proposisional adalah dua proposisi yang tidak berhubungan, misalnya dilambangkan dengan p dan q. Dalam LTP, keduanya dihubungkan dengan satu sifat, yaitu Manusia(x), artinya x adalah seorang manusia. Bila x = Socrates kita mendapatkan proposisi pertama, p; dan jika x = Plato kita mendapatkan proposisi kedua, q. Contoh berikut menjabarkan perbedaan kalkulus proposisional dan LTP: Semua manusia perlu makan Sokrates adalah manusia Sokrates perlu makan Dalam kalkulus proposisional, ketiga kalimat di atas diterjemahkan sebagai: A B C (artinya "maka") Ketiga kalimat di atas tidak dapat dihubungkan dalam kalkulus proposisional. Dalam LTP, kita dapat menerjemahkan ketiga kalimat itu sebagai:
dbpedia-owl:wikiPageID
  • 353145 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 6736034 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
dcterms:subject
rdfs:comment
  • Logika predikat tingkat pertama adalah sistem deduksi formal yang digunakan dalam matematika, filosofi, linguistika, dan ilmu komputer. Jika kalkulus proposisional membahas proposisi sederhana, LTP menambahkan predikat dan kuantor. Misalnya: Sokrates adalah seorang manusia Plato adalah seorang manusia Kedua kalimat di atas dalam kalkulus proposisional adalah dua proposisi yang tidak berhubungan, misalnya dilambangkan dengan p dan q.
rdfs:label
  • Logika predikat tingkat pertama
http://www.w3.org/ns/prov#wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of