Logica-Prop Informatica e Computazione

Sistema logico
Logica proposizionale: Sintassi

Logica proposizionale: Semantica
Informatica e Computazione
Logica Proposizionale
Marco Maratea
Corso di Laurea in Ingegneria Informatica

Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi
Università degli Studi di Genova
logo.aiia.png
logoUnige.png
siteLogo.png
1/42
M. Maratea Logica Proposizionale

Sistema logico
Outline
1 Sistema logico
2 Logica proposizionale: Sintassi
3 Logica proposizionale: Semantica
logo.aiia.png
logoUnige.png
siteLogo.png
2/42

Sistema logico
Outline
1 Sistema logico
logo.aiia.png
logoUnige.png
siteLogo.png
3/42

Sistema logico
Sistema logico (I)
Un sistema formale (o, sistema logico, o logica) Λ è definito

tramite:
• Un insieme non vuoto A di simboli, detto alfabeto di Λ. Una
sequenza finita di simboli di A è detto espressione di Λ.
• Un sottoinsieme F delle espressioni (stringhe) di Λ che
rappresentano le formule ben formate (o, formule) di Λ.
• Un sottoinsieme di F degli assiomi logici di Λ, ovvero
espressioni che sono sempre vere.
• Un insieme R di relazioni tra le formule di Λ, dette regole di
inferenza.
logo.aiia.png
logoUnige.png
siteLogo.png
4/42

Sistema logico
Sistema logico (II) – considerazioni informali

