RETROALIMENTACIÓN

Es considerada una fórmula bien formada:

• p ̴̴ q

• ↔ p v q

• p ˄ ↔ p

• p → q

Son letras minúsculas como: p,q,r,s,t…z. Estas letras se usan en lógica proposicional y reciben el nombre de :

• Conectores lógicos

• Operadores lógicos

• Variables proposicionales

• Constantes lógicas

Son símbolos que remplazan a los enlaces gramaticales,

nos estamos refiriendo a :

• Constantes lógicas

• Variables proposicionales

• Metavariables

• Variables de esquema

Simbolice la siguiente proposición e indique el operador de mayor jerarquía: “Si Moisés es hábil entonces es creativo. Además, es creativo o es competente”.

• (p → q) ʌ (q v r ) - La conjunción

• (q → p) v (q ʌ r) - La disyunción débil

• (p ↔ q) → (q ̴ v r) - La condicional

• (p v q) → (q v r) -Disyuntiva fuerte

La regla dice: “Es falsa cuando el antecedente es verdadero y el consecuente es falso” nos estamos refiriendo a una regla de la :

• Disyunción débil

• Bicondicional

• Condicional

• Disyunción fuerte