MHB Logic Book: Definitions, Language & Existential Formulas

  • Thread starter Thread starter mathmari
  • Start date Start date
  • Tags Tags
    Book Logic
Click For Summary
A user seeks recommendations for a logic book that includes definitions of concepts such as language and positive existential formulas. Another participant suggests "Logic, Language, and Meaning, Volume 1: Introduction to Logic" by Gamut as a potential resource. The discussion emphasizes the need for clarity in definitions within logic studies. Participants are encouraged to share additional suggestions if they know of other relevant texts. The conversation highlights the importance of foundational knowledge in logic.
mathmari
Gold Member
MHB
Messages
4,984
Reaction score
7
Hey! :o

Could you suggest a book of logic that contains definitions, like the definition of a language, of an (positive) existential formula, etc?
 
Physics news on Phys.org

Thread 'A variant of the Monty Hall problem'

There is a nice little variation of the problem. The host says, after you have chosen the door, that you can change your guess, but to sweeten the deal, he says you can choose the two other doors, if you wish. This proposition is a no brainer, however before you are quick enough to accept it, the host opens one of the two doors and it is empty. In this version you really want to change your pick, but at the same time ask yourself is the host impartial and does that change anything. The host...
View full post »

Similar threads

I Predicate logic and modal logic
  • · Replies 17 ·
Replies
17
Views
3K
MHB Is this a correct application of the reduction method?
  • · Replies 3 ·
Replies
3
Views
2K
I What is the Definition of a Sequence in Formal Language Theory?
  • · Replies 4 ·
Replies
4
Views
2K
I Computer languages as examples in formal logic
  • · Replies 40 ·
2
Replies
40
Views
8K
MHB Algorithm to answer existential questions - Reduction
  • · Replies 1 ·
Replies
1
Views
2K
I Can you calculate the probability of a complex logic expression?
  • · Replies 3 ·
Replies
3
Views
2K
MHB Infinite Natural Numbers: First-Order Logic Formula Explained
  • · Replies 2 ·
Replies
2
Views
2K
What is the best way to learn logic of computer language?
  • · Replies 15 ·
Replies
15
Views
3K
A A "Proof Formula" for all maths or formal logic?
  • · Replies 3 ·
Replies
3
Views
2K
Is the Definition of an Argument in Logic by Paul Teller Solid?
  • · Replies 11 ·
Replies
11
Views
2K