. ¿Qué es una formalización de argumentos?
Es representar un argumento con símbolos lógicos para analizar su validez de forma clara y precisa.
¿Qué son los conectores lógicos?
Son palabras o símbolos que unen proposiciones y muestran su relación lógica.
¿Cuáles son los tipos de conectores lógicos y su simbología?
Negación (¬ o ~): niega una proposición.
➡ Conjunción (∧): “y”.
➡ Disyunción (∨): “o”.
➡ Condicional (→): “si… entonces”.
➡ Bicondicional (↔): “si y solo si”.
¿Qué son las proposiciones compuestas?
Son oraciones formadas por dos o más proposiciones simples unidas por conectores lógicos.
¿Qué es una premisa?
Es una proposición que sirve como base o punto de partida para una conclusión.
¿Qué es una proposición?
Es una oración que puede ser verdadera o falsa, pero no ambas.
¿Qué es un juicio?
Es la afirmación o negación que hace el pensamiento sobre algo.
¿Qué es una inferencia?
Es el proceso lógico de obtener una conclusión a partir de premisas.
¿Qué es una conclusión?
Es la proposición final que se deduce de las premisas mediante la inferencia.
¿Para qué sirve una tabla de verdad?
Para determinar si una proposición o argumento es verdadero o falso según los valores de sus componentes.
¿Qué relación hay entre conectores lógicos y la formalización de argumentos?
Los conectores permiten expresar las relaciones entre proposiciones al formalizar un argumento.
¿Qué es la simbolización de argumentos?
Es sustituir proposiciones y conectores por símbolos lógicos para analizar la estructura del razonamiento.
