> [!Definition] Definition (logical consequence) > A *sentence* is a logical consequence of sentences $P_{1},\dots ,P_{n}$ iff there is no *possible situation* where $P_{1},\dots,P_{n}$ are all true and $S$ is false. > > We also say $P_{1},\dots,P_{n}$ *logically entail* $S$. > *Note*. An argument is [[Logically Valid Argument|valid or logically valid]] iff its conclusion is a logical consequence of its premises.