hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Haninah ben Teradion
Rabbi Haninah ben Teradion o anche Hananiah ben Teradion (ebraico: חנניה בן תרדיון) (Israele, II secolo – ...) è stato un rabbino ebreo antico, saggio Tanna della 3ª generazione (110 – 135 e.v.).

Contemporaneo di Eleazar ben Perata I e di Halafta, insieme ai quali formulò certe regole ritualistiche Fu uno dei "Dieci Martiri" uccisi dai romani per aver ignorato la proibizione di insegnare la Tōrāh.

Jewish Encyclopedia
La Jewish Encyclopedia è una enciclopedia anglofona ideata da Isidore Singer e pubblicata per la prima volta tra il 1901 e il 1906 dalla casa editrice Funk and Wagnalls di New York.

L'enciclopedia contiene oltre quindicimila articoli in dodici volumi che vertono sulla storia del giudaismo fino a quel periodo. Col trascorrere degli anni, i suoi contenuti sono entrati far parte del pubblico dominio e quindi diffusi su Internet.

Gli articoli della Jewish Encyclopedia si caratterizzano per un elevato grado di erudizione e conservano tuttora un grande valore per i ricercatori contemporanei.
Viṣṇu-parvan
Il Viṣṇu-parvan ("Libro di Visnù") è la seconda parte dello Harivaṃśa, quest'ultimo testo da considerarsi come l'appendice (khila) del Mahābhārata. Nel Viṣṇu-parvan, che si compone di 128 adhyāya, viene narrata la nascita e la giovinezza di Kṛṣṇa, qui inteso come il Bhagavat, Dio, la Persona suprema, figlio di Vasudeva e di Devakī.

Visnù
Visnù (è usato anche l'adattamento parziale Visnu; devanagari: विष्णु, Viṣṇu; adattato con grafia inglese in Vishnu) è una divinità maschile vedica che, nei secoli appena precedenti la nostra era, assorbì altre figure divine come Puruṣa, Prajāpati, Nārāyaṇa e Kṛṣṇa, acquisendo, nella tradizione epica del Mahābhārata, la figura divina protettrice del mondo e del Dharma e, nella letteratura religiosa post-epica, la volontà di intervenire per proteggere i suoi devoti. Assorbendo l'antico culto di Vasudeva divenne uno dei culti principali dell'induismo conosciuto come visnuismo (o vaisnavismo, dall'aggettivo sanscrito vaiṣṇava, "devoto a Visnù").
HMCS Cayuga
Lo HMCS Cayuga (pennant number R04, poi DDE218) fu un cacciatorpediniere della Royal Canadian Navy appartenente alla classe Tribal, entrato in servizio nell'ottobre 1947.

Impostato in piena seconda guerra mondiale, il cacciatorpediniere entrò in servizio troppo tardi per prendere parte al conflitto, ma tra il 1950 e il 1954 svolse tre turni di servizio nelle acque della penisola coreana durante gli eventi della guerra di Corea. Di base inizialmente a Esquimalt sulla costa occidentale del Canada, dal 1959 fu di base ad Halifax sulla costa orientale, servendo come unità d'addestramento. Radiata dal servizio nel febbraio 1964, la nave fu avviata alla demolizione un anno più tardi.

Royal Canadian Navy
La Royal Canadian Navy, indicata anche con la sua sigla RCN, o la Marine royale canadienne è la marina militare e parte delle forze armate canadesi.

Fondata nel 1910 come Naval Service of Canada ottenne il suffisso reale nel 1911. Posta sotto l'egida del Department of National Defence nel 1923, fu inglobata nel 1968 assieme alla Royal Canadian Air Force ed il Canadian Army per formare le Canadian Forces unificate, assumendo quindi la denominazione di Maritime Command - "MARCOM" / Commandement maritime - "COMAR", dal 2011 essa insieme ha ripreso la propria autonomia e il prefisso "Royal".

Nel corso della sua storia la RCN ha preso parte alla prima e alla seconda guerra mondiale, alla guerra di Corea, alla prima guerra del Golfo, alla guerra in Afghanistan, a numerose missioni di mantenimento della pace dell'ONU e ad operazioni della NATO.
TRNA (guanina-N2-)-metiltransferasi
La tRNA (guanina-N2-)-metiltransferasi è un enzima appartenente alla classe delle transferasi, che catalizza la seguente reazione:

S-adenosil-L-metionina + tRNA ⇄ S-adenosil-L-omocisteina + tRNA contenente N2-metilguanina

