Category:Syntax (logic)

Wikimedia Commons has media related to Syntax (logic).

Subcategories

This category has the following 6 subcategories, out of 6 total.

F

Formal languages (13 C, 201 P)
Formal systems (7 C, 10 P)

L

Logic symbols (1 C, 49 P)
Logical consequence (1 C, 23 P)

P

Proof theory (6 C, 95 P)

R

Rules of inference (43 P)

Pages in category "Syntax (logic)"

The following 19 pages are in this category, out of 19 total. This list may not reflect recent changes.

Syntax (logic)

A

Atomic sentence

F

L

M

P

R

Rule of inference

S

Symbol (formal)

T

The Logical Syntax of Language

U

Unate function

V

Variable (mathematics)

W

Retrieved from "https://en.wikipedia.org/w/index.php?title=Category:Syntax_(logic)&oldid=1158266445"