Logo
Unionpedia
Comunicazione
Disponibile su Google Play
Nuovo! Scarica Unionpedia sul tuo dispositivo Android™!
Scaricare
l'accesso più veloce di browser!
 

Quantificatore

Indice Quantificatore

Nella logica i quantificatori sono espressioni come "qualcosa" (quantificatore esistenziale) e "ogni cosa" (quantificatore universale) e le loro controparti simboliche.

23 relazioni: Charles Sanders Peirce, Connettivo logico, Filosofia, Formula, Formula ben formata, Funzione di ordine superiore, Giuseppe Peano, Gottlob Frege, Grecia, Homo sapiens, Linguaggio del primo ordine, Logica, Matematico, Negazione logica (simbolo), Quantificatore esistenziale (simbolo), Quantificatore universale (simbolo), Relazione (matematica), Se e solo se, Simbolo, Uguaglianza (matematica), Unicità, XIX secolo, 1879.

Charles Sanders Peirce

Conosciuto per i suoi contributi, oltre che alla logica anche all'epistemologia, Peirce è stato un importante studioso, considerato fondatore del pragmatismo e uno dei padri della moderna semiotica (o teoria del segno, inteso come atto di comunicazione).

Nuovo!!: Quantificatore e Charles Sanders Peirce · Mostra di più »

Connettivo logico

Un connettivo logico, o operatore logico, è un elemento grammaticale di collegamento che instaura fra due proposizioni A e B una qualche relazione che dia origine ad una terza proposizione C con un valore vero o falso, in base ai valori delle due proposizioni fattori ed al carattere del connettivo utilizzato.

Nuovo!!: Quantificatore e Connettivo logico · Mostra di più »

Filosofia

La filosofia (philosophía, composto di φιλεῖν (phileîn), "amare", e σοφία (sophía), "sapienza", ossia "amore per la sapienza") è un campo di studi che si pone domande e riflette sul mondo e sull'essere umano, indaga sul senso dell'essere e dell'esistenza umana, tenta di definire la natura e analizza le possibilità e i limiti della conoscenza.

Nuovo!!: Quantificatore e Filosofia · Mostra di più »

Formula

Una formula (dal latino formula diminutivo di forma: modo, norma, regola) è un'espressione matematica utilizzata per esprimere in maniera coincisa ed inequivocabile relazioni quantitative.

Nuovo!!: Quantificatore e Formula · Mostra di più »

Formula ben formata

Nella logica matematica si chiama formula ben formata o - brevemente - fbf di un sistema formale una stringa di simboli che, intuitivamente, rappresenti un'espressione sintatticamente corretta e che viene definita mediante le regole della grammatica del sistema formale stesso.

Nuovo!!: Quantificatore e Formula ben formata · Mostra di più »

Funzione di ordine superiore

Una funzione di ordine superiore (o funzione higher-order) è una funzione che può prendere altre funzioni come parametri e/o restituire funzioni come risultato.

Nuovo!!: Quantificatore e Funzione di ordine superiore · Mostra di più »

Giuseppe Peano

Fu l'inventore del latino sine flexione, una lingua ausiliaria internazionale derivata dalla semplificazione del latino classico.

Nuovo!!: Quantificatore e Giuseppe Peano · Mostra di più »

Gottlob Frege

Frege è considerato quasi unanimemente dalla critica odierna uno dei più grandi logici dopo Aristotele, ed è il padre del pensiero formale del Novecento.

Nuovo!!: Quantificatore e Gottlob Frege · Mostra di più »

Grecia

La Grecia (in: Ελλάδα, Ellada, oppure Ελλάς, Ellas), nome ufficiale Repubblica Ellenica (in greco: Ελληνική Δημοκρατία, Ellīnikī Dimokratia), è uno Stato membro dell'Unione europea situato nell'Europa meridionale, il cui territorio coincide in gran parte con l'estremo lembo sud della penisola balcanica.

Nuovo!!: Quantificatore e Grecia · Mostra di più »

Homo sapiens

Homo sapiens (Linnaeus, 1758; dal latino «uomo sapiente») è la definizione tassonomica dell'essere umano moderno.

Nuovo!!: Quantificatore e Homo sapiens · Mostra di più »

Linguaggio del primo ordine

