5a Propositional Logic Syntax & Translation

studied byStudied by 9 people
0.0(0)
Get a hint
Hint

Syntax of propositional logic

1 / 9

flashcard set

Earn XP

Description and Tags

Logic

10 Terms

1

Syntax of propositional logic

its formal language including grammatical rules for putting together well formed formulas

New cards
2

Recursive definition

Gives finite way of characterising the infinite number of formulas that we can form in propositional logic

New cards
3

Atomic propositions

p, q, r…

New cards
4

Operators

Formalise to build more complex prepositions

New cards
5

Not symbol

¬… (negation)

New cards
6

And symbol

. . ∧. . .(conjunction)

New cards
7

Or symbol

. . ∨. . . (disjunction)

New cards
8

if… then symbol

. . . →. . . (implication)

New cards
9

if and only if symbol

. . . ↔. . . (bi-implication

New cards
10

Why use parenthesis ()

To avoid ambiguities in formulas

New cards

Explore top notes

note Note
studied byStudied by 4 people
... ago
5.0(1)
note Note
studied byStudied by 16 people
... ago
5.0(1)
note Note
studied byStudied by 89 people
... ago
5.0(1)
note Note
studied byStudied by 1179 people
... ago
5.0(8)
note Note
studied byStudied by 8 people
... ago
5.0(1)
note Note
studied byStudied by 49 people
... ago
5.0(2)
note Note
studied byStudied by 5627 people
... ago
4.8(21)

Explore top flashcards

flashcards Flashcard (66)
studied byStudied by 34 people
... ago
5.0(2)
flashcards Flashcard (28)
studied byStudied by 14 people
... ago
5.0(1)
flashcards Flashcard (26)
studied byStudied by 2 people
... ago
5.0(1)
flashcards Flashcard (62)
studied byStudied by 18 people
... ago
5.0(1)
flashcards Flashcard (51)
studied byStudied by 14 people
... ago
5.0(1)
flashcards Flashcard (35)
studied byStudied by 3 people
... ago
5.0(1)
flashcards Flashcard (29)
studied byStudied by 24 people
... ago
5.0(1)
flashcards Flashcard (201)
studied byStudied by 14 people
... ago
5.0(1)
robot