elmosódott argumentum

Kapcsolódó fogalmak: 
elsőrendű logika
Kapcsolódó fogalmak: 
term
Rövid szöveges bemutatás: 
Az elsőrendű logikában alkalmazott termekben, egy argumentumot elmosódottnak nevezünk, ha az nem helyettesíthető egy másik, vele ekvivalens argumentummal az értelmezés megváltoztatása nélkül. Általánosságban egy termet elmosódottnak nevezünk, ha az nem helyettesíthető egy vele ekvivalens másik termel az értelmezés megváltoztatása nélkül. Például a Megesz(x,Sportcsoki) termben a Sportcsokit ne tudjuk helyettesíteni Milkacsokival, a term értelmezésének megváltoztatása nélkül, csak azért mert a Sportcsoki és a Milkacsoki is csoki.