Logica formale e linguaggio naturale
In un test si riporta:
“Si trattava di un tipo alto e/o grasso, ma senza dubbio era calvo”.
Posto: a = "alto"; g = "grasso"; c = "calvo"; come si può formalizzare "e/o" e "ma senza dubbio" ?
Ritengo: ( (a∧g) ∨ a ∨ g ) ∨ c
“Si trattava di un tipo alto e/o grasso, ma senza dubbio era calvo”.
Posto: a = "alto"; g = "grasso"; c = "calvo"; come si può formalizzare "e/o" e "ma senza dubbio" ?
Ritengo: ( (a∧g) ∨ a ∨ g ) ∨ c
Risposte
La butto lì ...
$(a vv g) ^^ c$
Questo esclude che sia basso e magro contemporaneamente (condizione che mi pare si intenda escludere ...)
$(a vv g) ^^ c$
Questo esclude che sia basso e magro contemporaneamente (condizione che mi pare si intenda escludere ...)
Per (a ∨ g) coincide con la mia ... semplificando.
Quindi "ma senza dubbio" è una congiunzione?
Quindi "ma senza dubbio" è una congiunzione?
"MA" in italiano è una congiunzione ... avversativa ... però non necessariamente in contraddizione con la frase precedente, può semplicemente introdurre una "limitazione" come in questo caso ...
"senza dubbio" è un attributo di "calvo" (a parer mio) che ne certifica la veridicità ... IMHO
"senza dubbio" è un attributo di "calvo" (a parer mio) che ne certifica la veridicità ... IMHO
Grazie del tuo parere axpgn!!!
@oton
Bah, in certi casi il linguaggio naturale ha tante "trappole" rispetto a quello puramente logico, la frase potrebbe anche essere scritta eqivalentemente:
“Si trattava di un tipo calvo, alto e/o grasso”
quindi credo che in tal caso il valore di verità di essere calvo o meno non ha alcuna influenza in quanto per ipotesi è sempre vero. Almeno credo... tempo fa avevo più certezze, oggi meno
Claudio.
P.S. non avevo letto il commento e concordo con @axpgn il ", ma" che è poco usato in Italiano e spesso considerato errore è sospensiva in questo caso, come dire "non ho finito di dire e aggiungo". Tanto è vero che si può, senza cambiare il senso, usare la congiunzione "e" mentre " il senza dubbio" va senz'altro tradotto in una certezza (logicamente, nella vita meno).
Bah, in certi casi il linguaggio naturale ha tante "trappole" rispetto a quello puramente logico, la frase potrebbe anche essere scritta eqivalentemente:
“Si trattava di un tipo calvo, alto e/o grasso”
quindi credo che in tal caso il valore di verità di essere calvo o meno non ha alcuna influenza in quanto per ipotesi è sempre vero. Almeno credo... tempo fa avevo più certezze, oggi meno
Claudio.
P.S. non avevo letto il commento e concordo con @axpgn il ", ma" che è poco usato in Italiano e spesso considerato errore è sospensiva in questo caso, come dire "non ho finito di dire e aggiungo". Tanto è vero che si può, senza cambiare il senso, usare la congiunzione "e" mentre " il senza dubbio" va senz'altro tradotto in una certezza (logicamente, nella vita meno).
Beh, no, che fosse "calvo" è sicuro, quel "senza dubbio" toglie, appunto, ogni dubbio ... inoltre il "ma" avversativo collega due frasi coordinate quindi sono "due" frasi distinte e questo è un "rinforzo" ...
@axpgn
si scusa Alex mi si sono incrociate le tue risposte e ho aggiunto in modifica un P.S. in cui mi spiego ... lo so che non si fa, perdonami, sono abituato ai social e meno ai forum
si scusa Alex mi si sono incrociate le tue risposte e ho aggiunto in modifica un P.S. in cui mi spiego ... lo so che non si fa, perdonami, sono abituato ai social e meno ai forum
Accedi a tutti gli appunti
Tutor AI: studia meglio e in meno tempo