implicazione stretta

Enciclopedia della Matematica (2013)

implicazione stretta


implicazione stretta nella logica greca, connettivo binario di implicazione tra due enunciati P e Q tale che l’enunciato risultante «se P allora Q» è vero se e solo se P implica necessariamente Q o, in modo equivalente, se l’enunciato «se P allora Q» è una verità logica.

Vocabolario
implicazióne
implicazione implicazióne s. f. [dal lat. implicatio -onis]. – 1. non com. L’implicare, l’essere implicato; lo stato di più cose implicate insieme. 2. a. Conseguenza logica, necessaria di un fatto: i. sociali, economiche, finanziarie di...
strétta
stretta strétta s. f. [der. di stretto1]. – 1. a. Il fatto di stringere, o di venire stretto, premendo fortemente: tagliai il fil di ferro con una s. di pinze; la volpe tentava di liberarsi dalla s. della tagliola; una s. più forte e l’avrebbe...