Matematica 2
Nombre: claudia Garo Tomas
Matricula: 219-6993
Definiciones
1. Logica formal: la podemos definir como la disciplina filosófica que tiene como objeto
de estudio los principios y métodos que se emplean para distinguir o diferenciar el
razonamiento correcto del incorrecto. Su Objeto Material es la estructura del
pensamiento en sus tres formas: concepto, juicio y razonamiento.
2. Logica aplicada: es en la cual un proceso de raciocinio o de pensamiento se analiza
en consideración al contenido real de sus premisas y que por lo tanto debe llevar a una
conclusión que sea concordante con la realidad.
3. Logica matematica o simbolica: La lógica matemática, también llamada lógica
simbólica, lógica teorética, lógica formal o logística, es el estudio formal y simbólico de
la lógica, y su aplicación a algunas áreas de la matemática y la ciencia.
4. Enunciado: es el significado de cualquier frase declarativa (o
enunciativa) que pueda ser o verdadera (V) o falsa (F). Nos referimos a
V o a F como los valores de verdad del enunciado.
5. Propocision y ejemplos: Una proposición matemática es una expresión
algebraica que puede acarrear dos valores: ser verdadera o ser falsa, aunque nunca
ambas a la vez. Denominadas a través de letras minúsculas, las proposiciones
matemáticas tienen un valor de verdad (que será la veracidad o la falsedad de su
enunciado). Ejemplo el ser humano es inteligente, 2+3 es 5; la vaca es negra; 2+4x= -
2; si 2+3 es 5 entonces 2+4x= -2.
6. Forma ovariable proporsicionales: En lógica matemática, una variable
proposicional (también llamada variable sentencial o letra sentencial) es
una variable discreta que puede ser verdadera o falsa. ... Por ejemplo, en una
lógica proposicional dada, se podría definir una fórmula de la siguiente manera:
Cada variable proposicional es una fórmula.
7. Valor de una proporsicion: En lógica, un valor de verdad es un valor que indica en
qué medida una declaración es verdad. En lógica clásica bivalente los valores de verdad
sólo son dos, usualmente designamos verdadero y falso.
8. Conectivos logicos, describelos: negacion, disyunción, conjunción, condicional y
bicondicional.
A continuación se da una tabla en la que se da la expresión gramatical y el nombre del
conectivo que representa:
9. Proposiciones simples, ejemplos: las proposciones simples o atomicas son
aquellas que carecen de significado y no tienen conectivos logicos. Como por ejemplo.
La ballena es roja
La raiz cuadrada de 16 es 4
Teresa va a la escuela.
10. Proposiciones compuestas, ejemplos: en estas proposiciones tiene uno o mas
significado y tienen un conector logico.
Maria habla ingles y español
Gustavo se casa o termina su noviazgo
Teresa va a la escuela o maria no es inteligente.
11. Clasificacion de las proposiciones compuestas: estas se clasifican en
disyuncion, condicional, negacion y biocondicional.
12. La negacion, definicion y su tabla de verdad: define la negación de p como la
proposición p¬ que es verdadera cuando p es falsa y que es falsa cuando p es verdadera. Se lee
"no p". A partir de una o varias proposiciones elementales se pueden efectuar diversas
operaciones lógicas para construir nuevas proposiciones; en este caso, se necesita conocer su
valor de verdad o falsedad en función de los valores de las proposiciones de que secomponen,
lo cual se realiza a través de las tablas de verdad de dichas operaciones. La tabla deverdad de la
negación es la siguiente:
Ejemplo 1: Si p simboliza la proposición estamos en la clase de álgebra, entonces ¬p es no
estamos en la clase de álgebra.
Ejemplo 2: Consideremos la proposición p: “10 es múltiplo de 5”. Entonces el valor de p es (V).
Su negación dese ser una proposición que es falsa siempre que p sea verdadera, por lo tanto ¬
p debe expresar exactamente lo contrario a lo que expresa p.
Ejemplo 3: Consideremos la proposición q: “Todoslos perros son blancos”. No debe confundirse
la negación con decir algo diferente, por ejemplo… r:”Algunos perros son blancos”. La
proposición r no es la negación de q, puesto que si q es verdadera también r lo es. Si decimos s:
“Ningún perro es blanco”, tampoco es la negación de q, puesto que si existiera un único perro
de color blanco y los demás fueran marrones, entonces tanto q como s, serían proposiciones
falsas.
La negación de q puede ser enunciada de la siguiente manera:
¬q: “Algunos perros no son blancos”. Así, si q es verdadera, claramente ¬q es falsa, mientras
que si ¬q es verdadera, resulta ser falsa q.
13. La conjuncion definirla y su tabla de verdad: Es aquella proposición que es verdadera
cuando p y q son verdaderas, y falsa en cualquier otro caso. Se escribe p ∧ q, y se lee "p y q". Así por
ejemplo, la proposición compuesta Palmira tiene montañas y ríos es verdadera porque cada parte de la
conjunción es verdadera. No ocurre lo mismo con la proposición Palmira tiene montañas y tiene mar. Esta
proposición es falsa porque Palmira no tiene mar.
Gato es un ave”, entonces p ∧ q expresa “algunas
Ejemplo: Si p es “algunas aves vuelan” y q es “el
Aves vuelan y el gato es un ave”, que es
Otro lado la proposición p ∧ ¬ q que dice “algunas
Obviamente falsa pues los gatos no son aves. Por
Aves vuelan y el gato no es un ave” es verdadero
Pues es la conjunción de las proposiciones
Verdaderas.
14. la disyuncion definirla y su tabla de verdad : Es aquella proposición que es
verdadera cuando al menos una de las dos p o q es verdadera, y falsa en caso contrario. Se
escribe p v q, y se lee "p o q". La disyunción de dos proposiciones puede ser de dos tipos:
Exclusiva o excluyente e inclusiva o incluyente. La exclusiva es aquella proposición que es
Se escribe p ⊻ q, y se lee "p o q pero no ambas". Se usa muy poco.
verdadera cuando una y sólo una de las dos p o q es verdadera, y falsa en cualquier otro caso.
La disyunción de tipo inclusivo entre dos proposiciones es falsa sólo si ambas proposiciones son
falsas. En el lenguaje coloquial y en matemática es más frecuente el uso de la disyunción
inclusiva, también llamada el “o inclusivo”. A veces el contexto de una frase indica si la
disyunción es excluyente o incluyente.
Ejemplo: “Los alumnos regularizan la materia si prueban tres parciales o si aprueban o si
aprueban dos parciales y tienen un 80% de asistencia”.eneste caso, los alumnos pueden
cumplir cualquiera de los dos requisitos, o también cumplir los dos. Pero or ejemplo, si en un
restaurante con menú fijo se os dice que tenemos como postre “helado o flan”normalmente no
significa que podamos pedir ambos, siendo en este caso la disyunción exclusiva.
15. la condicional definirla y su tabla de verdad : Es aquella proposición que es falsa
escribe p ⇒ q, y se lee "si p entonces q".
únicamente cuando la condición suficiente p es verdadera y la condición necesaria q es falsa. Se
16. la biocondicional definirla y su tabla de verdad: Es aquella proposición que es
⇔ q, y se lee "si y sólo si p entonces q".
verdadera cuando p y q tienen el mismo valor de verdad, y falsa en caso contrario. Se escribe p