Syntax and Semantics of Propositional Logic Flashcards

1
Q

What are the sentence letters of L1?

A

P, Q, R, P1, Q1, R1, P2, Q2, R2, P3, Q3, R3, etc

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

What are sentences of L1?

A

(i) All sentence letters are sentences of L1.
(ii) If ϕ and ψ are sentences of L1, then ¬ϕ, (ϕ ∧ ψ), (ϕ ∨ ψ), (ϕ → ψ) and (ϕ ↔ ψ) are sentences of L1.
(iii) Nothing else is a sentence of L1.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

What is an L1 structure?

A

An L1-structure is an assignment of exactly one truth-value (T or F) to every sentence letter of L1.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

How is truth defined in the L1 structure?

A

Truth in an L1-structure: Let A be some L1-structure. Then | . . . |A assigns either T or F to
every sentence of L1 in the following way.
(i) If φ is a sentence letter, |φ|A is the truth-value assigned to φ by the L1-structure A
(ii) |¬φ|A = T iff |φ|A = F
(iii) |φ ∧ ψ|A = T iff |φ|A = T and |ψ|A = T
(iv) |φ ∨ ψ|A = T iff |φ|A = T or |ψ|A = T
(v) |φ → ψ|A = T iff |φ|A = F or |ψ|A = T
(vi) |φ ↔ ψ|A = T iff |φ|A = |ψ|A

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

How is logical truth, contradiction, logical equivalence defined in terms of L1 structures?

A

(i) A sentence φ of L1 is logically true iff φ is true in all L1-structures.
(ii) A sentence φ of L1 is a contradiction iff φ is not true in any L1-structures.
(iii) A sentence φ and a sentence ψ of L1 are logically equivalent iff φ and ψ are true in exactly the same L1-structures.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

How is logical truth, contradiction, logical equivalence defined in terms of truth tables?

A

(i) A sentence of L1 is logically true (or a tautology) if and only if there
are only T’s in the main column of its truth table.
(ii) A sentence is a contradiction if and only if there are only F’s in the main column of its truth table.
(iii) A sentence Φ and a sentence Ψ are logically equivalent if they agree on the truth-values in their main columns.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly