2. 1. Parte de la filosofía que estudia las formas y principios
generales que rigen el conocimiento y el pensamiento
humano, considerado puramente en sí mismo, sin
referencia a los objetos.
2. Método o razonamiento en el que las ideas o la sucesión
de los hechos se manifiestan o se desarrollan de forma
coherente y sin que haya contradicciones entre ellas.
3. Modo o manera particular de pensar, de ver, de razonar
o de actuar que se considera coherente, racional o de
sentido común.
3. Discretas : es aquella cuyos medios no son
iguales EJ: 9-7-8-6.
Continua : es la que tiene los medios iguales
EJ: 10-8-8-6.
4. Los conectivos lógicos son símbolos usados para
combinar proposiciones simples dadas,
produciendo así otras llamadas proposiciones
compuestas.
Los conectivos lógicos que usaremos son
negación
disyunción
conjunción
condicionante
bicondicionante
5. Las Proposiciones Condicionales expresan la
condición necesaria para que tenga efecto lo que
indica la oración principal; ésta indica la causa o
efecto de tal condición.
EJEMPLOS:
1.Me alegraría mucho, si me acompañaras.
2.Si quieres, paso por ti a las seis.
3.Te llevaré al baile; si me prometes ser puntual.
4.Si pones atención, aprenderás más pronto.
5.Podría llevar dos materias, si asisto por las
tardes.
6. es una proposición de la forma «P si y solo si Q» y se
admite el bicondicional Sergio es verdadero en el caso de
que ambos componentes tengan el mismo valor vertitativo.
En otras palabras, que si P ocurre entonces también ocurre
Q; y viceversa: si Q ocurre entonces también ocurre P.
Ejemplos:
La primera proposición es correcta, puesto que es
imposible tener el carnet de conducir siendo menor de 18
años. Por tanto, si se tiene el carnet, se tiene que ser
obligatoriamente mayor de edad.
La segunda es incorrecta, puesto que la relación entre
"tener el carnet de conducir" y "ser mayor de edad" no es
bicondicional. Dicho de otro modo: se puede ser mayor de
edad sin tener el carnet de conducir.
7. TAUTOLOGÍA: Una proposición compuesta es una
tautología si es verdadera para todas las asignaciones
de valores de verdad para sus proposiciones
componentes. Dicho de otra forma, su valor V no
depende de los valores de verdad de las
proposiciones que la forman, sino de la forma en que
están establecidas las relaciones sintácticas de unas
con otras.
CONTRADICCIÓN: Se entiende por proposición
contradictoria, o contradicción, aquella proposición
que en todos los casos posibles de su tabla de verdad
su valor siempre es F. Dicho de otra forma, su valor F
no depende de los valores de verdad de las
proposiciones que la forman, sino de la forma en que
están establecidas las relaciones sintácticas de unas
con otras.
8. 1.Ley de doble negación: Dentro de un sistema de lógica
clásica, la doble negación, esto es, la negación de la
negación de una proposición p, es lógicamente equivalente
a p. Expresado simbólicamente, ¬(¬p) ⇔ p. En lógica
intuicionista, una proposición implica su doble negación,
pero no al revés. Esto marca una importante diferencia
entre la negación clásica e intuicionista. Algebraicamente,
la negación clásica es llamada una involución de periodo
dos.
2. Leyes de idempotencia: En matemática y lógica, la
idempotencia es la propiedad para realizar una acción
determinada varias veces y aun así conseguir el mismo
resultado que se obtendría si se realizase una sola vez. Un
elemento que cumple esta propiedad es un elemento
idempotente, o un idempotente. De esta manera, si un
elemento al multiplicarse por sí mismo sucesivas veces da
él mismo, este elemento es idempotente.
9. En matemáticas, una demostración o bien una prueba
es un argumento deductivo para asegurar la verdad
de una proposición matemática. En la argumentación
se pueden usar otras afirmaciones previamente
establecidas, tales como teoremas o bien las
afirmaciones iniciales o axiomas. En principio una
demostración se puede rastrear hasta afirmaciones
generalmente aceptadas, conocidas como axiomas.
Las demostraciones son ejemplos de razonamiento
deductivo y se distinguen de argumentos inductivos o
empíricos; una demostración debe demostrar que una
afirmación es siempre verdadera (ocasionalmente al
listar todos los casos posibles y mostrar que es válida
en cada uno), más que enumerar muchos casos
confirmatorios. Una afirmación no probada que se
cree verdadera se conoce como conjetura.
10. Una tabla de verdad, o tabla de valores de
verdad, es una tabla que muestra el valor de
verdad de una proposición compuesta, para cada
combinación de verdad que se pueda asignar.
Fue desarrollada por Charles Sanders Peirce por
los años 1880, pero el formato más popular es el
que introdujo Ludwig Wittgenstein en su
Tractatus logico-philosophicus, publicado en
1921.