Introduction to Logic

Vocabulary terms covering the fundamental definitions, applications, and key concepts of logic based on the lecture notes.

Logic

The study of correct reasoning that provides rules for determining whether conclusions follow from given facts or assumptions.

Logic in Philosophy

The field that examines the principles of valid inference and argumentation.

Logic in Mathematics

The foundation of proofs and rigorous reasoning.

Logic in Computer Science

The application of logic used in programming, algorithms, databases, and artificial intelligence.

Premise

A statement assumed to be true.

Conclusion

A statement derived from premises.

Validity

A measure of whether the conclusion follows from the premises.

Soundness

A valid argument whose premises are actually true.