Led 1er Parcial | 1

Disciplina que estudia los métodos de razonamiento y tiene como objetivo

• ELIMINAR AMBIGÜEDAD DEL LENGUAJE NATURAL (se usa un vocabulario lógico preciso, definido por proposiciones simples, sus operaciones y las propiedades)

• DETERMINAR REGLAS QUE DETERMINEN LA VALIDEZ DE RAZONAMIENTOS (conceptos de consecuencia, equivalencia, razonamiento deductivo y reglas de inferencia para obtener nuevas deducidas de otras verdades)

Oración declarativa de la cual se puede conocerse si es verdadera o falsa.

solo puede ser Verdadera o Falsa

Proposición es idéntica a sí misma y sólo a sí misma.

si tenemos dos proposiciones contradictorias entre sí, no pueden ser verdad las dos.

Dadas dos proposiciones contradictorias entre sí, no pueden ser ambas falsas

Verdades autoevidentes en lógicas que no pueden ser demostrados y se consideran verdaderos. Verdad dada como tal, "los números son infinitos"

Afirmaciones simples de las que se puede saber si son V o F. Se nombran con letras minúsculas.

Prop. simples combinadas utilizando conectivos lingüísticos para armar oraciones más complicadas que también puede ser V o F. Se nombran con letra mayúscula P, Q, R, S.

Valores de una proposición, la cantidad de Fila es 2 elevado al número de proposiciones.

Negación, Conjunción, Disyunción, Disyunción Exclusiva, Condicional Simple y Condicional Doble

Tautología: Proposición compuesta que siempre es verdadera.

Contradicción: Compuesta que siempre es falsa.

Contingencia: proposición compuesta que es V o F según sean los valores de verdad de las proposiciones simples que la forman.

Satisfacible: si es verdad para alguna combinación de valores de verdad de las proposiciones simples que la forman

Disyunción: solo Falsa si ambas proposiciones son F.

Disyunción Exclusiva: solo Falsa cuando ambas proposiciones tienen el mismo valor.

Recíproca: si se invierten los roles ej p -> q, entonces q -> p es la recíproca.

Contrario: -p -> -q, es la contraria de p->q.

Contrarrecíproca: -q -> -p. la contrarrecíproca de p -> q.

se mira las líneas de la tabla de la verdad donde la función es V, hay que crear la conjunción en la que se colocan los valores V y si es F se hace el complemento (la contraria) de la proposición para volverla V. Repetir los pasos, hay que escribir la proposición como la disyunción de todos los minterm. DISYUNCIÓN DE CONJUNCIONES.

conjunción que se crea para encontrar la FND. Mínima de valores verdaderos.

CONJUNCIÓN DE DISYUNCIONES. Se observan las F

Propiedad matemática de la que goza la lógica. Al intercambiar disyunción y conjunción, tautología y contradicción, y V y F, en cualquier enunciado, teorema, algoritmo, propiedad o procedimiento se obtiene un análogo.

cuando los componentes de las proposiciones tienen el mismo valor, las tablas de Verdad van a ser equivalentes cuando tenga mismo valor aunque sean distintas. La implicación Doble entre ambas proposiciones tiene que dar tautología. Y para eso se utilizan las leyes lógicas.

Solo son equivalencias que se verifican entre proposiciones compuestas obtenidas utilizando esas operaciones. Son teoremas que se pueden demostrar sencillamente construyendo las tablas de verdad de las proposiciones. Son infinitas equivalencias que pueden formularse. No son ni principios ni definiciones.

Cuando la combinación de valores de valores de las proposiciones simples que componen la primera proposición resulta que la otra proposición es verdad, es decir que P => Q todo lo de P es V y Q también es V, tiene que haber una tautología. Es la base de razonamientos. Si cada vez que P es verdadera, Q lo es entonces es una implicación lógica.

La verdad de Q (conclusión) deduce la verdad de las premisas y si cada vez que las premisas son verdaderas simultáneamente resulta que la conclusión también lo es.

Proposiciones lógicas P1, P2,...,Pn.

Cuando la verdad de las premisas es evidencia de la verdad de la conclusión.

Forma de enlazar la conjunción de las premisas y la conclusión, usando una implicación lógica.

Se da cuando todas las premisas son verdaderas al mismo tiempo y la conjunción de todas ellas es verdaderas.

Modus Ponens/Ley de Separación: modo que afirma negando P o Q, no P por tanto Q.

Modus Tollens/Ley de Contraposición: se puede negar si el antecedente de un condicional si se niega su consecuente

Silogismo Hipotético/Transitividad de ->: si p implica q y q implica r, entonces p implica r.

Proposición interesante dentro de una teoría cuya verdad puede ser probada usando equivalencia lógica, consecuencias lógicas o razonamientos deductivos.

proceso por el cual se prueba la verdad del teorema.

Teorema no muy interesante que es una propiedad que sirve para demostrar un teorema interesante.

Teorema que se deriva trivialmente de otro teorema recientemente demostrado.

Relación entre proposiciones, sólo puede ser válida o inválida.

Oración declarativa que asigna alguna propiedad F al objeto indeterminado x y que se convierte en proposición lógica al especificar el valor de x. Es decir, asigna una propiedad P (el predicado) a objetos indeterminados x1, x2, xn y estos se transforman en proposición lógica al especificar esos objetos.

Se da cuando una proposición lógica se transforma en función lógica por asignación de valores específicos a cada variable interviniente.

Predicado: característica que le asignamos a la proposición.

Variable: toma valores de algún conjunto de posibles valores.

Le da sentido a la oración, es la colección de valores que pueden reemplazar a las variables Xn, transforma en proposición lógica que sea V o F.

Asignar un valor específico a la variable x de entre los posibles valores que se encuentran en el dominio.