Este es el trabajo realizado para el tema dos de filosofía ( Lógica )

Enlace

también dejo el glosario dado :

TODAS

A

Argumento Conjunto de enunciados donde se deduce una conclusión a partir de un punto de partida, que denominamos 'premisas'.

B

Bicondicional El signo que representa o simboliza la expresión 'Si y sólo si... entonces' del lenguaje natural es ↔ La tabla de verdad que considera todas sus posiblidades tiene en cuenta que sólo es veradero cuando antedente y consecuente tienen el mismo valor de verdad (verdaderos o falsos)

C

Condicional La expresión que simboliza el condicional 'Si ... entonces... ' del lenguaje natural es → La tabla de verdad del condicional indica que sólo será falso cuando el antecedente sea verdadero y el consecuente sea falso. En el resto de los casos se asume como verdadero.

Conjunción La expresión que simboliza la conjunción 'y' del lenguaje natural es mediante el símbolo Λ La tabla de verdad de la conjunción representa todos los casos posibles de verdad y falsedad para dos o más enunciados. La regla general es que será verdadera una conjunción cuando todos miembros sean verdaderos

Consistencia Nombre que recibe una fórmula cuando, en su resultado final, obtenemos un número indeterminado de casos verdaderos y falsos

D

Disyunción La expresión que simboliza la disyunción del lenguaje natural (o) es V Su tabla de verdad indica que una disyunción será verdadera cuando al menos uno de sus miembros sea verdadero

E

Enunciado Enunciado

L

Lenguaje artificial Lenguaje que no es usado habitualmente por ninguna comunidad de hablantes. Ha sido creado por convenio en momentos concretos dentro de una comunidad científica. Es concreto.

Lenguaje Natural Lenguaje utilizado de forma habitual por una comunidad de hablantes. Se aprende de forma natural a lo largo del tiempo. No tiene una fecha de creación concreta, es ambiguo.

Lógica Ciencia que estudia los principios de inferencia o deducción formalmente válidos. Formalmente significa que no depende del contenido sino que un argumento es válido por su estructura. Válido significa que se deduce lógicamente, con independencia de que sea algo verdadero o falso.

N

Negación La forma de simbolizar o representar una negación del lenguaje natural es mediante el signo ¬ La tabla de verdad de la negación supone cambiar los valores v por f y viceversa.

R

Reglas de orden entre signos lógicos Cuando tenemos una negación y una conjunción en una tabla de verdad, primero hacemos la negación Cuando tenemos una disyunción y una negación en una tabla de verdad, primero hacemos la negación En una tabla de verdad siempre se hace primero lo que está dentro del paréntesis Cuando tenemos una negación y un condicional se hace primero la negación Cuando tenemos una conjunción y condicional, se hace primero la conjunción Cuando tenemos una disyunción y un condicional, se hace primero la disyunción Cuando tenemos un bicondicional y una conjunción o disyunción,  se hace primero l a conjunción o la disyunción

T

Tabla de verdad Es una tabla que organiza de forma gráfica las posibilidades de verdad o falsedad que pueden tener uno o más enunciados. El número de posibilidades se halla mediante la fórmula 2n donde n es el número de variables o enunciados.

Tautología Tautología: es el nombre que recibe una fórmula lógica cuando obtenemos, en su resultado final, todo verdadero.

V

Variables Es el nombre que reciben las letras que simbolizan cada uno de los enunciados declarativos (afirmativos o negativos) que podemos encontrar en el lenguaje natural