F costituisce il linguaggio L della logica.
Ogni linguaggio associa un significato ai suoi simboli iniziali:
considerate ad esempio un linguaggio di programmazione i cui
simboli iniziali sono {while, repeat, function, int, i, (, . . . }.
Le formule sono invece combinazioni di tali simboli (le
istruzioni) che hanno un significato preciso, e sono “ben
formate”’.
La semantica è, partendo dal significato dei simboli iniziali,
dare un significato alle formule. Per associare una semantica,
viene fornito un insieme B dei valori di verità, |B| ≥ 2, per
capire cosa è “vero” in un sistema logico.
In alternativa, il significato di una formula può essere studiato
attraverso una notazione relazione (attraverso la relazione
logo.aiia.png di siteLogo.png
logoUnige.png
soddisfacilità |=), invece che funzionale. 5/42

Sistema logico
Outline
1 Sistema logico
logo.aiia.png
logoUnige.png
siteLogo.png
6/42

Sistema logico
Alfabeto
Introduciamo il concetto di linguaggio proposizionale LΣ ,
costruito su un alfabeto Σ. L’alfabeto Σ è costituito da:
• i connettivi proposizionali ¬ (unario), ∧, ∨, →, ↔ (binari);

• le costantii proposizionali > (vero) e ⊥ (falso);
• un insieme non vuoto (ed assunto finito per semplicità) di
simboli (o variabili, o atomi) proposizionali P (indicati con
A, B, . . . );
• i simboli di separazione “(“ e “)”.
Gli atomi (es. A) e gli atomi negati (es. ¬A) sono anche detti
letterali.
(Scriveremo semplicemente L quando Σ è evincibile dallogoUnige.png

logo.aiia.png siteLogo.png
contesto.) 7/42

Sistema logico
Formule (I)
L’insieme delle formule del linguaggio proposizionale L è

definito come segue:
a. le costanti e i simboli proposizionali sono formule;

b. se F è una formula, (¬F ) è una formula;
c. se ./∈ {∧, ∨, →, ↔}, e se F e G sono formule, allora
(F ./ G) è una formula.
(L’insieme è definito induttivamente. Consideriamo questo

termine per ora in modo informale. Più avanti ci sarà una parte
dedicata.)
logo.aiia.png
logoUnige.png
siteLogo.png
8/42

Sistema logico
Formule (II): Esempio
Example
Consideriaimo di avere A e B come simboli proposizionali.
Alcune delle formulre che posso essere definite è:
a. ⊥, >, A, B.
b. ¬A, ¬B.
c. A ∨ B, A ∧ B, A → B, A ↔ B.
b.+c. A ∧ B, A ∨ ¬B, ¬(A ∨ B), . . .
logo.aiia.png
logoUnige.png
siteLogo.png
9/42

Sistema logico
Sottoformule
Sia F una formula del linguaggio proposizionale, l’insieme delle
sottoformule di F è definito (induttivamente) come segue:
1. se F è una costante o un simbolo proposizionale allora F
stessa è la sua unica sottoformula;
2. se F è una formula del tipo (¬G), dove G è a sua volta una
formula, l’insieme delle sottoformule di F è costituito da F
stessa e dalle sottoformule di G;
3. se F è una formula del tipo (G ./ H), dove G e H sono
formule, e ./ è un connettivo binario, allora l’insieme delle
sottoformule di F è costituito da F stessa e dalle
sottoformule di G e H.
Inoltre, in
2. ¬ è detto connettivo principale, e G sottoformula principale;
3. ./ è detto connettivo principale, G e H sono lelogo.aiia.png
sottoformule
logoUnige.png
siteLogo.png
immediate di F . 10/42

Sistema logico
Formula e sottoformule: Esempi

Example
Dati A e B simboli proposizionali, la formula (A ∨ B) ha come
sottoformule:
(A ∨ B), A, B.
Example
Dati A e B simboli proposizionali, la formula (A ∨ (¬B)) ha
come sottoformule:
(A ∨ (¬B)), A, (¬B), B.
Example
Dati A, B e C simboli proposizionali, la formula
F = (A ∨ (¬(B ∧ (¬C)))) ha come sottoformule:
logo.aiia.png
logoUnige.png
siteLogo.png
F , A, (¬(B ∧ (¬C))), (B ∧ (¬C)), B, (¬C), C. 11/42

Sistema logico
Precedenza degli connettivi proposizionali
Nelle formule che abbiamo visto finora, vi è un uso esaustivo di

parentesi, per capire come tali formule devono essere
"interpretate". In buona parte le parentesi (che posso oscurare
la leggibilità della formula) possono essere eliminate, o
diminuite considerevolmente, definendo un ordinamento.
Per le formule proposizionali, l’ordinamento è il seguente:
¬ ≺ ∧ ≺ ∨ ≺ → ≺ ↔,
dove ≺ è l’operatore di precedenza.
A parità di precedenza, ovvero se vi sono più occorrenze dello

stesso connettivo “allo stesso livello”, si associa a destra.
logo.aiia.png
logoUnige.png
siteLogo.png
12/42

Sistema logico
Precedenza degli connettivi proposizionali: Esempi

Example
Le seguenti formule corrispondono:
A→B→C (A → (B → C))
¬A ∧ ¬B → C ∧ D ∧ E (((¬A) ∧ (¬B)) → (C ∧ (D ∧ E)))
Per il secondo esempio, le "sequenza" nella quale viene

applicata la parentesizzazione segue la precedenza degli
operatori, ovvero:
¬: (¬A), (¬B) (possono essere fatte in "parallelo")
∧: ((¬A) ∧ (¬B)), (D ∧ E) (possono essere fatte in "parallelo")
∧: (C ∧ (D ∧ E)) (svolta dopo data la regola di associazione)
logo.aiia.png
logoUnige.png
siteLogo.png
→: (((¬A) ∧ (¬B)) → (C ∧ (D ∧ E)))
13/42

Sistema logico
Outline
1 Sistema logico
logo.aiia.png
logoUnige.png
siteLogo.png
14/42

Sistema logico
Sistema di valutazione
Il sistema di valutazione S della logica proposizionale è una

tripla hB, T , Oi dove
• dove B = {0, 1} (o, {V , F }, o {T , F }) è l’insieme dei valori
di verità della logica;
• T = {1} ⊂ B, è l’insieme dei valori che indicano il vero;
• O = {O¬ , O∧ , O∨ , O→ , O↔ }, per ogniuno dei connettivi
logici, con:
• O¬ : B 7→ B, e
• O./− : B × B 7→ B, ./− ∈ {∧, ∨, →, ↔}.
logo.aiia.png
logoUnige.png
siteLogo.png
15/42

Sistema logico
Definizione delle funzioni
La funzioni in O di sopra sono definite nel seguente modo:

1. O¬ (1) = 0; O¬ (0) = 1;
2. O∧ (0, 0) = 0; O∧ (0, 1) = 0; O∧ (1, 0) = 0; O∧ (1, 1) = 1.
3. O∨ (0, 0) = 0; O∨ (0, 1) = 1; O∨ (1, 0) = 1; O∨ (1, 1) = 1.
4. O→ (0, 0) = 1; O→ (0, 1) = 1; O→ (1, 0) = 0; O→ (1, 1) = 1.
5. O↔ (0, 0) = 1; O↔ (0, 1) = 0; O↔ (1, 0) = 0; O↔ (1, 1) = 1.
logo.aiia.png
logoUnige.png
siteLogo.png
16/42

Sistema logico
Tabelle di verità
Le funzioni precedenti possono essere anche rappresentate in

forma grafica e compatta attraverso le tabelle di verità:
A ¬A
0 1
1 0
A B A∧B A∨B A→B A↔B

0 0 0 0 1 1
0 1 0 1 1 0
1 0 0 1 0 0
1 1 1 1 1 1
logo.aiia.png
logoUnige.png
siteLogo.png
17/42

Sistema logico
Interpretazione e valutazione (I)

Assegnazione (o, Interpretazione)
Un’assegnazione (o, interpretazione) Booleana V ai simboli
proposizionali P è una funzione (totale):
V : P 7→ {0, 1}
Valutazione
Una valutazione Boolena (dove P ROP è l’insieme delle formule
del linguaggio proposizionale):
IV : P ROP7→ {0, 1}
è l’estensione all’insieme P ROP di una interpretazione

Booleana. (si ricordi la definizione informale di semantica
logo.aiia.png
a siteLogo.png
logoUnige.png
slide 5 della parte sulla sintassihalo l.)
18/42

Sistema logico
Interpretazione e valutazione (II)
Valutazione (cont.)
E’ definita induttivamente su formule nel modo seguente:
• IV (>) = 1;
• IV (⊥) = 0;
• IV (A) = V(A) se A ∈ P;
• IV (¬F ) = O¬ (IV (F ));
• IV (F ./− G) = O./− (IV (F ), IV (G)), ./− ∈ {∧, ∨, →, ↔}.
Data una assegnazione Booleana V, IV esiste ed è unica.

logo.aiia.png
logoUnige.png
siteLogo.png
19/42

Sistema logico
Valutazione: Esempio
Example
Consideriamo la formula F = A → ((B ∧ C) ∨ (C → ¬A)), con
assegnazione V(A) = V(B) = 1 e V(C) = 0.
La valutazione della formula procede nel modo seguente:
IV (A → ((B ∧ C) ∨ (C → ¬A))) =
O→ (IV (A), IV ((B ∧ C) ∨ (C → ¬A))) =
O→ (1, O∨ (IV (B ∧ C), IV (C → ¬A))) =
O→ (1, O∨ (O∧ (IV (B), IV (C)), O→ (IV (C), O¬ (IV (A))))) =
O→ (1, O∨ (O∧ (1, 0), O→ (0, 0))) =
O→ (1, O∨ (0, 1))
O→ (1, 1) =
1
logo.aiia.png
logoUnige.png
siteLogo.png
20/42

Sistema logico
Esempio con tabella di verità
Consideriamo la stessa formula F = A → ((B ∧ C) ∨ (C → ¬A))
A B C ¬A B∧C C → ¬A (B ∧ C) ∨ (C → ¬A) F
0 0 0 1 0 1 1 1
0 0 1 1 0 1 1 1
0 1 0 1 0 1 1 1
0 1 1 1 1 1 1 1
1 0 0 0 0 1 1 1
1 0 1 0 0 0 0 0
1 1 0 0 0 1 1 1
1 1 1 0 1 0 1 1
logo.aiia.png
logoUnige.png
siteLogo.png
21/42

Sistema logico
Alcune definizioni
Diremo che:
D1. Una formula proposizionale F è soddisfatta da una
valutazione IV se IV (F ) = 1.
D2. Una formula proposizionale F è soddisfacibile se è
soddisfatta da (almeno) una valutazione IV .
D3. Una formula proposizionale F è una tautologia se è
soddisfatta da ogni valutazione IV .
D4. Una formula proposizionale F è una contraddizione se non
è soddisfatta da nessuna valutazione IV .
Una formula F è una tautologia iff (se e solo se) ¬F è una

contraddizione. logo.aiia.png
logoUnige.png
siteLogo.png
22/42

Sistema logico
Esempi di tautologie e contraddizioni
Example
F1 = A ∨ ¬A è una tautologia.
F2 = A ∧ ¬A è una contraddizione.
A ¬A F1 F2
0 1 1 0
1 0 1 0
F3 = > è una tautologia.
F4 = (A ∧ (A → B)) → B è una tautologia.

logo.aiia.png
logoUnige.png
siteLogo.png
23/42

Sistema logico
Equivalenza logica: Definizioni principali
• Una formula F1 implica logicamente una formula F2 iff ogni

volta che IV (F1 ) = 1 allora anche IV (F2 ) = 1.
• Due formula F1 ed F2 sono logicamente equivalenti (o,

tautologicamente equivalenti), e scriviamo F1 ≡ F2 , iff
IV (F1 ) = IV (F2 ) per ogni valutazione Booleana IV .
Per la seconda proprietà si usa anche il termine

equi-soddisfacilità nel caso che le due formule siano definite su
diversi insiemi di variabili Booleane.
logo.aiia.png
logoUnige.png
siteLogo.png
24/42

Sistema logico
Formule logicamente equivalenti (I)
1. Idempotenza
A∨A≡A
A∧A≡A
2. Associatività
A ∧ (B ∧ C) ≡ (A ∧ B) ∧ C
A ∨ (B ∨ C) ≡ (A ∨ B) ∨ C
A ↔ (B ↔ C) ≡ (A ↔ B) ↔ C
3. Commutatività
A∧B ≡B∧A
A∨B ≡B∨A
A↔B≡B↔A
logo.aiia.png
logoUnige.png
siteLogo.png
25/42

Sistema logico
Formule logicamente equivalenti (II)
4. Distributività
A ∧ (B ∨ C) ≡ (A ∧ B) ∨ (A ∧ C)
A ∨ (B ∧ C) ≡ (A ∨ B) ∧ (A ∨ C)
5. Assorbimento
A ∧ (A ∨ B) ≡ A
A ∨ (A ∧ B) ≡ A
6. Doppia negazione
¬¬A ≡ A
logo.aiia.png
logoUnige.png
siteLogo.png
26/42

Sistema logico
Formule logicamente equivalenti (III)
7. Leggi di De Morgan
¬(A ∧ B) ≡ ¬A ∨ ¬B
¬(A ∨ B) ≡ ¬A ∧ ¬B
8. Terzo escluso
A ∨ ¬A ≡ >
9. Contraddizione
A ∧ ¬A ≡ ⊥
10. Contrapposizione
A → B ≡ ¬B → ¬A
logo.aiia.png
logoUnige.png
siteLogo.png
27/42

Sistema logico
Formule logicamente equivalenti: Esempi

4a.
A B C B∨C A∧B A∧C A ∧ (B ∨ C) (A ∧ B) ∨ (A ∧ C)
0 0 0 0 0 0 0 0
0 0 1 1 0 0 0 0
0 1 0 1 0 0 0 0
0 1 1 1 0 0 0 0
1 0 0 0 0 0 0 0
1 0 1 1 0 1 1 1
1 1 0 1 1 0 1 1
1 1 1 1 1 1 1 1
A B A∧B ¬A ¬B ¬(A ∧ B) ¬A ∨ ¬B
0 0 0 1 1 1 1
7a. 0 1 0 1 0 1 1
1 0 0 0 1 1 1
logo.aiia.png
logoUnige.png
siteLogo.png
1 1 1 0 0 0 0
28/42

Sistema logico
Sostituzione e Rimpiazzamento di formule
Indichiamo con F [p] una formula proposizionale che può

contenere delle occorrenze del simbolo proposizionale p.
Sostituzione
Con F [X /p] indichiamo la formula F in cui tutte le occorrenze di
p sono state sostituite dalla formula X .
Rimpiazzamento
Siano F [p], X e Y formule proposizionali, e sia IV una
valutazione Booleana. Se IV (X ) = IV (Y ) allora
IV (F [X /p]) = IV (F [Y /p])
logo.aiia.png
logoUnige.png
siteLogo.png
29/42

Sistema logico
Teorema del rimpiazzamento ed esempio
Teorema
Se F1 ≡ F2 allora F [F1 /p] ≡ F [F2 /p].
Example
Data l’equivalenza logica (A → B) ≡ (¬A ∨ B) e
F [p] = p → (C ∨ D), allora dal teorema
(A → B) → (C ∨ D) ≡ (¬A ∨ B) → (C ∨ D)
logo.aiia.png
logoUnige.png
siteLogo.png
30/42

Sistema logico
Modelli
Forniamo ora la nozione di interpretazione basata sulla
relazione di soddisfacibilità |=. Sia M un insieme di simboli
proposizionali, definiamo |= come segue in maniera induttiva:
1. M |= A iff A ∈ M; (“M modella A”,”M soddisfa A”).
2. M |= > e M 6|= ⊥;
3. M |= ¬A iff M 6|= A; (data la logica a due valori)
4. M |= A ∧ B iff M |= A e M |= B;
5. M |= A ∨ B iff M |= A oppure M |= B;
6. M |= A → B iff M 6|= A oppure M |= B;
7. M |= A ↔ B iff M |= A e M |= B, oppure M |= ¬A e
M |= ¬B;
La relazione con la valutazione Booleana funzionale definita in
precedenza è data dal fatto che i simboli che appartengono
logo.aiia.png
adsiteLogo.png
logoUnige.png
M sono veri, gli altri falsi. 31/42

Sistema logico
Modelli: Alcune definizioni
• Sia F una formula, se M |= F diciamo che M è un

modello di F .
• Se M rende vere tutte le formule in un insieme Γ, cioè
M |= F per ogni F ∈ Γ, allora diciamo che M |= Γ.
• Se M |= F vale per qualche M, diciamo che F è
soddisfacibile.
• Se per nessun M è vero che M |= F , diciamo che F è
insoddisfacibile.
logo.aiia.png
logoUnige.png
siteLogo.png
32/42

Sistema logico
Modelli: Esempi
Example
Data la formula A ∧ B, {A, B} è il suo (unico) modello, ovvero
{A, B} |= A ∧ B. La formula è dunque soddisfacibile.
Questo lo si può verificare con le tabelle di verità, o attraverso
4. ed 1. nelle slides precedenti.
Example
Data la formula A ∧ ¬B, {A} è il suo (unico) modello, ovvero
{A} |= A ∧ ¬B (da 4., 1. e 3.)
Example
Come già visto, la formula A ∧ ¬A non ha nessun modello
logo.aiia.png
logoUnige.png
siteLogo.png
(ancora da 4., 1. e 3.). La formula è dunque insoddisfacibile.
33/42

Sistema logico
Implicazione ed equivalenza tautologica via |=
Implicazione logica
Dato un insieme di formule Γ, ed una formula F , se Γ implica
logicamente F scriviamo Γ |= F .
Equivalenza tautologica
Date due formule F1 ed F2 (tautologicamente) equivalenti
(F1 ≡ F2 ), scriviamo |= F1 ↔ F2 .
Legame tra implicazione logica ed insoddisfacibilità

Γ |= F iff Γ ∪ {¬F } è insoddisfacibile.
logo.aiia.png
logoUnige.png
siteLogo.png
34/42

Sistema logico
Modelli e insoddisfacibilità: Esempio

Example
Per verificare che A ∧ B |= B, possiamo verificare che
{A ∧ B} ∪ {¬B} è insoddisfacibile.
Questo può essere verificato, ad esempio, tramite la tabella di
verità di A ∧ B ∧ ¬B, che è facile verificare sia insoddisfacibile,
od informalmente come segue: A ∧ B è vera solo se entrambi i
simboli A e B sono veri: quindi, ¬B non può essere vera, la
formula A ∧ B ∧ ¬B è insoddisfacibile e B “segue” da A ∧ B.
Altra possibilità è ovviamente usare la relazione di
soddisfacibilità: M |= A ∧ B ∧ ¬B iff M |= A e M |= B e
M |= ¬B, che è chiaramente una contraddizione, quindi
nessun modello soddisfa la formula A ∧ B ∧ ¬B, che è quindi
insoddisfacibile. logo.aiia.png
logoUnige.png
siteLogo.png
35/42

Sistema logico
Decidibilità della logica proposizionale
Con decidibile si intende un problema di decisione per il quale

esiste una procedura/un algoritmo che lo risolve, ovvero è
garantita una risposta si/no.
Nella logica proposizionale, è decidibile stabilire se

• una formula è una tautologia (o meno);
• una formula è soddisfacibile (o meno).
logo.aiia.png
logoUnige.png
siteLogo.png
36/42

Sistema logico
Funzioni di verità e connettivi
Funzione di verità
Sia F una formula della logica proposizionale contenente
esattamente n atomi distinti A1 , A2 , . . . , An ; la funzione
fF : {0, 1}n 7→ {0, 1} tale che fF (v1 , v2 , . . . , vn ) = IV (F ), dove V
è l’interpretazione per cui V(Ai ) = vi ∈ {0, 1} per ogni
i = 1, 2, . . . , n, è detta funzione di verità associata ad F .
Quindi, ogni formula del calcolo proposizionale definisce una

funzione n-aria, con n il numero di atomi proposizionali distinti:
n
Dato n, esistono 22 funzioni booleane distinte (ovvero, quanti
sono i sottoinsiemi di {0, 1}n ) che possono essere viste come
connettivi. logo.aiia.png
logoUnige.png
siteLogo.png
37/42

Sistema logico
(Non-)Indipendenza dei connettivi
Per n = 1 esistono quindi 4 funzioni booleane distinte:

f0 = 0(⊥), f1 = 1(>), f2 = A, f3 = ¬A. > e ⊥ possono essere
visti come connettivi 0-ari per n = 0.
Per n = 2 esistono quindi 16 funzioni booleane distinte: Noi
abbiamo introdotto 4 connettivi, e non sono indipendenti,
ovvero alcuni possono essere definiti in termini di altri.
(Non-)Indipendenza dei connettivi

Dato un insieme di connettivi C, e un connetivo c 6∈ C per cui si
abbia una funzione di verità fc , diciamo che c si definisce in
termini dei connettivi di C se esiste una formula proposizionale
F costruita usando solo i connettivi in C tale che fc ≡ fF .
logo.aiia.png
logoUnige.png
siteLogo.png
38/42

Sistema logico
(Non-)Indipendenza dei connettivi: Esempio
Il connettivo ∧ può essere definito in termini di {¬, ∨} nel

seguente modo: (A ∧ B) ≡ ¬(¬A ∨ ¬B).
A B ¬A ¬B ¬A ∨ ¬B A∧B ¬(¬A ∨ ¬B)

0 0 1 1 1 0 0
0 1 1 0 1 0 0
1 0 0 1 1 0 0
1 1 0 0 0 1 1
logo.aiia.png
logoUnige.png
siteLogo.png
39/42

Sistema logico
Altre equivalenze logiche per definire connettivi
• (A → B) ≡ (¬A ∨ B) [definisce → in termini di {¬, ∨}]

• (A ∨ B) ≡ (¬A → B) [definisce ∨ in termini di {¬, →}]
• (A ∨ B) ≡ ¬(¬A ∧ ¬B) [definisce ∨ in termini di {¬, ∧}]
• (A ∧ B) ≡ ¬(¬A ∨ ¬B) [definisce ∧ in termini di {¬, ∨}]
• (A ∧ B) ≡ (((A → ⊥) → ⊥) → (B → ⊥)) → ⊥ [∧, {→, ⊥}]
• ¬A ≡ A → ⊥ [definisce ¬ in termini di {→, ⊥}]
• ⊥ ≡ A ∧ ¬A [definisce ⊥ in termini di {∧, ¬}]
• > ≡ A ∨ ¬A [definisce > in termini di {∨, ¬}]
• A ↔ B ≡ (A → B) ∧ (B → A) [↔ in termini di {→, ∧}]
logo.aiia.png
logoUnige.png
siteLogo.png
40/42

Sistema logico
Altre equivalenze logiche: Esempio
Verifichiamo
A ↔ B ≡ (A → B) ∧ (B → A).
A B A→B B→A A↔B (A → B) ∧ (B → A)

0 0 1 1 1 1
0 1 1 0 0 0
1 0 0 1 0 0
1 1 1 1 1 1
Tramite la formula F = (A ∧ ¬B) ∨ (¬A ∧ B) si definisce un altro

connettivo logico binario, chiamato or esclusivo.
logo.aiia.png
logoUnige.png
siteLogo.png
41/42

Sistema logico
Insiemi completi di connettivi
Completezza
Un insieme di connettivi logici C si dice completo iff, data una
qualunque funzione f : {0, 1}n 7→ {0, 1}, esiste una funzione
proposizionale F costruita con i connettivi in C tale che f ≡ fF .
Con un insieme di connettivi logici completo si può esprimere

qualsiasi altro connettivo. Esempi di insiemi completi sono:
• {¬, ∧, ∨}
• {¬, ∧}
• {¬, ∨}
logo.aiia.png
logoUnige.png
siteLogo.png
42/42

Logica-Prop Informatica e Computazione

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Logica-Prop Informatica e Computazione

Caricato da

Copyright:

Formati disponibili

Sistema logico

Logica proposizionale: Sintassi

Corso di Laurea in Ingegneria Informatica

M. Maratea Logica Proposizionale

2 Logica proposizionale: Sintassi

3 Logica proposizionale: Semantica

M. Maratea Logica Proposizionale

2 Logica proposizionale: Sintassi

3 Logica proposizionale: Semantica

M. Maratea Logica Proposizionale

Sistema logico (I)

Un sistema formale (o, sistema logico, o logica) Λ è definito

M. Maratea Logica Proposizionale

Sistema logico (II) – considerazioni informali

soddisfacilità |=), invece che funzionale. 5/42