Nei tRNA eucariotici sono portate a termine due metilazioni della N2-guanina, in posizione 10 e 29.

S-adenosil metionina
La S-adenosil metionina (SAM) è un coenzima coinvolto nelle reazioni di trasferimento dei gruppi metile nei sistemi biologici (un processo definito metilazione). La SAM fu descritta per la prima volta nel 1952 dallo scienziato italiano Giulio Cantoni. La molecola è sintetizzata nei sistemi biologici dall'enzima metionina adenosiltransferasi (numero EC 2.5.1.6) a partire da adenosina trifosfato (ATP) e metionina. La SAM è anche conosciuta con il nome ademetionina o SAMe.
Jupiler League
A Jupiler League corrispondono le denominazioni di due divisioni di calcio sponsorizzate dalla Jupiler:

denominazione della Pro League – massima serie del campionato belga di calcio, dal 1993 al 2008

denominazione della Eerste Divisie – seconda serie del campionato olandese di calcio, dal 2006

Jupiler
La Jupiler è una birra chiara a bassa fermentazione prodotta dal birrificio Piedboeuf (oggi gruppo Anheuser-Busch InBev, anticamente Interbrew e fino al 2008 InBev) a Jupille, nella Provincia di Liegi in Vallonia (Belgio).

La Jupiler è una birra relativamente giovane: fu lanciata da Piedboeuf nel 1966 ed è divenuta la numero uno nelle marche di birra pils in Belgio.

Ha anche dato il suo nome al campionato di calcio belga: la Jupiler League.
Milizia per la difesa antiaerea territoriale
La Milizia per la difesa contraerea territoriale (DICAT), istituita in Italia con Regio decreto legge del 18 febbraio 1930, aveva il compito di predisporre, in tempo di pace, e di attuare in tempo di guerra unitamente alle unità contraeree delle altre forze armate, la difesa del paese da attacchi aerei nemici.

Forza armata
Una forza armata, in ambito militare, indica la struttura organizzativa e il complesso di reparti in armi di uno stato. In alcuni stati vengono considerate parte di tali forze anche organizzazioni paramilitari. La disciplina che studia l'utilizzo delle forze armate è detta arte militare.
Sinfonia n. 2 (Mendelssohn)
La Sinfonia n. 2 in si bemolle maggiore, op. 52, Lobgesang (Inno di lode) è una sinfonia corale composta da Felix Mendelssohn nel 1840. È in realtà la sua quarta sinfonia in ordine di composizione. Il compositore la descrisse come «una sinfonia-cantata sul testo della Sacra Bibbia, per solisti, coro ed orchestra». È formata da tre movimenti puramente orchestrali e nove per solisti, coro, organo e orchestra. La sinfonia fu eseguita per la prima volta il 25 giugno 1840 nella chiesa di San Tommaso a Lipsia sotto la direzione dello stesso Mendelsshon, in occasione della celebrazione del quattrocentesimo anniversario dell'invenzione della stampa da parte di Johannes Gutenberg, per la quale l'opera era stata composta.

Orchestra
Il termine orchestra nell'antica Grecia e antica Roma designava il luogo (alla base della cavea, davanti al logeion, palcoscenico) di un teatro dove si svolgeva l'azione scenica del coro popolare (da ὀρχέομαι, orchéomai, danzare) e fu reimpiegato nel Rinascimento per denominare l'area immediatamente di fronte al palcoscenico.

L'uso della parola orchestre o orquestre per riferirsi a un ensemble strumentale, invece che un luogo fisico nel teatro, appare in Francia nella seconda metà del Seicento. La parola orchestra indica genericamente un insieme di molti strumentisti. Come istituzione, l'orchestra è nata nei secoli XVII e XVIII in Europa ed è stata in seguito diffusa nel resto del mondo. Le attuali orchestre di musica classica sono formate da strumenti musicali ad arco, a fiato e a percussione.
Detroit techno
La Detroit techno è un genere musicale nato a metà degli anni ottanta nella città statunitense di Detroit, nel Michigan, dal sound facilmente riconoscibile per l'uso di strumenti elettronici quali la drum machine Roland tr-909 e tr-808. La Detroit techno è tuttora un genere molto apprezzato, ai cui fondatori, la scena attuale deve tutta la sua esistenza: Derrick May, Juan Atkins e Kevin Saunderson fra tutti e nella seconda ondata Jeff Mills, Carl Craig e Richie Hawtin.

