Formal language (relevant) Flashcards
1
Q
What does the development of formal language allow?
A
Symbolisation of arguments that show them to be valid in the virtue of their form
2
Q
What is the language
A
Truth-functional logic
3
Q
What is symbolisation?
A
Replacing component sentences with letters and connectives with symbols
4
Q
What does symbolisation show?
A
Clearly why arguments are valid
5
Q
What are uppercase letters used to represent?
A
Sentences
6
Q
¬
A
negation
7
Q
A
conjunction
8
Q
v
A
disjunction
9
Q
→
A
Conditional
10
Q
↔
A
Biconditional
11
Q
Negation
A
‘It is not the case that…’
12
Q
Conjunction
A
‘Both…and…’
13
Q
Disjunction
A
‘Either…or…’
14
Q
Conditional
A
‘If…then…’
15
Q
Biconditional
A
‘…if and only if…’
