Jump to content

Category:Syntax (logic)

From Wikipedia, the free encyclopedia

The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

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"

Hidden category:

Commons category link from Wikidata