congiunzione, eliminazione di una in logica, regola di deduzione per la quale dalla verità della congiunzione A ∧B si deduce la verità sia di A sia di B (→ inferenza, regola di).
congiunzione
congiunzióne s. f. [dal lat. coniunctio -onis, der. di coniungĕre «congiungere»]. – 1. a. Atto, effetto del congiungere o del congiungersi: la c. dei due eserciti; punto di c.; c. carnale, accoppiamento sessuale. b. L’essere...
eliminazione
eliminazióne s. f. [der. di eliminare; cfr. il lat. tardo eliminatio -onis]. – 1. L’operazione dell’eliminare, dell’escludere, del sopprimere: e. di sostanze nocive all’organismo; e. di un sospetto; e. dalla lista dei candidati;...
