---
date: '2024-10-08'
description: procedure for solving problems by intuitively effective means, including formation rules for well-formed formulas in propositional calculus.
id: effective procedure
modified: 2026-06-05 15:08:23 GMT-04:00
tags:
  - math
title: effective procedure
created: '2024-10-08'
published: '2024-10-08'
pageLayout: default
slug: thoughts/effective-procedure
permalink: https://aarnphm.xyz/thoughts/effective-procedure.md
generator:
  quartz: v4.6.0
  hostedProvider: Cloudflare
  baseUrl: aarnphm.xyz
full: https://aarnphm.xyz/llms-full.txt
---
In [[thoughts/logic]], an effective procedure is a procedure for solving problem by any intuitively ‘effective’ means from a specific class.

## formation rules for propositional calculus

(wff: well-formed formula)

$$
\begin{aligned}
\text{FR1} &. \text{ A variable standing alone is a wff} \\
\text{FR2} &. \text{ If } \alpha  \text{ is a wff, so is } \neg \alpha \\
\text{FR3} &. \text{ If } \alpha  \text{ and } \beta \text{ are wffs, then } (\alpha \cdot \beta ), (\alpha \space \beta), (\alpha \vee \beta ), (\alpha \supset \beta), \text{ and } (\alpha \equiv \beta) \text{ are wffs}
\end{aligned}
$$