Pravdivostní hodnota

ikona
Tento článek potřebuje úpravy.
Můžete Wikipedii pomoci tím, že ho vylepšíte. Jak by měly články vypadat, popisují stránky Vzhled a styl, Encyklopedický styl a Odkazy.

V klasické logice se používají dvě pravdivostní hodnoty – pravda a nepravda. Hodnota pravda znamená, že výrok je pravdivý.

V algebře tvoří množina (pravda, nepravda) a na ní definované operace Booleovu algebru.

Klasická logika

 
⊤
pravda 		 
·∧·
konjunkce
¬
↕
↕
 
⊥
nepravda
·∨·
disjunkce
Negace vzájemně mění
pravdu za nepravdu
a konjunkci za disjunkci

V klasické logice se používají dvě pravdivostní hodnoty pravda (P, latinsky verum, ⊤, případně 1), a nepravda (N, latinsky falsum ⊥, případně 0). Logické spojky konjunkce a disjunkce jsou binární] logické funkce; vzájemně jsou propojeny de Morganovými zákony:

¬(p∧q) ⇔ ¬p ∨ ¬q
¬(p∨q) ⇔ ¬p ∧ ¬q

Elektrické obvody

V elektrických obvodech a v počítačích se hodnoty pravda a nepravda reprezentují podle vhodně vybraných elektrických veličin, nejčastěji napětí. Ve standardní logice TTL se používají tyto úrovně napětí:

  • pravda je napětí 5 V (v praxi 4,7 V až 5,3 V)
  • nepravda je napětí 0 V (v praxi 0 V až 0,6 V)
  • jakákoliv jiná hodnota napětí je chyba

V jiných typech logických obvodů se používají jiné úrovně napětí, v moderních počítačích se pro snížení příkonu napětí pro logickou jedničku snižuje až k jednomu voltu.

U počítačových sběrnic se používá tak zvaná trojstavová logika. Znamená to pouze, že výstupy obvodů, které nejsou vybrány, jsou ve stavu vysoké impedance, aby neovlivňovaly výstupy právě vybraných obvodů.

Alternativní logiky

Fuzzy logika a vícestavová logika používají více hodnot, než je pouze pravda a nepravda. Výrok tak může být pravdivý, nebo nepravdivý pouze částečně, můžeme také prohlásit, že pravdivost nebo nepravdivost výroků je neznámá.

Odkazy

Reference

V tomto článku byl použit překlad textu z článku Truth value na anglické Wikipedii.

Pahýl
Pahýl
 Tento článek je příliš stručný nebo postrádá důležité informace.
Pomozte Wikipedii tím, že jej vhodně rozšíříte. Nevkládejte však bez oprávnění cizí texty.

Read other articles:

Numbers in Egyptian mythology

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Numbers in Egyptian mythology – news · newspapers · books · scholar · JSTOR (November 2009) (Learn how and when to remove this template message) Part of a series onAncient Egyptian religion Beliefs Afterlife Cosmology Duat Ma'at Mythology Numerology Philosophy ...

 

2018 UNLV Rebels football team

American college football season 2018 UNLV Rebels footballConferenceMountain West ConferenceDivisionWest DivisionRecord4–8 (2–6 MW)Head coachTony Sanchez (4th season)Offensive coordinatorBarney Cotton (4th season)Offensive schemeMultipleDefensive coordinatorTim Skipper (1st season)Base defense3–4Home stadiumSam Boyd StadiumSeasons← 20172019 → 2018 Mountain West Conference football standings vte Conf Overall Team   W   L  ...

 

Member of Parliament, Lok Sabha

Representative of the Indian people in the lower house of the Indian Parliament Not to be confused with Member of Parliament, Rajya Sabha. For other uses, see Member of Parliament (India). Member of ParliamentEmblem of IndiaFlag of IndiaIncumbent17th Lok Sabhasince 23 May 2019Style Honourable (Inside India) His/Her Excellency (Outside India) StatusActiveAbbreviationMPMember ofLok SabhaReports toSpeakerSeatParliament of IndiaTerm length5 years; renewableConstituting instrumentArticle 81 o...

Mackinaw boat

Fur traders in a mackinaw boat or keel-boat on Slave River The Mackinaw boat is a loose, non-standardized term for a light, open sailboat or rowboat used in the interior of North America during the fur trading era. Within this term two different Mackinaw boats evolved: one for use on the upper Great Lakes, and the other for use on the upper Missouri River and its principal tributaries. Ancestors The common origin of all Mackinaw boats was the Native American canoe. With its lightness, speed, ...

 

