FOLp, Sentence letters & truth tables

Question 1

How is a sentence’s truth functional form determined? (2)

Answer 1

• The truth values of the atomic sentences from which the sentence is constructed.
• the way in which the sentence is constructed from the atomic sentences: that is, which connectives are used, and which particular simpler sentences they operate on.

Question 2

What does the truth functional form in a sentence give rise to?

Answer 2

• logical properties of sentences
• Pairs of sentences
• Arguments

Question 3

what is the ‘p’ meaning for FOLp in language?

Answer 3

Propositional.
- This is because formal languages of this type are traditionally called propositional languages.

Question 4

What are the symbols for sentence letters?

Answer 4

Capital letters P-S and A-D

Question 5

What type of sentence is any sentence letter in FOLp?

Answer 5

Atomic

Question 6

What is a possible situation?

Answer 6

An assignment of truth values- T (true) or F (false) - to the sentence letters. (Often called structure)

Question 7

What is the truth value of a sentence letter in a given situation?

Answer 7

the value it is assigned in that situation. ANY assignment of truth values to the sentence letters is a possible situation.

Question 8

What is a complex sentence’s truth values completely determined by? (2)

Answer 8

• the truth values which the atomic sentences have in that situation, and
• their truth functional form (i.e., the way in which the sentence is constructed from the atomic sentences)