Synth pop
Il synth pop (a volte techno pop) è un sottogenere della musica New wave caratterizzato da diverse influenze e fusioni stilistiche. Il nome deriva dai termini synthesizer (sintetizzatore) e popular. Il genere si è sviluppato tra la fine degli anni settanta e l'inizio degli anni ottanta, epoca in cui ha raggiunto la sua massima popolarità.
Art of Fighting (serie)
Art of Fighting (龍虎の拳?, Ryuuko no Ken, lit. "Pugno del Drago e della Tigre") è una trilogia di videogiochi di tipo picchiaduro per il Neo Geo sin dai primi anni '90. Secondo videogioco della SNK, ambientato nello stesso universo della serie Fatal Fury. L'Art of Fighting originale fu distribuito nel 1992, seguito da Art of Fighting 2 (龍虎の拳2?, Ryūko no Ken 2) nel 1994 e da Art of Fighting 3: The Path of the Warrior (ART OF FIGHTING 龍虎の拳 外伝?, Art of Fighting: Ryūko no Ken Gaiden) nel 1996.

Il primo gioco della serie a includere disegni di Shinkiro, il disegnatore principale dei successivi Fatal Fury e The King of Fighters.

Geese Howard
Geese Howard è un personaggio immaginario di SNK Corporation che debuttò per la prima volta in Fatal Fury: King of Fighters del 1991, per poi apparire in altri franchise tra cui Fatal Fury, King of Fighters e soprattutto Tekken 7. Oltre alle apparizioni videoludiche è apparso nella serie animata dedicata a Fatal Fury. Inizialmente è presentato come il boss criminale della città immaginaria di South Town. In Garou: Mark of the Wolves, suo figlio Rock Howard viene adottato da Terry Bogard.
Monte Chilovi
Monte Chilovi (in sloveno Kilovče, dal 1920 al 1924 Montefreddo) è un insediamento del comune di Bisterza, in Slovenia.
Nella frazione si trova la parrocchiale di Santa Maria Maddalena che dipende dalla diocesi di Capodistria.

Diocesi di Capodistria
La diocesi di Capodistria (in latino Dioecesis Iustinopolitana) è una sede della Chiesa cattolica in Slovenia suffraganea dell'arcidiocesi di Lubiana. Nel 2023 contava 172.200 battezzati su 273.335 abitanti. È retta dal vescovo Peter Štumpf, S.D.B.
KNM-KP 271
KNM-KP 271 è il numero di repertorio di parte dell'omero sinistro di un Australopithecus anamensis, un ominide della specie Australopithecus anamensis, vecchio di 4,1 milioni di anni, scoperto nel 1965 da Bryan Patterson a Kanapoi in Kenia.

Hominidae
Gli ominidi (Hominidae Gray, 1825) sono una famiglia di primati risalente al Miocene inferiore. A questa famiglia appartengono l'essere umano e gran parte delle scimmie antropomorfe: oranghi, gorilla e scimpanzé, oltre a diversi gruppi fossili.

Fino ai primi anni sessanta venivano classificati come ominidi solo l'uomo e generi estinti ritenuti appartenenti alla linea evolutiva umana successivi alla separazione da quella degli scimpanzé (ad esempio gli australopitechi); per questo il termine viene talvolta ancora usato nel linguaggio comune con tale significato. Attualmente tali generi costituiscono la sottotribù Hominina.
Campionato mondiale di hockey su ghiaccio - Prima Divisione 2018
Il Campionato mondiale di hockey su ghiaccio - Prima Divisione 2018 è stato un torneo di hockey su ghiaccio organizzato dall'International Ice Hockey Federation. Il torneo si è disputato fra il 22 e il 28 aprile 2018. Le dodici squadre partecipanti sono state divise in due gironi da sei squadre ciascuno. Le gare del Gruppo A si sono svolte a Budapest, in Ungheria. Le partite del Gruppo B invece si sono giocate a Kaunas, in Lituania. Il Regno Unito e l'Italia, prima e seconda del Gruppo A, si sono garantite la partecipazione al Campionato mondiale di hockey su ghiaccio maschile 2019, mentre la Polonia è stata retrocessa per il 2019 in Prima Divisione - Gruppo B. Nel Gruppo B la nazione ospitante, la Lituania, ha conquistato la promozione in Prima Divisione - Gruppo A, mentre la Croazia, ultima classificata, è stata retrocessa in Seconda Divisione - Gruppo A.

