Logica proposizionale: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica Etichette: Annullato Modifica da mobile Modifica da web per mobile Link a pagina di disambiguazione |
Etichette: Modifica da mobile Modifica da web per mobile |
||
| (24 versioni intermedie di 11 utenti non mostrate) | |||
Riga 1:
La '''logica proposizionale''' (o '''enunciativa''') è un [[linguaggio formale]] con una semplice ''struttura sintattica'', basata fondamentalmente su proposizioni elementari ([[Atomo (logica)|atomi]]) e su [[connettivi logici]] di tipo vero-funzionale, che restituiscono il [[valore di verità]] di una proposizione in base al valore di verità delle proposizioni connesse (solitamente noti come [[Algebra di Boole#AND|AND]], [[Algebra di Boole#OR|OR]], [[Algebra di Boole#NOT|NOT]]...).
La ''semantica'' della logica proposizionale definisce il significato dei simboli e di qualsiasi proposizione che rispetti le regole sintattiche del linguaggio, basandosi sui valori di verità associati agli [[atomo|atomi]]. Data una interpretazione (o modello) di una proposizione (in generale di un insieme di proposizioni), e cioè una associazione tra le proposizioni elementari e le realtà rappresentate, possiamo generare un insieme infinito di proposizioni con significato definito che riguardino quella realtà. Ciascuna proposizione si riferisce quindi a uno o più oggetti della realtà rappresentata (anche astratta
==Sintassi==
Riga 11:
L'alfabeto della logica proposizionale è costituito da:
*Un [[insieme numerabile]] di simboli di proposizione:
*I simboli dei [[connettivo logico|connettivi logici]]: <math>\neg</math> (NOT), <math>\wedge</math> (AND), <math>\vee</math> (OR), <math>\to</math> (implicazione), <math>\leftrightarrow</math> (doppia implicazione)
*Le parentesi: <math>(
▲*Le parentesi: (,) (hanno per lo più lo scopo di rendere il linguaggio più chiaro ed evitare ambiguità)
===Formule ben formate===
Le espressioni "sintatticamente corrette" della logica proposizionale (quelle che dovrebbero rappresentare degli enunciati dotati di senso in modo non ambiguo) sono chiamate '''f'''ormule '''b'''en '''f'''ormate, brevemente fbf (spesso in letteratura si trova anche ''wff'', dall'inglese "well-formed formulas"), e sono definite mediante la seguente [[definizione ricorsiva]]:
Riga 22:
<div style="float:center; width:85%; padding:15px; background: #f5f8ff; border: 1px solid blue; margin-left:8px; margin-right:8px;margin-bottom:15px; text-align:left">
#un simbolo di proposizione è una fbf
#se
#se
#niente altro è una fbf
</div>
Sono esempi di ''formule ben formate'':
*
*
*
*
Sono esempi di ''non formule'' (<math>p</math> e <math>q</math> sono simboli di proposizione):
*<math>p \wedge (( q </math>
*<math>p \wedge \vee q</math>
Stabilire il seguente ordine di precedenza dei connettivi logici, come accade per la moltiplicazione rispetto all'addizione, permette un utilizzo minore delle parentesi:
*<math>\neg</math>, <math>\wedge</math>, <math>\vee</math>, <math>\to</math>, <math>\leftrightarrow</math>
Per esempio <math>p \wedge \neg q</math> è la formula <math>(p \wedge (\neg q))</math>.
Inoltre, si considerano i connettivi logici associativi a sinistra [ ''p'' <math>\wedge</math> q <math>\wedge</math> r viene reinterpretato come ((''p'' <math>\wedge</math> q) <math>\wedge</math> r) ].
Le regole sopra esposte definiscono il [[Linguaggio formale|linguaggio]] della logica proposizionale attraverso una [[grammatica generativa]].
Line 37 ⟶ 47:
La grammatica della logica proposizionale scritta in [[Backus-Naur Form|BNF]] è la seguente:
:f := l e L | (NOT f) | (f1 AND f2) | (f1 OR f2) | (f1 -> f2) | (f1 <-> f2)
==Semantica==
Line 57 ⟶ 67:
</div>
Tali condizioni rispecchiano il significato che si vuole attribuire ai simboli associati ai [[connettivi logici]] e si possono riassumere mediante la seguente [[tavola di verità]]:
{| class="wikitable"
|-
|- align=center
|
|- align=center
|
|- align=center
|
|- align=center
|
|}
Line 111 ⟶ 120:
* [[Linguaggio del primo ordine]]
*[[STRIPS]]
== Altri progetti ==
{{Interprogetto|preposizione=sulla}}
== Collegamenti esterni ==
* {{Collegamenti esterni}}
* {{FOLDOC|propositional logic|propositional logic}}
{{Controllo di autorità}}
| |||