연언 소거

논리학에서 연언 소거(連言消去, 영어: conjunction elimination)은 연언 명제로부터 그 두 성분을 유도하는 추론 규칙이다.

정의

연언 소거는 다음과 같은 두 개의 추론 규칙이다.[1]:183, §16.3.1[2]:29, §2.4

또는

여기서

  • , 는 논리식을 나타내는 메타 변수이다.
  • 는 논리곱이다.
  • 수평선은 증명 과정의 이웃한 두 단계를 구분하는 메타 논리 기호이다.
  • 는 왼쪽에 놓인 논리식들로부터 오른쪽에 놓인 논리식을 증명할 수 있음을 나타내는 메타 논리 기호이다.

성질

직관 논리에서 성립하며, 따라서 고전 논리를 비롯한 모든 초직관 논리에서 성립한다.

같이 보기

각주

  1. ↑ Lover, Robert (2008). 《Elementary Logic》 (영어). London: Springer. doi:10.1007/978-1-84800-082-7. ISBN 978-1-84800-081-0. LCCN 2008928865. 
  2. ↑ van Dalen, Dirk (2013). 《Logic and Structure》. Universitext (영어) 5판. London: Springer. doi:10.1007/978-1-4471-4558-5. ISBN 978-1-4471-4557-8. ISSN 0172-5939. LCCN 2012953020. 

Read other articles:

SD Hang Tuah 1

Artikel ini sebatang kara, artinya tidak ada artikel lain yang memiliki pranala balik ke halaman ini.Bantulah menambah pranala ke artikel ini dari artikel yang berhubungan atau coba peralatan pencari pranala.Tag ini diberikan pada Februari 2023. SD Plus Hang Tuah 1 JakartaSekolah Dasar Hang Tuah 1InformasiJenisSwastaNomor Statistik Sekolah20103938Kepala SekolahNursamsu Setiadi, MsiJumlah siswa0 2010StatusAktifAlamatLokasiJl. Gorontalo III no 24, Jakarta Utara, DKI Jakarta, Indonesia...

 

Ahmad Najib Qodratullah

Ahmad Najib Qodratullah Anggota Dewan Perwakilan Rakyat Republik IndonesiaPetahanaMulai menjabat 1 Oktober 2014PresidenSusilo Bambang Yudhoyono Joko WidodoDaerah pemilihanJawa Barat II Informasi pribadiLahir26 September 1977 (umur 46)Bandung, Jawa BaratPartai politikPANSuami/istriYuyun YuningsihAnak3Alma materSTIE KridatamaPekerjaanPolitikusSunting kotak info • L • B Ahmad Najib Qodratullah, S.E. (lahir 26 September 1977) adalah politikus Indonesia yang menjabat sebagai...

 

الحروب الباكستانية الهندية

الحروب الباكستانية الهندية التاريخ وسيط property غير متوفر. بداية 22 أكتوبر 1947  تعديل مصدري - تعديل   الحروب الباكستانية الهندية منذ تقسيم الهند البريطانية في عام 1947 والتأسيس اللاحق لدومينيون باكستان ودومينيون الهند، دخل البلدان في عدة حروب ونزاعات ومواجهات عسكرية. كان ا�...

Sabana

Sabana di Wilayah Konservasi Ngorongoro, Tanzania. Sabana adalah padang rumput yang dipenuhi oleh semak atau perdu dan diselingi oleh beberapa jenis pohon yang tumbuh menyebar, seperti palem dan akasia.[1][2] Sistem biotik ini biasanya terbentuk di antara daerah tropis dan subtropis.[1] Beberapa benua yang memiliki padang sabana di antaranya adalah Afrika, Amerika Selatan, dan Australia.[1] Kurangnya curah hujan menjadi pendorong munculnya sabana.[1] Se...

 

Jimmy O'Neill (DJ)

