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, 202 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, 96 P)

R

Rules of inference‎ (45 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"