Proposizione atomica

tipo de documento Articolo di Wikipedia Person

Equipo Didactalia

Mi piace 0
Visite 1
Commenti 0
Salva su
Azioni
- Invia link

Info su questa risorsa...

Proposizione atomica

Person

Artículo WikipediaFuente Dbpedia

Nella logica e nella filosofia analitica, una proposizione atomica è un tipo di proposizione dichiarativa che è vera o falsa e che non può essere scomposta in altre proposizioni più semplici. Ad esempio, ''Il cane corse'' è una frase atomica nel linguaggio naturale, mentre ''Il cane corse e il gatto si nascose'' è una frase molecolare nel linguaggio naturale.<br />Dal punto di vista dell'analisi logica, la verità o falsità degli enunciati in generale è determinata solo da due cose: la forma logica dell'enunciato e la verità o falsità degli enunciati semplici. Ad esempio, la verità della frase ''Giovanni è greco e Giovanni è felice'' è funzione del significato del connettivo logico ''e'' e dei valori di verità delle frasi atomiche ''Giovanni è greco'' e ''Giovanni è felice''. Tuttavia, la verità o la falsità di una proposizione atomica non è una questione che rientra nell'ambito della logica stessa, ma piuttosto di qualunque arte o scienza descritta dal contenuto della proposizione atomica.<br />La logica ha sviluppato linguaggi artificiali, ad esempio il calcolo proposizionale e il calcolo dei predicati, in parte allo scopo di rivelare la logica sottostante alle affermazioni del linguaggio naturale resa implicita dalla loro struttura grammaticale. In questi linguaggi artificiali una frase atomica è una stringa di simboli che può rappresentare una frase elementare in un linguaggio naturale, e può essere definita come segue: in un linguaggio formale, una formula ben formata (o wff, in inglese: well formed formula) è una stringa di simboli costituita secondo le regole di sintassi del linguaggio.<br />Un termine è una variabile, una costante individuale o una lettera di funzione non interpretata n-aria seguita da n termini. Una formula atomica è un wff costituito da un enunciato o da una predicato n-ario seguito da n termini. Una proposizione è un wff in cui tutte le variabili sono vincolate. Una proposizione atomica è una formula atomica che non contiene variabili. Ne consegue che una proposizione atomica non contiene connettivi logici, variabili o quantificatori. Una frase composta (detta anche molecolare) è costituita da una o più frasi atomiche unite da un connettivo logico.

Wikipedia Inglés http://en.wikipedia.org/wiki/Atomic_sentence

Wikipedia Español http://es.wikipedia.org/wiki/Sentencia_atómica