Nazionale maschile di hockey su ghiaccio dell'Ungheria
La nazionale di hockey su ghiaccio maschile dell'Ungheria (magyar férfi jégkorong-válogatott) è controllata dalla Federazione di hockey su ghiaccio dell'Ungheria, la federazione ungherese di hockey su ghiaccio, ed è la selezione che rappresenta l'Ungheria nelle competizioni internazionali di questo sport.
Hockey Club Thurgau
L'Hockey Club Thurgau, noto dal 2014 al 2017 come Hockey Thurgau, è una squadra di hockey su ghiaccio con sede nella cittadina svizzera di Weinfelden, nel Canton Turgovia. Fu fondata nel 1989. Milita nella Lega Nazionale B, seconda divisione del campionato svizzero. I colori sociali sono il verde ed il giallo. Le partite casalinghe vengono disputate presso la Güttingersreuti, che può contenere 3.100 spettatori.

Nel corso della sua storia la squadra ha conquistato per due volte il titolo di Prima Lega nel girone Est.

Giallo
Il giallo è uno dei colori dello spettro percepibile dall'occhio umano, classificato come "colore caldo". Ha una lunghezza d'onda tra 565 e 590 nanometri. È uno dei tre colori primari sottrattivi, insieme al ciano e al magenta.

Secondo sondaggi in Europa, Stati Uniti e altrove, il giallo è il colore più spesso associato al Sole, alla luce, alla ricchezza (perché è il colore dell'oro), all'avidità, all'autostima, alla divinità, alla conoscenza, all'attenzione, all'ottimismo, alla felicità, al divertimento, all'umorismo e alla spontaneità.
Cimitero militare tedesco di Costermano
Il cimitero militare tedesco di Costermano si trova in una zona collinare sulla riva orientale del lago di Garda nel comune di Costermano.

In questo cimitero sono raccolte le salme di 22.028 caduti tedeschi e non solo, della seconda guerra mondiale, tratte dai cimiteri di guerra e da altri luoghi di sepoltura dell'Italia settentrionale. Tra i soldati qui inumati vi è Franz Gall, generale di divisione della Wehrmacht.

Ha suscitato polemiche la presenza nel cimitero di 43 ufficiali delle SS e di circa cinquecento fra sottufficiali e militi della stessa formazione, alcuni dei quali responsabili di gravissimi crimini contro l'umanità. Fra di essi il tristemente celebre Christian Wirth. Per tale motivo, nel 2006 il console tedesco a Milano, Axel Hartmann, il quale ha dichiarato che il cimitero vuole essere «un luogo di coscienza e ricordo, ma anche di ammonimento".

Lago di Garda
Il lago di Garda o Benaco (/beˈnako/, oppure /ˈbɛnako/ secondo la dizione locale) è il maggiore lago italiano, con una superficie di circa 370 km². Cerniera fra tre regioni, Lombardia (provincia di Brescia), Veneto (provincia di Verona) e Trentino-Alto Adige (provincia autonoma di Trento), è posto in parallelo all'Adige, da cui è diviso dal massiccio del monte Baldo. A settentrione si presenta stretto a imbuto mentre a meridione si allarga, circondato da colline moreniche che rendono più dolce il paesaggio. Il lago è un'importante meta turistica ed è visitato ogni anno da milioni di persone.
Špela Bračun
Špela Bračun (Škofja Loka, 3 agosto 1977) è un'ex sciatrice alpina slovena specialista delle prove veloci.
Nei suoi otto anni in Coppa del Mondo (dal 1995 al 2003) ha partecipato a 136 gare; in totale vanta cinque piazzamenti nelle prime dieci, con un terzo posto come miglior risultato.

Campionati sloveni di sci alpino 1995
I Campionati sloveni di sci alpino 1995 si svolsero a Golte e a Maribor tra il 1º febbraio e il 30 marzo. Il programma incluse gare di discesa libera, supergigante, slalom gigante, slalom speciale e combinata, sia maschili sia femminili.

Trattandosi di competizioni valide ai fini del punteggio FIS, vi parteciparono anche sciatori di altre federazioni, senza che questo consentisse loro di concorrere al titolo nazionale sloveno.
Natalie Geisenberger
Natalie Geisenberger (Monaco di Baviera, 5 febbraio 1988) è un'ex slittinista tedesca, considerata la più grande atleta nella storia della disciplina, vincitrice di quattro medaglie olimpiche nel singolo: di bronzo a Vancouver 2010 e d'oro a Soči 2014, a Pyeongchang 2018 ed a Pechino 2022 e di altre tre d'oro nelle prove a squadre sempre nel 2014, nel 2018 e nel 2022; di nove titoli iridati, dei quali quattro nel singolo, e di otto trofei di Coppa del Mondo, con 48 vittorie di tappa sempre nel singolo, oltre a 4 nella specialità sprint.

Slittino
Uno slittino è una piccola slitta per una o due persone, sulla quale si viaggia in posizione supina con i piedi in avanti e su piste ghiacciate. Per curvare si flettono i pattini usando i piedi (premendo sulla parte curva, che è flessibile), o si tirano delle cinghie attaccate ai pattini, o si esercita pressione sul sedile con la spalla opposta alla direzione di curva desiderata. Il termine "slittino" è utilizzato anche per indicare il nome dello sport nel quale si gareggia con questo tipo di attrezzo.
Babcock & Wilcox
Babcock & Wilcox Company (B&W) è un'azienda statunitense produttrice di macchinari per la produzione di energia da fonti rinnovabili, carbone ed altri combustibili liquidi e gassosi. Nel 2009 la B&W ha installato più di 300 GW di caldaie in più di 90 paesi nel mondo.

Durante la seconda guerra mondiale, più della metà della flotta della US Navy era azionata da caldaie Babcock & Wilcox. La società ha la sua sede a Charlotte in Carolina del Nord con stabilimenti a Lynchburg, Barberton, West Point, Cambridge e in Canada oltre che a Mount Vernon, Oak Ridge e Euclid.

Oak Ridge (Tennessee)
Oak Ridge è una città degli Stati Uniti d'America, nelle contee di Anderson e Roane, nello Stato del Tennessee.

Sede dell'Oak Ridge National Laboratory, Oak Ridge è stata fondata nel 1942 come sito di produzione per il Progetto Manhattan, la massiccia operazione governativa degli Stati Uniti che ha sviluppato la bomba atomica. La ricerca scientifica svolge ancora un ruolo cruciale nell'economia e più in generale nella cultura della città.
Mëša
La Mëša (in russo Мёша?; in tataro Мишә) è un fiume della Russia europea orientale, affluente di destra del fiume Kama (bacino idrografico del Volga), sfocia nel bacino idrico di Samara. Scorre nei rajon Laiševskij, Pestrečinskij, Tjuljačinskij, Sabinskij e Kukmorskij del Tatarstan.

Il fiume nasce 2 km a nord del villaggio di Šepšenar, scorre lungo una pianura collinare, solcata dalle valli di numerosi affluenti. La larghezza del fiume varia da 30 m, nella parte superiore, sino a 3-4 km. Il letto del fiume è tortuoso. Le sponde del fiume sono alte, da 2 a 10 m, ripide, a volte scoscese. Dopo il villaggio di Pestrecy, scorre nel territorio del distretto urbano di Kazan'. Sfocia nella Kama (bacino di Samara) vicino al villaggio di Karaduli. Ha una lunghezza di 204 km, il suo bacino è di 4 180 km².

Kukmorskij rajon
Il Kukmorskij rajon (in russo Кукморский район?, in tataro: Кукмара районы) è un municipal'nyj rajon della Repubblica Autonoma del Tatarstan, in Russia. Istituito nel 1930, occupa una superficie di 1 493 chilometri quadrati, conta 51 693 abitanti ed è suddiviso in 1 città e 29 comuni rurali. Il centro amministrativo è la città di Kukmor. Il distretto si trova lungo la riva destra del fiume Vjatka.
Orlando Stadium
L'Orlando Stadium è un impianto sportivo polifunzionale sudafricano di Soweto, Johannesburg.
Utilizzato per le partite interne degli Orlando Pirates, il 29 maggio 2010 ha ospitato la finale di Super 14 tenutasi tra Bulls e Stormers.

Bulls (rugby a 15)
I Bulls sono una squadra professionistica sudafricana di rugby a 15 con sede a Pretoria. È una delle quattro franchise del suo Paese a militare nel campionato URC.

Ad essa afferiscono diverse compagini provinciali tra le quali la più importante è quella dei Blue Bulls, che milita in Currie Cup, e dalla quale i Bulls attingono molti giocatori.
I Bulls e Blue Bulls si dividono lo stadio di Loftus Versfeld.
Pincio (singolo)
Pincio è un singolo della cantante italiana Margherita Vicario, pubblicato il 17 aprile 2020 su etichetta Island Records.

Il brano prende il nome dalla Terrazza del Pincio, situata sull'omonimo colle di Roma, città natale della cantautrice.

Sette colli di Roma
I sette "colli" di Roma sono le alture  su cui fu costruita la città antica, tuttora evidenti nel centro storico della città moderna, con un'altezza di circa 50 m. La lista canonica, trasmessa da Cicerone e Plutarco, comprende: Aventino, Campidoglio, Celio, Esquilino, Palatino, Quirinale e Viminale.

Il loro numero è costante, ma la loro esatta identificazione varia a seconda delle fonti. Ciò è dovuto al fatto che la tradizione dei sette colli ricalca un preistorico settimonzio che contava sette alture, tutte circoscritte in una zona ristrettissima della città e in seguito rese irriconoscibili dalle trasformazioni urbane.
Pian di Scò
Pian di Scò è una frazione del comune di Castelfranco Piandiscò, situato in provincia di Arezzo nell'area di confine con la Città Metropolitana di Firenze. Dal 1º gennaio 2014 si è unito con il vicino comune di Castelfranco di Sopra per formare il nuovo comune di Castelfranco Piandiscò.

Città metropolitana di Firenze
La città metropolitana di Firenze è una città metropolitana italiana della Toscana, con 988 621 abitanti. Ha sostituito nel 2015 la provincia di Firenze.

Confina a nord e a nord est con l'Emilia-Romagna (città metropolitana di Bologna, province di Forlì-Cesena e Ravenna fino ai lembi più meridionali di quest'ultime che sono alla medesima latitudine media, quella della città di Firenze), a sud-est con la provincia di Arezzo, a sud con la provincia di Siena, a ovest sud ovest con la provincia di Pisa, e a ovest e nord ovest con le province di Lucca, Pistoia e Prato, tenendo il primato per numero di province confinanti in Italia.

