Categoría:Sintaxis (lógica)

Subcategorías

Herramientas: Árbol de categorías • Gráfico • Intersección • Todas las páginas • Página aleatoria • Búsqueda interna • Tráfico

Esta categoría incluye las siguientes 4 subcategorías:

L

Lenguajes formales‎ (4 cat, 76 págs.)

S

Símbolos lógicos‎ (1 cat, 12 págs.)
Sistemas formales‎ (1 cat, 1 pág.)

T

Teoría de la demostración‎ (3 cat, 22 págs.)

Páginas en la categoría «Sintaxis (lógica)»

Esta categoría contiene las siguientes 10 páginas:

C

F

P

Proposición

R

Regla de inferencia

S

T

Teorema

V

Variable (matemática)

Obtenido de «https://es.wikipedia.org/w/index.php?title=Categoría:Sintaxis_(lógica)&oldid=84167635»