# Tagged Questions

The tag has no usage guidance.

118 views

### How Do I Prove the 6 Letter Thesis Cδδ0δp?

There exists a 1951 paper by C. A. Meredith which proves a completeness meta-theorem for the "C, 0, δ, p" system which has as it's sole axiom Cδδ0δp under uniform substitution for propositional ...
32 views

### Converting from standard to functional, Polish and Reverse Polish notation

I wanted to convert the following expression to Functional, Polish and Reverse Polish notation. $$Y =A + \frac{B+ \dfrac{BA}{B+CA}}{A - \dfrac{BC}{B-C+A}}$$ I know how to do Standard -> Functional ->...
29 views

192 views

### Ambiguity in Reverse Polish notation

Given the infix form: 1 * 2 * 3 What is the Reverse Polish notation? As I see things, two valid answers are: ...
646 views

### Reverse Polish Notation with power

Perhaps I'm just not understanding RPN correctly, but whenever I translate something like 2^2^3 then I get 22^3^ But if I try ...
62 views

### Which One of These Logical Theses Does Not Hold for Relevant Logics With a Connective for Conjunction?

I write in Polish notation and have included fully infixed notation here also which indicates parsing order. For every relevant logic simplification fails: Simplifcation: CpCqp or [p$\rightarrow$(...
245 views

### Reverse Polish Notation and numbers $>9$

Excuse me for the newbish question in advance but how should I make sure I don't make a mistake converting from RPN to infix notation when I don't know if some of the numbers aren't two-digit ones or ...
309 views

### distributive law in polish notation

On page 18 "Logic as Algebra" Halmos&Givant wrote the distributive law in Polish notation as $$= \times a + bc + \times ab \times ac$$ I fail to see anything remarkable here, is there a ...
132 views

### PEDMAS in RPN needed?

In RPN do we still have to take into note the PEDMAS rules? For example these questions: 3 – 4 * 2 3 * 4 – 2 3 * (4 – 2) (3 – 4) * 2 3 – 4 + 2 Answers 342*- 34*...
345 views

### Calculate an Average in RPN (Reverse Polish Notation)

To calculate an average in reverse polish notation (RPN) is the following correct (assuming a-j are variables representing numbers): ...