Lambang Nusa Tenggara Timur

Lambang Nusa Tenggara TimurDetailPerisaiBerbentuk perisai lima sudut yang terdapat gambar bintang, komodo, padi, kapas, tombak dan pohon beringin. Prangko Lambang Provinsi Nusa Tenggara Timur Lambang Nusa Tenggara Timur berbentuk perisai dengan lima sudut yang memiliki arti perlindungan rakyat, juga berarti lima sila Pancasila. Dalam perisai tergambar bintang, Komodo, padi, kapas, tombak dan pohon beringin. Bintang melambangkan keagungan Tuhan Yang Maha Esa. Komodo dalam lambang adalah satu-s...

 

Nazionale Under-20 di calcio del Perù

Voce principale: Nazionale di calcio del Perù. Perù Uniformi di gara Casa Trasferta Sport Calcio Federazione FPF Codice FIFA PER Selezionatore Mondiali Under-20 Partecipazioni 0 (esordio: -) Miglior risultato - Copa América Sub-20 Partecipazioni 29 (esordio: 1954) Miglior risultato Terzo posto nel 1967, 1971 La Nazionale di calcio del Perù Under-20 è la rappresentativa calcistica del Perù composta da giocatori Under-20; è affiliata alla CONMEBOL ed è posta sotto l'egida della Federac...

OPEC Fund for International Development

Organization This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages) A major contributor to this article appears to have a close connection with its subject. It may require cleanup to comply with Wikipedia's content policies, particularly neutral point of view. Please discuss further on the talk page. (November 2018) (Learn how and when to remove this message) This article relies excessively on r...

 

Rhythm of the Wave

1974 film by Li Hsing This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Rhythm of the Wave – news · newspapers · books · scholar · JSTOR (May 2019) (Learn how and when to remove this message) Theatrical release poster Rhythm of the Wave (simplified Chinese: 海韵; traditional Chinese: 海韻; pinyin&#...

 

Burgrieden

Burgriedencomune Burgrieden – Veduta LocalizzazioneStato Germania Land Baden-Württemberg DistrettoTubinga CircondarioBiberach TerritorioCoordinate48°14′25″N 9°56′09″E / 48.240278°N 9.935833°E48.240278; 9.935833 (Burgrieden)Coordinate: 48°14′25″N 9°56′09″E / 48.240278°N 9.935833°E48.240278; 9.935833 (Burgrieden) Altitudine541 m s.l.m. Superficie21,86 km² Abitanti4 255[1] (31-12-2022) Densità1...

Unione Sportiva Catanzaro 1929 2019-2020

Questa voce o sezione deve essere rivista e aggiornata appena possibile. Sembra infatti che questa voce contenga informazioni superate e/o obsolete. Se puoi, contribuisci ad aggiornarla. Voce principale: Unione Sportiva Catanzaro 1929. Unione Sportiva Catanzaro 1929Stagione 2019-2020Lo Stadio Nicola Ceravolo Sport calcio Squadra Catanzaro Allenatore Gaetano Auteri, poi Gianluca Grassadonia, poi Gaetano Auteri All. in seconda Loreno Cassia, poi Pierluca Cincione, poi Loreno Cassia Presid...

 

大字 (数字)

この項目には、一部のコンピュータや閲覧ソフトで表示できない文字が含まれています（詳細）。 数字の大字（だいじ）は、漢数字の一種。通常用いる単純な字形の漢数字（小字）の代わりに同じ音の別の漢字を用いるものである。 概要 壱万円日本銀行券（「壱」が大字） 弐千円日本銀行券（「弐」が大字） 漢数字には「一」「二」「三」と続く小字と、「壱」「�...

 

内华达州

内華達州 美國联邦州State of Nevada 州旗州徽綽號：產銀之州、起戰之州地图中高亮部分为内華達州坐标：35°N－42°N, 114°W－120°W国家 美國建州前內華達领地加入聯邦1864年10月31日（第36个加入联邦）首府卡森城最大城市拉斯维加斯政府 • 州长（英语：List of Governors of {{{Name}}}]]） • 副州长（英语：List of lieutenant governors of {{{Name}}}]]）喬·隆巴爾多（R斯塔...