Con i suoi 41 comuni è prima davanti alle province toscane. La sede istituzionale della città metropolitana di Firenze è il palazzo Medici Riccardi a Firenze, dove si riunisce il Consiglio metropolitano.
Cleveland Cavaliers 1980-1981
La stagione 1980-81 dei Cleveland Cavaliers fu l'11ª nella NBA per la franchigia.

I Cleveland Cavaliers arrivarono quinti nella Central Division della Eastern Conference con un record di 28-54, non qualificandosi per i play-off.

NBA Eastern Conference
La Eastern Conference è una delle due conference che compongono la NBA, l'altra conference è la Western Conference. La Eastern Conference raggruppa le squadre appartenenti agli stati orientali degli Stati Uniti d'America, oltre alla franchigia canadese dei Toronto Raptors. La conference è composta da 15 squadre, suddivise a loro volta in tre division, ognuna composta da 5 squadre.
Prima della sua creazione, le squadre erano divise tra Eastern Division e Western Division.

L'attuale suddivisione delle division è stata adottata a partire dalla stagione 2004-2005, quando gli Charlotte Hornets sono diventati la trentesima squadra NBA. Si è reso quindi necessario lo spostamento dei New Orleans Hornets dalla Central Division, appartenente alla Eastern Conference, alla nuova Southwest Division, parte della Western Conference.
Funzione di verità
Nella logica, una funzione di verità è una funzione da valori di verità a un valore di verità univoco. Essa accetta come input e come output un valore di verità vero oppure falso. L'esempio tipico è nella logica proposizionale, in cui una proposizione composta è costruita a partire da proposizioni atomiche collegate mediante connettivi logici; se il valore di verità dell'enunciato composto è interamente determinato dal/i valore/i di verità dell'enunciato/i costituente/i, l'enunciato composto è chiamato funzione di verità (del valore di verità delle proposizioni componenti) e qualsiasi connettivo logico utilizzato è detto vero-funzionale.

La logica proposizionale classica è una logica vero-funzionale, dal momento che ogni affermazione possiede un valore di verità che è vero o falso, e ogni connettivo logico è vero-funzionale (che ha una tabella di verità corrispondente), quindi ogni affermazione composta è un funzione di verità. D'altra parte, la logica modale non è vero-funzionale.

Logica classica
La logica classica è la branca della logica formale che è stata più studiata e usata. È caratterizzata da certe proprietà; le logiche non-classiche sono quelle che non soddisfino una (o più) di queste proprietà, ovvero:

Principio del terzo escluso;

Principio di non-contraddizione;

Monotonia dell'implicazione e idempotenza dell'implicazione;

Commutatività dei connettivi;

Leggi di De Morgan.