Logica Per La Programmazione - Riassunto

La logica la le ragionamento

che correttezza del

studia

disciplina condizioni di

è

SILLOGISMO ragionamento dimostrativo

: . (

Principio

Preposizionale

Calcolo del escluso

terzo falso )

→

- vero o )

(

logica Principio

ordine

del contraddittorietà

- vef

primo di può essere

non

non

quantificatori funzionali

+

Triple tacere

di

-

Calcolo 40,11

funziona variabili

interpretazione posizionali

preposizionale da pro a

: :

tautologia interpretazione

formula del calcolo preposizionale vera ogni

: per .

interpretazione

formula del calcolo

Contraddizione preposizionale falsa ogni

per

: .

Dimostrare tautologia Usando tavole verità

di

una : - Costruire dimostrazione

una

- Trovare centroesempio

- un

Principio P

sostituzione Q

equivalenza

di l' =

per _

- [

R %)

R =

Legge tautologia

= ) ( ) =)

( (

) ( V

Precedenza connettivi d.

tra ⇐ di importanza

ordine

7 in

: , ,

, ,

Tecniche "

" Q

"

"

Pea

dimostrazione P

parto

di da a

arrivo

: e

- P "

)

Che " deep

"

ha " at

parto

connettivo principale

non = arrivo

come

- e

Priviamoci toccare R

positivamente in

: R Rfiyp ]

P negativamente in

occorre : negativamente

P Q R

P p Q in

corre

> e R Rfiyp ]

Forme normali ,

congiuntiva ( larva

R In

VE V v in

- : . - .

. . -

, .

.

.

disgiuntiva tv

IV

Pan

( Canaan

per

:

- . . .

- .

.

. .

.

PRINCIPIO RISOLUZIONE ) )

DI CQVR

prelati PVR

(

:

{

Il 74

sottoinsieme completo

connettivi funzionalmente ha

n è

di cioè

,

la del sistema completo

espressività

stessa

::::÷:::÷÷÷÷:::

÷ a) ( rp a)

Dimostrazione Q

n e

per caso :

P 4Gt corretto )

(

G

è Pea

= ssa

a

p è

463 )

corretto G ( p Q

P Q

ssa ssa

: 441

come ( ) )

( RI

) nlg te

(

Parma

Ge f

Q Quan

ssa e

con canna .com

, ,

141

come R tautologiche

Utilizzo ipotesi

di :

non

Per P

P supponendo

dimostrare che

Q

dimostrare

Q sia vero

posso

falso l'implicazione

P

perché quando è

è vera

comunque

Limiti del calcolo struttura

preposizionale Gli enunciati atomici hanno

: - non "

Impossibile "

specifici

rappresentare oggetti

- Descrivono di

tra finito

relazioni enunciati

- numero

un

Vantaggi del

della logica ordine

primo :

infinità

Possibilità proprietà individui

di un'

di di

esprimere

- Possibilità proprietà generali

di esprimere

- enunciati

Comp