logica formale e linguaggio naturale

[oton]

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

[axpgn]

La butto lì ...

$(a vv g) ^^ c$

Questo esclude che sia basso e magro contemporaneamente (condizione che mi pare si intenda escludere ...)

[oton]

Per (a ∨ g) coincide con la mia ... semplificando.
Quindi "ma senza dubbio" è una congiunzione?

[axpgn]

"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

[oton]

Grazie del tuo parere axpgn!!!

[Maryana67]

@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).

[axpgn]

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" ...

[Maryana67]

@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