implicazione materiale

Enciclopedia della Matematica (2013)

implicazione materiale


implicazione materiale in logica, connettivo binario tra due enunciati P e Q che si esprime con «se P allora Q» e si scrive in simboli come P ⇒ Q. Esso è definito per tutti i valori di verità che possono assumere P e Q ed è falso soltanto se l’antecedente P è vero e il conseguente Q è falso. Nella logica greca, si distingue tra implicazione materiale (detta anche filoniana, da Filone di Megara) e implicazione stretta o formale: secondo quest’ultima l’asserto è vero quando è impossibile che l’antecedente sia vero e il conseguente falso e quindi P ⇒ Q è una verità logica giacché P implica necessariamente Q (→ logica).

Tag
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...
materiale
materiale agg. e s. m. [dal lat. tardo materialis, agg. der. di materia «materia»]. – 1. agg. a. Della materia, che consta di materia, di cose che si presentano come oggetti sensibili e occupano un’estensione spaziale: una realtà m.; beni...