Verm & Solitair
Legal Opinionist
- Registrato
- 22/5/00
- Messaggi
- 1.624
- Punti reazioni
- 21
Modello di Logica di tipo Lineare (L'Antitondo)
Sequenza
Si dice sequenza una qualsiasi stringa di formule del tipo A X, dove A è un insieme di proposizioni (eventualmente vuoto), detto antecedente della sequenza, e X è una proposizione, detta conseguente della sequenza.
Derivazione
Una derivazione è una serie di sequenze di proposizioni in cui ogni sequenza è una assunzione, oppure è ottenuta dalle sequenze precedenti mediante le regole di deduzione.
Formula derivabile
Una formula X è derivabile nel calcolo proposizionale a deduzione naturale (che denotiamo con CP) da un insieme F di proposizioni, se e solo se esiste una derivazione di una sequenza in cui gli antecedenti sono membri di F e il conseguente è X. X è derivabile da F e si scrive: F X.
Grazie dell'eventuale attenzione da parte di Lineari e Angolisti acuti o ottusi.
Sequenza
Si dice sequenza una qualsiasi stringa di formule del tipo A X, dove A è un insieme di proposizioni (eventualmente vuoto), detto antecedente della sequenza, e X è una proposizione, detta conseguente della sequenza.
Derivazione
Una derivazione è una serie di sequenze di proposizioni in cui ogni sequenza è una assunzione, oppure è ottenuta dalle sequenze precedenti mediante le regole di deduzione.
Formula derivabile
Una formula X è derivabile nel calcolo proposizionale a deduzione naturale (che denotiamo con CP) da un insieme F di proposizioni, se e solo se esiste una derivazione di una sequenza in cui gli antecedenti sono membri di F e il conseguente è X. X è derivabile da F e si scrive: F X.
Grazie dell'eventuale attenzione da parte di Lineari e Angolisti acuti o ottusi.
