WARNING:
JavaScript is turned OFF. None of the links on this concept map will
work until it is reactivated.
If you need help turning JavaScript On, click here.
Este Cmap, tiene información relacionada con: FyC_3_Lenguaje_formal, LENGUAJE FORMAL como todo lenguaje tiene Símbolos: Variables: p, q, r, s, t ... Conectivas: ¬, ^, v, →, ↔ Signos de puntuación: ( ), [ ], LENGUAJE FORMAL como todo lenguaje tiene Reglas de construcción de fórmulas bien formadas (gramática): 1. Todo símbolo proposicional p, es una f.b.f. 2. Si p y q son f.b.f., también lo son: ¬p, p^q, pvq, p→q, p↔q 3.Solo podemos construir f.b.f. utilizando 1 y 2.