6) Formalisation in Propositional logic Flashcards
1
Q
Useful formulations in L1 language
A
2
Q
What is a truth-functional connective?
A
The truth value of a sentence cannot be changed by replacing a direct subsentence with another having the same truth-value
3
Q
What is the direct subsentence
A
4
Q
What is the scope of the connective?
A
What the connective attaches to.
5
Q
When is an English sentence a tautology (propositional valid)
A
Iff its formalisation in pl is logically true.
6
Q
When is an English sentence a propositional contradiction?
A
Iff its formalisation in pl is a contradiction
7
Q
When is an argument in English propositionally valid?
A
Iff its formalisation in L1 is valid