M. Maratea Logica Proposizionale

2 Logica proposizionale: Sintassi

3 Logica proposizionale: Semantica

M. Maratea Logica Proposizionale

• i connettivi proposizionali ¬ (unario), ∧, ∨, →, ↔ (binari);

(Scriveremo semplicemente L quando Σ è evincibile dallogoUnige.png

M. Maratea Logica Proposizionale

L’insieme delle formule del linguaggio proposizionale L è

a. le costanti e i simboli proposizionali sono formule;

(L’insieme è definito induttivamente. Consideriamo questo

M. Maratea Logica Proposizionale

Formule (II): Esempio

M. Maratea Logica Proposizionale

M. Maratea Logica Proposizionale

Formula e sottoformule: Esempi

M. Maratea Logica Proposizionale

Precedenza degli connettivi proposizionali

Nelle formule che abbiamo visto finora, vi è un uso esaustivo di

Per le formule proposizionali, l’ordinamento è il seguente:

dove ≺ è l’operatore di precedenza.

A parità di precedenza, ovvero se vi sono più occorrenze dello

M. Maratea Logica Proposizionale

Precedenza degli connettivi proposizionali: Esempi

¬A ∧ ¬B → C ∧ D ∧ E (((¬A) ∧ (¬B)) → (C ∧ (D ∧ E)))

Per il secondo esempio, le "sequenza" nella quale viene

M. Maratea Logica Proposizionale

2 Logica proposizionale: Sintassi

3 Logica proposizionale: Semantica

M. Maratea Logica Proposizionale

Il sistema di valutazione S della logica proposizionale è una

M. Maratea Logica Proposizionale

Definizione delle funzioni

La funzioni in O di sopra sono definite nel seguente modo:

M. Maratea Logica Proposizionale

Le funzioni precedenti possono essere anche rappresentate in

A B A∧B A∨B A→B A↔B

M. Maratea Logica Proposizionale

Interpretazione e valutazione (I)

è l’estensione all’insieme P ROP di una interpretazione

M. Maratea Logica Proposizionale

Interpretazione e valutazione (II)

Data una assegnazione Booleana V, IV esiste ed è unica.

M. Maratea Logica Proposizionale

M. Maratea Logica Proposizionale

Esempio con tabella di verità

Consideriamo la stessa formula F = A → ((B ∧ C) ∨ (C → ¬A))

M. Maratea Logica Proposizionale

Una formula F è una tautologia iff (se e solo se) ¬F è una