Boèce

Pour le philosophe du XIIIe siècle, voir Boèce de Dacie. BoèceBoèce et Philosophie, manuscrit du XIVe siècle.Naissance Vers 480RomeDécès 524PavieSépulture Basilique San Pietro in Ciel d'OroPrincipaux intérêts Logique, Religion, MusiqueŒuvres principales Consolation de PhilosophieInfluencé par Platon, Aristote, Cicéron, Porphyre, Saint AugustinA influencé La majeure partie de la philosophie médiévalePère Manlius Boethius (en)Conjoint Elpis (en)Enfants Symmachus (en)...

 

新罕布什尔州

坐标：43°11′38″N 71°34′21″W / 43.1938516°N 71.5723953°W / 43.1938516; -71.5723953 此條目需要补充更多来源。 (2017年5月21日)请协助補充多方面可靠来源以改善这篇条目，无法查证的内容可能會因為异议提出而被移除。致使用者：请搜索一下条目的标题（来源搜索：新罕布什尔州 — 网页、新闻、书籍、学术、图像），以检查网络上是否存在该主题的更多可靠来源...

 

土库曼斯坦总统

土库曼斯坦总统土库曼斯坦国徽土库曼斯坦总统旗現任谢尔达尔·别尔德穆哈梅多夫自2022年3月19日官邸阿什哈巴德总统府（Oguzkhan Presidential Palace）機關所在地阿什哈巴德任命者直接选举任期7年，可连选连任首任萨帕尔穆拉特·尼亚佐夫设立1991年10月27日 土库曼斯坦土库曼斯坦政府与政治 国家政府 土库曼斯坦宪法 国旗 国徽 国歌 立法機關（英语：National Council of Turkmenistan） ...

John Sanborn Phillips

John Sanborn PhillipsBorn(1861-07-02)July 2, 1861Council Bluffs, IowaDiedFebruary 28, 1949(1949-02-28) (aged 87)Goshen, New YorkEducation Knox College Harvard College OccupationPublisherSpouse Emma Delia West ​(m. 1885)​Children5RelativesSamuel Huntington (grandson) John Sanborn Phillips (1861–1949) attended Knox College in Illinois, where he worked on the student newspaper and met S. S. McClure. After earning an associate's degree, he entered Harvard Coll...

 

السكري

  هذه المقالة عن مرض السكري. لمعانٍ أخرى، طالع السكري (توضيح). السكري رمز الدائرة الزرقاء العالمية لمرض السكري[1]رمز الدائرة الزرقاء العالمية لمرض السكري[1] معلومات عامة الاختصاص علم الغدد الصماء من أنواع مرض استقلاب الغلوكوز  [لغات أخرى]‏،  ومرض  ا�...

 

Tom Weilandt

Tom Weilandt Informasi pribadiNama lengkap Tom WeilandtTanggal lahir 27 April 1992 (umur 32)Tempat lahir Rostock, JermanTinggi 187 m (614 ft)Posisi bermain GelandangInformasi klubKlub saat ini SpVgg Greuther FürthNomor 14Karier junior2007–2011 Hansa RostockKarier senior*Tahun Tim Tampil (Gol)2010–2013 Hansa Rostock 59 (8)2013– SpVgg Greuther Fürth 25 (4) * Penampilan dan gol di klub senior hanya dihitung dari liga domestik dan akurat per 11 Agustus 2014 Tom Weilan...

莫里斯維爾

莫里斯維爾 莫里斯維爾（Murrysville）位於美國賓夕法尼亞州威斯特摩蘭縣，2020年有人口21,000人。莫里斯維爾位在匹茲堡的郊區，距離匹茲堡約20英里。 參考 Municipality website Murrysville's official Community Magazine

 

Universitas Informatika dan Bisnis Indonesia

Artikel ini perlu dikembangkan agar dapat memenuhi kriteria sebagai entri Wikipedia.Bantulah untuk mengembangkan artikel ini. Jika tidak dikembangkan, artikel ini akan dihapus. Artikel ini tidak memiliki referensi atau sumber tepercaya sehingga isinya tidak bisa dipastikan. Tolong bantu perbaiki artikel ini dengan menambahkan referensi yang layak. Tulisan tanpa sumber dapat dipertanyakan dan dihapus sewaktu-waktu.Cari sumber: Universitas Informatika dan Bisnis Indonesia – ber...