semantic consequence
Logic
noun
The relationship by which a sentence must be true whenever every member of a given set of sentences is true; logical consequence conceived semantically, as in model theory, rather than syntactically, as in proof theory; (also) a sentence which must be true whenever every member of a given set of sentences is true; contrasted with syntactic consequence.
- .
Origin
1960s.
- abiological
- abiologically
- abiology
- abiotic
- abiotically
- abiotrophy
- Abipon
- Abipone
- Abiponian
- Abipón
- Abiquiu
- a bird in the hand is worth two in the bush
- abirritant
- a bit
- a bite at the cherry
- a bit much
- a bit of all right
- a bit of a ——
- a bitter pill (to swallow)
- a bit thick
- Abitur
- Abiturient
- abiu
- abjad
- abject