Консеквент — это вторая половина гипотетического предложения . В стандартной форме такого предложения это часть, которая следует за «тогда». В импликации , если P подразумевает Q , то P называется антецедентом , а Q называется консеквентом . [1] В некоторых контекстах консеквент называется аподосисом . [ 2]
Примеры:
является следствием этого гипотетического предложения.
Здесь « является животным» — это следствие.
«Они живы» — следствие.
Консеквент в гипотетическом предложении не обязательно является следствием антецедента.
«Рыбы говорят на клингонском языке» здесь является следствием, но интуитивно это не следствие (и не имеет ничего общего) с утверждением, сделанным в антецеденте, что «обезьяны фиолетовые».