Nella logica matematica il linguaggio del primo ordine è un linguaggio formale che serve per gestire meccanicamente enunciati e ragionamenti che coinvolgono i connettivi logici, le relazioni e i quantificatori "per ogni..." (∀) ed "esiste..." (∃).

Nuovo!!: Quantificatore e Linguaggio del primo ordine · Mostra di più »

Logica

La logica (dal greco λόγος, logos, ovvero "parola", "pensiero", "idea", "argomento", "ragione", da cui poi λογική, logiké) è lo studio del ragionamento e dell'argomentazione, rivolto in particolare a definire la correttezza dei procedimenti inferenziali del pensiero.

Nuovo!!: Quantificatore e Logica · Mostra di più »

Matematico

Un matematico è una persona che effettua studi, ricerche e sperimentazioni riguardanti problemi della matematica.

Nuovo!!: Quantificatore e Matematico · Mostra di più »

Negazione logica (simbolo)

La negazione logica, chiamata anche semplicemente negazione, non o not, è un simbolo scientifico di tipo matematico.

Nuovo!!: Quantificatore e Negazione logica (simbolo) · Mostra di più »

Quantificatore esistenziale (simbolo)

Il quantificatore esistenziale è un carattere tipografico scientifico, molto usato sia in insiemistica che in logica, due campi tra loro affini della matematica; il nome del ∃ ha un'etimologia facilmente ricercabile: con la parola quantificatore si intende la sua funzione di indicare la grandezza o l'estensione di un'affermazione e con esistenziale il fatto che tale proposizione vale sempre almeno per un caso, che dunque esiste.

Nuovo!!: Quantificatore e Quantificatore esistenziale (simbolo) · Mostra di più »

Quantificatore universale (simbolo)

Il quantificatore universale è un simbolo scientifico, largamente usato in diversi campi della matematica (soprattutto in insiemistica e in logica); il ∀ viene detto quantificatore perché serve a indicare la grandezza o l'estensione di una affermazione ed universale perché l'estensione indicata è sempre totale: non per nulla, infatti, esso ha lettura "per ogni".

Nuovo!!: Quantificatore e Quantificatore universale (simbolo) · Mostra di più »

Relazione (matematica)

In matematica una relazione è un sottoinsieme del prodotto cartesiano di due o più insiemi.

Nuovo!!: Quantificatore e Relazione (matematica) · Mostra di più »

Se e solo se

In matematica, filosofia, logica e nei campi tecnici che ne dipendono, si usa spesso l'espressione se e solo se, o l'abbreviazione sse, per esprimere l'equivalenza logica di due enunciati, esplicitando che i due enunciati hanno lo stesso valore di verità: se è vero il secondo allora è vero anche il primo, e viceversa.

Nuovo!!: Quantificatore e Se e solo se · Mostra di più »

Simbolo

Il simbolo è un elemento della comunicazione, che esprime contenuti di significato ideale dei quali esso diventa il significante.

Nuovo!!: Quantificatore e Simbolo · Mostra di più »

Uguaglianza (matematica)

In matematica l'uguaglianza indica comunemente una relazione binaria di equivalenza fra due enti, detti membri dell'uguaglianza.

Nuovo!!: Quantificatore e Uguaglianza (matematica) · Mostra di più »

Unicità

In matematica e logica, l'unicità di un elemento nel soddisfare una certa proprietà sta nel fatto che qualunque oggetto che soddisfi tale proprietà è uguale all'elemento di partenza.

Nuovo!!: Quantificatore e Unicità · Mostra di più »

XIX secolo

È il primo secolo dell'età contemporanea, un secolo di grandi trasformazioni sociali, politiche, culturali ed economiche a partire dalla caduta di Napoleone Bonaparte e la successiva Restaurazione, i moti rivoluzionari, la costituzione di molti stati moderni tra cui il Regno d'Italia, la guerra di secessione americana, la seconda rivoluzione industriale fra positivismo, evoluzionismo e decadentismo, l'imperialismo e sul finire la grande depressione e la Belle Époque.

Nuovo!!: Quantificatore e XIX secolo · Mostra di più »

1879

Nessuna descrizione.

Nuovo!!: Quantificatore e 1879 · Mostra di più »

Riorienta qui:

Quantificatore esistenziale, Quantificatore universale.

UscenteArrivo
Ehi! Siamo su Facebook ora! »