American broadcaster Jimmy O'NeillO'Neill as the host of Shindig!, 1964BornJames Franklin O'Neill(1940-01-08)January 8, 1940Enid, Oklahoma, USDiedJanuary 11, 2013(2013-01-11) (aged 73)West Hollywood, California, USOccupationsDeejayradio personalityTV hostproducerYears active1957–1999Spouse Sharon Sheeley ​ ​(m. 1961; div. 1966)​ James Franklin Jimmy O'Neill (January 8, 1940 – January 11, 2013) was an American DJ and broadcaster...

 

Passaporto italiano

Passaporto italiano Nome localePassaporto italiano Nazione Italia TipoPassaporto biometrico Primo rilascio1946 26 ottobre 2006 (biometrico) 27 settembre 2023 (versione attuale) Rilasciato daMinistero degli affari esteri e della cooperazione internazionale Durata validità 10 anni (età >18) 5 anni (età 3-18) 3 anni (età < 3) Costo€ 116,00 (€ 42,50 + € 73,50 di Marca da bollo) Zona validità Mondo Esenzioni dal visto194 paesi[1] Altre versioniNon biometrico, 2004 Man...

Čakovec

ČakovecKotaGrad Čakovec Kota Čakovec BenderaJulukan: Grad ZrinskihKota ZrinskiKoordinat: 46°23′10.58″N 16°26′08.57″E / 46.3862722°N 16.4357139°E / 46.3862722; 16.4357139Negara KroasiaKabupaten MeđimurjePemerintahan • Wali KotaStjepan Kovač (SDP)Luas • Total72,8 km2 (28,1 sq mi)Ketinggian164 m (538 ft)Populasi (2011)[1] • Total27,104 • Kepadatan370/km2 (960/s...

 

Franz Tost

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: Franz Tost – berita · surat kabar · buk...

 

Pauvreté infantile

Cet article est une ébauche concernant l’enfance, l’économie et la sociologie. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants. Un enfant lavant ses couverts dans une flaque d'eau sale au Cambodge. Enfants sans domicile dormant, à New-York. Une photographie de Jacob Riis, avant 1914. La pauvreté infantile désigne la situation de pauvreté dans laquelle vivent certains enfants. Outils de mesure La pauvret...

Cadet Soccer Stadium

Soccer stadium at the United States Air Force Academy Cadet Soccer StadiumCadet Soccer StadiumLocation in ColoradoShow map of ColoradoCadet Soccer StadiumLocation in the United StatesShow map of the United StatesLocationColorado Springs, ColoradoCoordinates39°0′52″N 104°53′34″W / 39.01444°N 104.89278°W / 39.01444; -104.89278OwnerUnited States Air Force AcademyCapacity3,000 (2,000 seated)SurfaceKentucky BluegrassConstructionBroke groundMay 1995OpenedAugust 2...

 

Traditions à la Légion étrangère

Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus. Cet article ne cite pas suffisamment ses sources (mai 2017). Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références ». En pratique : Quelles sources sont attendues ? Comme...

 

Новотитаровское сельское поселение

Сельское поселение России (МО 2-го уровня)Новотитаровское сельское поселение Флаг[d] Герб 45°14′09″ с. ш. 38°58′16″ в. д.HGЯO Страна  Россия Субъект РФ Краснодарский край Район Динской Включает 4 населённых пункта Адм. центр Новотитаровская Глава сельского пос�...

世界政區索引

此條目可能包含不适用或被曲解的引用资料，部分内容的准确性无法被证實。 (2023年1月5日)请协助校核其中的错误以改善这篇条目。详情请参见条目的讨论页。 各国相关 主題列表 索引 国内生产总值 石油储量 国防预算 武装部队（军事） 官方语言 人口統計 人口密度 生育率 出生率 死亡率 自杀率 谋杀率 失业率 储蓄率 识字率 出口额 进口额 煤产量 发电量 监禁率 死刑 国债 ...

 

Cory Bernardi

Australian politician Cory BernardiLeader of Australian ConservativesIn office7 February 2017 – 25 June 2019Preceded byParty establishedSucceeded byParty abolishedSenator for South AustraliaIn office4 May 2006 – 20 January 2020Preceded byRobert HillSucceeded byAndrew McLachlanPresident of the South Australian Liberal PartyIn office1998–2000Preceded byRobert LawsonSucceeded byAlexander Downer Personal detailsBorn (1969-11-06) 6 November 1969 (age 54)Adelaide, South...

 

Azure Vista

2005 studio album by ManualAzure VistaStudio album by ManualReleased3 May 2005GenreElectronicLength47:54LabelDarla Professional ratingsReview scoresSourceRatingAllmusic [1]Almost Cool(7/10) [2]Prefix Magazine [3]Stylus MagazineB+ [4] Azure Vista is an album by Manual. It was released by Darla on 3 May 2005. Track listing Clear Skies Above The Coastline Cathedral – 8:38 Summer Of Freedom – 11:58 Twilight – 2:52 Tourmaline – 7:30 Neon Reverie – ...

Banc of California

Banking and financial services company Not to be confused with the former Bank of California. Banc of California, Inc.Company typePublicTraded asNYSE: BANCS&P 600 componentIndustryFinancial servicesFounded1941; 83 years ago (1941) (as Rohr Employees Federal Credit Union)HeadquartersLos Angeles, California, United StatesKey peopleJared Wolff (president and CEO)[1]Total assets$38+ billion[2]Websitebancofcal.com Banc of California, Inc. is an American b...

 

TJ Sokol Živanice

Football clubSokol ŽivaniceFull nameTělocvičná jednota Sokol ŽivaniceFounded1958; 66 years ago (1958)GroundSportovní areál ŽivaniceCapacity2,000ChairmanJiří NovákManagerRoman OlivaLeagueBohemian Football League B2023–2410thWebsiteClub website TJ Sokol Živanice is a football club from the village of Živanice in the Pardubice Region of the Czech Republic. The club plays in the Bohemian Football League, which is the third tier of Czech football system. The team m...

 

Sân vận động Pamir

Sân vận động Trung tâm TajikistanQuang cảnh sân vận độngTên đầy đủSân vận động Trung tâm TajikistanVị tríDushanbe, TajikistanTọa độ38°35′9,26″B 68°46′10,24″Đ / 38,58333°B 68,76667°Đ / 38.58333; 68.76667Sức chứa20.000Mặt sânCỏCông trình xây dựngĐược xây dựng1939Khánh thành1946Sửa chữa lại1962, 2007, 2010Bên thuê sânĐội tuyển bóng đá quốc gia Tajikistan Istiklol Sân vận độn...

Elizabeth I

Queen of England and Ireland from 1558 to 1603 Elizabeth of England and Elizabeth Tudor redirect here. For other uses, see Elizabeth I (disambiguation), Elizabeth of England (disambiguation), and Elizabeth Tudor (disambiguation). Elizabeth IThe Darnley Portrait, c. 1575Queen of England and Ireland (more...) Reign17 November 1558 – 24 March 1603Coronation15 January 1559PredecessorMary ISuccessorJames IBorn7 September 1533Palace of Placentia, Greenwich, EnglandDied24 March ...

 

Coppa Italia Lega Nazionale Pallacanestro 2010-2011

Voce principale: Coppa Italia LNP. Coppa Italia LNP 2010-2011Dettagli della competizioneSport Pallacanestro OrganizzatoreLNP Federazione FIP Periodosettembre 2010 —20 marzo 2011 VerdettiCampione Virtus Siena(2º titolo) Altri vincitori Robur Varese (B Dil.) S.C. Montecatini(C Dil.) MVPAmedeo Tessitori Cronologia della competizioneed. successiva →     ← ed. precedente Modifica dati su Wikidata · Manuale La Coppa Italia Lega Nazionale Pall...