- Barajar
ActivarDesactivar
- Alphabetizar
ActivarDesactivar
- Frente Primero
ActivarDesactivar
- Ambos lados
ActivarDesactivar
- Leer
ActivarDesactivar
Leyendo...
Cómo estudiar sus tarjetas
Teclas de Derecha/Izquierda: Navegar entre tarjetas.tecla derechatecla izquierda
Teclas Arriba/Abajo: Colvea la carta entre frente y dorso.tecla abajotecla arriba
Tecla H: Muestra pista (3er lado).tecla h
Tecla N: Lea el texto en voz.tecla n
Boton play
Boton play
15 Cartas en este set
- Frente
- Atrás
|
Enunciados simples
|
son frases que pueden ser verdaderas o falsas. Se denotan con letras mayúsculas.
|
|
Enunciados compuestos
|
son un conjunto de enunciados simples unidos por conectivas o nexos de unión.
|
|
Variables de enunciado
|
simbolizan enunciados simples arbitrarios. Toda variable de enunciado puede tomar el valor de verdadero o el valor de falso, uno de los dos. Se denotan con letras minúsculas.
|
|
Forma enunciativa
|
es una expresión en la que intervienen variables de enunciado y conectivas. Se construye utilizando las siguientes reglas:
➢ Cualquier variable de enunciado es una forma enunciativa. ➢ Si A y B son formas enunciativas junto con la negación o la conjunción o la disyunción o el condicional o el bicondicional son formas enunciativas. |
|
Tabla de verdad
|
se trata de una tabla que nos indica el valor que toma dicha forma enunciativa, para cada una de las combinaciones de valores de verdad de las variables de enunciado involucradas.
|
|
Función de verdad
|
son cada uno de los posibles argumentos distintos que intervienen en la forma enunciativa.
|
|
Tautologia
|
una forma enunciativa A es una tautología si siempre toma el valor de verdad V con independencia del valor de verdad de las variables de enunciado que aparecen en ella.
|
|
Contradicción
|
una forma enunciativa A es una contradicción si siempre toma el valor de falso F con independencia del valor de verdad de las variables de enunciado que aparecen en ella.
|
|
Implicación lógica
|
sea A y B dos formas enunciativas, diremos que A implica lógicamente B si la forma enunciativa (A →B) es una tautología.
|
|
Logicamente equivalente
|
diremos que A es lógicamente equivalente a B, si la forma enunciativa (A →B) es una tautología.
|
|
Forma enunciativa restringida
|
llamaremos forma normal restringida a una forma enunciativa en la que solo aparecen las conectivas de la negación, la conjunción y la disyunción.
|
|
Forma normal disyuntiva
|
Toda forma enunciativa que no es una contradicción es lógicamente equivalente a una forma normal restringida de la forma donde cada Qij es una variable de enunciado o la negación de una variable de enunciado. Para obtenerlos nos fijamos en los Verdaderos de la tabla de verdad. Son conjunciones básicas.
|
|
Forma normal conjuntiva
|
toda forma enunciativa que no es una tautología es lógicamente equivalente a una forma enunciativa restringida de la forma donde cada Qij es una variable de enunciado o la negación de una variable de enunciado. Para obtenerlos nos fijamos en los Falso de la tabla de verdad. Son disyunciones básicas.
|
|
Forma argumentativa
|
se forma a partir de cualquier sucesión finita de formas enunciativas, de las cuales la última es la conclusión y las restantes son las premisas.
➢ Una forma argumentativa es invalida si es posible encontrar al menos una combinación de valores de verdad de las variables de enunciado que intervienen en dicha forma argumentativa, de manera que cada una de las premisas toman el valor de verdad V y la conclusión toma el valor de F. en caso contrario, se dice que la forma argumentativa es Válida. |
|
Método de refutación
|
consiste en buscar una combinación de valores de verdad para las variables que intervienen en esta argumentación, de manera que todas las premisas tomen el valor de V y la conclusión tome el valor de verdad F.
|
