REPASO DE LÓGICA

Es el acto de la creación de un lenguaje artificial que hace uso de símbolos convencionales que representan estructuras para hacer frente a los complejos argumentos lógicos.

• LÓGICA SIMBÓLICA

• LENGUAJE FORMAL

• LENGUAJE INFORMAL

• VARIABLES

Se refiere a un lenguaje que utiliza símbolos, mismos que sustituyen las expresiones que hacemos en el lenguaje natural.

• LÓGICA SIMBÓLICA

• LENGUAJE FORMAL

• LENGUAJE INFORMAL

• VARIABLES

Son símbolos que sustituyen las proposiciones o enunciados; se llaman así porque su significado va cambiando en diferentes argumentaciones o expresiones.

• LÓGICA SIMBÓLICA

• LENGUAJE FORMAL

• LENGUAJE INFORMAL

• VARIABLES

Son las partículas de significado no variable que tienen la función de alterar, relacionar o conectar enunciados.

• VARIABLES CONECTIVAS O LÓGICAS

• VARIABLES DE NEGACIÓN

• VARIABLE CONDICIONAL

• VARIABLE BICONDICIONAL

Tipo de variable  que establece una condición que ha de cumplirse para que otra sea verdadera.

• VARIABLES CONECTIVAS O LÓGICAS

• VARIABLES DE NEGACIÓN

• VARIABLE CONDICIONAL

• VARIABLE BICONDICIONAL

Tipo de variables que simbolizan la negativa de cualquier argumento.

• VARIABLES CONECTIVAS O LÓGICAS

• VARIABLES DE NEGACIÓN

• VARIABLE CONDICIONAL

• VARIABLE BICONDICIONAL

Tipo de variables de la forma “P si solo Q” y afirma que el argumento “P” será verdadero cuando “Q” lo sea o viceversa.

• Variables conectivas o lógicas

• Variables de negación

• Variable condicional

• Variable bicondicional

Son los símbolos que representan a las variables.

• 1,2,3,4,5

• p, q, r, s, t, v, x, y, z

•     ¬

•    V

Tipo de proposición que representa la siguiente expresión: pVq

• Negación

• Conjunción

• Disyunción

• Condicional

Tipo de proposición que representa la siguiente expresión: ¬(¬s)

• Negación

• Conjunción

• Disyunción

• Condicional