¿Qué tipos de lenguaje artificial existen?

¿Qué elementos debe contener todo lenguaje formal?

¿Qué es la lógica proposicional?

¿Qué es un enunciado atómico?

¿Qué son los enunciados moleculares?

¿Qué son las variables de enunciado?

¿Qué son los conectores en la lógica proposicional?

¿Cuál es el conector más débil en la lógica proposicional?

¿Qué son las tablas de verdad en lógica proposicional?

¿Cuál es uno de los métodos para decidir la validez inferencial en lógica proposicional?

¿Qué es la formalización en lógica proposicional?

¿Qué es la formalización y por qué es importante en la argumentación?

¿Cómo se convierten las proposiciones del lenguaje natural en variables proposicionales en la lógica proposicional?

¿Por qué es importante distinguir las proposiciones y oraciones subordinadas al formalizar enunciados?

Formalice la siguiente argumentación: 'Si los que ya son sabios no buscan la sabiduría y los ignorantes impenitentes tampoco, entonces los que la busquen no serán los sabios ni los ignorantes, sino aquellos que reconocen su propia ignorancia y desean remediarla.'

Formalice la siguiente argumentación: 'Si perseveras en tus decisiones y no cedes al desaliento frente a los obstáculos, entonces comprobarás cómo el éxito te sonríe.'

Formalice la siguiente argumentación: 'Si Frankestein cruza nuestras calles, ha de indicar qué y cuántos fines persigue, y si miente, le daremos con las puertas en las narices, pero si dice la verdad, le invitaremos a cenar.'

Formalice la siguiente argumentación: 'Si el hombre es moral, no está determinado unívocamente por el ambiente y cabe exigirle cuenta de sus elecciones.'

Formalice la siguiente argumentación: 'O la Televisión modifica sus esquemas y renueva su programación o se producirá una huida masiva de telespectadores y veremos las calles inundadas de gente.'

Si Juan es comunista, entonces Juan es ateo. Juan es ateo. Por tanto, Juan

¿Cuál es el método mecánico que nos permite decidir si una fórmula es tautología, contradicción o contingencia?

¿Cuántos pasos se realizan para construir tablas de verdad para una fórmula de lógica de enunciados?

¿Cómo se distribuyen los posibles valores de verdad de las variables en las columnas iniciales al construir tablas de verdad?

¿Qué indica una columna final con valores de verdad V en una tabla de verdad?

¿Qué indica una columna final con valores de verdad F en una tabla de verdad?

¿Qué indica una columna final con valores de verdad V y F indistintamente en una tabla de verdad?

¿Cómo se representa la negación en el lenguaje de enunciados?

¿Cuál es la definición del Negador en lógica proposicional?

¿Cuál es la definición de la conjunción en lógica proposicional?

¿Cuál es la definición de la disyunción inclusiva en lógica proposicional?

¿Cuál es la definición del condicional en lógica proposicional?

¿Cuál es la relación lógica entre 'acierto una quiniela' y 'me haré rico'?

¿Qué significa 'solo si' en una implicación lógica?

¿Cuál es el valor de verdad de una implicación cuando el antecedente es verdadero y el consecuente falso?

¿Qué representa el bicondicional en lógica?

¿Cuál es el valor de verdad de una coimplicación cuando ambos miembros tienen el mismo valor de verdad?

¿Qué es la deducción natural?

¿Cuál es el procedimiento deductivo?

¿Cómo se realiza el cálculo de enunciados en la deducción natural?

¿Cuáles son las reglas básicas de la deducción natural?