OLI - 2. Syntax and symbolization

0.0(0)
studied byStudied by 1 person
learnLearn
examPractice Test
spaced repetitionSpaced Repetition
heart puzzleMatch
flashcardsFlashcards
Card Sorting

1/42

encourage image

There's no tags or description

Looks like no tags are added yet.

Study Analytics
Name
Mastery
Learn
Test
Matching
Spaced

No study sessions yet.

43 Terms

1
New cards
Basic Symbols of Sentential Logic
All and only the following are _____:


1. The capital letters we use to symbolize atomic sentences, called ***atomic formulae*** or occasionally ***sentential letters***: A, B, C, and so on (possibly with numeric subscripts).
2. The symbols for the logical connectives: &, ∨, →, and ¬.
3. The parentheses used to disambiguate the scope of the connectives: ( and ).
2
New cards
Expressions of Sentential Logic
Any finite sequence or string of basic symbols.
3
New cards
Formulae of Sentential Logic
\

1. Every atomic formula φ is a formula of sentential logic.
2. If φ is a formula of sentential logic, then so is ¬φ.
3. If φ and ψ are formulae of sentential logic, then so are each of the following:


1. (φ&ψ)
2. (φ∨ψ)
3. (φ→ψ)
4. An expression φ of sentential logic is a formula only if it can be constructed by finitely many applications of the first three rules.
4
New cards
Parse Tree Construction Rules
knowt flashcard image
5
New cards
Subformula
A formula ψ is a subformula of a formula φ if and only if ψ appears (as a node) in the parse tree of φ.
6
New cards
Procedure for Reinserting Omitted Parentheses

1. First, insert parentheses around every occurrence of & and its two conjuncts, starting with the rightmost & and ending with the leftmost,
2. Next, insert parentheses in the same fashion for each ∨ and its two disjuncts, from rightmost occurrence first, to the leftmost occurrence last,
3. Finally, insert parentheses for each →, and its antecedent and consequent, from rightmost occurrence first, to the leftmost occurrence last,

As you follow this procedure, keep in mind that parentheses are never inserted around negations, and that a single parenthesis should never be inserted within another set, i.e., do not break up any existing pairs of parentheses with ones you insert.
7
New cards
Atmoic formulae
\
8
New cards
Logical connectives
9
New cards
Conjunction
10
New cards
Disjunction
11
New cards
Conditional
12
New cards
Negation
13
New cards
Logical operators
14
New cards
Idealizations
15
New cards
Compound
16
New cards
Truth-functional
17
New cards
Semantics
18
New cards
Meaning
19
New cards
Truth-values
20
New cards
Compound sentence
21
New cards
Compound formula
22
New cards
Symbolize
23
New cards
Translate
24
New cards
Conjuncts
25
New cards
Disjuncts
26
New cards
Inclusive
27
New cards
Exclusive
28
New cards
Conditional
29
New cards
Antecedent
30
New cards
Consequent
31
New cards
Unary
32
New cards
Binary
33
New cards
Main connective
34
New cards
Scope
35
New cards
Ambiguous
36
New cards
Basic symbols
37
New cards
Formula
38
New cards
Expression
39
New cards
Well-formed formula
40
New cards
Variables
41
New cards
Inductive
42
New cards
Semantics
43
New cards
Parse tree