- #1

- 216

- 1

for example. Instead of writing p => q we write =>pq or p v q we write vpq etc...

What is this notation called on english language?

- Thread starter njama
- Start date

- #1

- 216

- 1

for example. Instead of writing p => q we write =>pq or p v q we write vpq etc...

What is this notation called on english language?

- #2

- 15,393

- 685

Prefix notation, also known as Polish notation (in honor of Jan Łukasiewicz).

- #3

- 216

- 1

Thank you for the information. And did I write these formulas correctly in Polish notation?Prefix notation, also known as Polish notation (in honor of Jan Łukasiewicz).

1)

((¬p)=>(q v (¬s))) (Standard notation)

(¬p)=>(q v (¬s))

=>(¬p)(q v ¬s)

=>¬pvq¬s (Polish notation)

?

2)

p v ((q [itex]\land[/itex] (¬s)) => p)) (Standard notation)

v p(q [itex]\land[/itex] (¬s)) => p)

v p => (q [itex]\land[/itex] (¬s))

v p => [itex]\land[/itex] q ¬s (Polish notation)

Also did I write these one correctly: (From Polish to Standard notation)

1)

v¬[itex]\land[/itex]vpqrs

v¬[itex]\land[/itex]p v qrs

v¬((p v q) [itex]\land[/itex] r)s

¬((p v q) [itex]\land[/itex] r) v s

2)

[itex]\land[/itex]p¬=>¬qvrs

[itex]\land[/itex]p¬=>¬q(r v s)

[itex]\land[/itex]p¬((¬q) => (r v s))

(p [itex]\land[/itex] (¬((¬q) => (r v s))))

Last edited:

- #4

- 15,393

- 685

p \lor ((q \land (\neg s)) \Rightarrow p))

[itex]p \lor ((q \land (\neg s)) \Rightarrow p))[/itex]

- #5

- 216

- 1

Let me do it again (with Unicode characters):

p ⋁ ( (q ⋀ (¬s)) => p)

p ⋁ ( => (q ⋀ (¬s))p)

p ⋁ ( =>⋀q(¬s)p)

⋁ p =>⋀q¬sp

I come back for the same result.

"v" in the post means ⋁ (or)

Are those correct, now? (I fixed the LaTeX)

- #6

- 15,393

- 685

Both of you prefix expressions converted to infix look fine.

- Replies
- 1

- Views
- 1K

- Replies
- 9

- Views
- 2K

- Last Post

- Replies
- 3

- Views
- 2K

- Last Post

- Replies
- 7

- Views
- 2K

- Last Post

- Replies
- 4

- Views
- 1K

- Last Post

- Replies
- 2

- Views
- 2K

- Replies
- 12

- Views
- 6K

- Last Post

- Replies
- 2

- Views
- 1K

- Last Post

- Replies
- 27

- Views
- 3K

- Replies
- 3

- Views
- 1K