~DISYUNCIÓN: Se representan dos enunciados separadas por la expresión o basta con que una sea verdadera para que se cumpla la proposición (pvq). Su símbolo es: V
EJEMPLOS: Está lloviendo o es de noche. Está feliz o está enojado. Está caminando o está lloviendo. Hay derivadas o hay integrales.
~CONJUNCIÓN: Es cuando dos proposiciones simples se combinan mediante la expresión y , la proposición compuesta resultante se le llama conjunción (pΛq). Su símbolo es: Λ, &, ·
EJEMPLOS: La puerta está vieja y oxidada. Hace frío y está nevando. Está lloviendo y es de noche.
Tiene gasolina y tiene corriente.
~NEGACIÓN: Si p es una proposición fundamental, de ésta se puede formar otra proposición, que se le llama Negación de p, escribiendo: “Es falso que” antes de p, ó, cuando es posible, se inserta en p la palabra “No”, (¬p) Su símbolo es: ¬, ~
EJEMPLOS: No está lloviendo. La señora no ceno. Es falso que 5×2=12. Es falso que Alemania se encuentra en Europa.
~CONDICIONAL: Es aquella proposición compleja cuya conectiva dominante es el condicional, es decir, aquella expresión apofánatica que tiene la forma p → q, y que se lee “si p, entonces q” o bien “p es condición suficiente de q”, donde A es el antecedente y B el consecuente. Su símbolo es: →
EJEMPLOS: Si está dormido entonces está soñando. Si quiere comer entonces tiene hambre. Si Londres está en Inglaterra entonces París está en Francia. Si hay gasolina en mi tanque entonces mi automóvil funciona.
~BICONDICIONAL: También llamado equivalencia o implicación doble, es una proposición de la forma “P si y sólo si Q”, en la cual tanto P como Q son ambas ciertas o ambas falsas. También se dice que Q es una condición necesaria y suficiente para P, (p↔q). Su símbolo es: ↔, ≡
EJEMPLOS: Esta completo si y solo si tienes todas las actividades. Saldrás si y solo si acabaste tu tarea. Está lloviendo si y solo si está nublado. 3+2=5 si y solo si 4+4=8
<<Proposiciones Compuestas.- También denominadas moleculares. Son aquellas que están formadas por dos o más proposiciones simples unidas por los operadores lógicos. Ejemplo:
Fui al banco, pero el banco estaba cerrado.
Los lectores de este libro son jóvenes o universitarios.
Si el miércoles próximo me saco la lotería entonces te regalaré un auto
Conjunción
Cuando dos proposiciones simples se combinan mediante la palabra « y » , la proposición compuesta resultante se le llama conjunción .
Para la conjunción usaremos el símbolo lógico ^.
De esta manera, se tiene que la nueva proposición p ^ q se llama conjunción de « p y q ».
p | q | p ^ q |
V | V | V |
V | F | F |
F | V | F |
F | F | F |
|
Disyunción
Se emplea la palabra «o» en el sentido inclusivo, como el y/o. Entonces una proposición del tipo «p o q» se toma siempre como «p o q ó ambas». Dado esto admitimos la frase compuesta como una proposición.
Simbólicamente la denotaremos escribiendo p v q .
A esta nueva proposición compuesta se le llama Disyunción, de modo que la proposición p v q se llama disyunción de p y q.
p | q | p v q |
V | V | V |
V | F | V |
F | V | V |
F | F | F |
|
Negación
Si p es una proposición fundamental, de ésta se puede formar otra proposición, que se le llama Negación de p, escribiendo: «Es falso que» antes de p, ó, cuando es posible, se inserta en p la palabra «No».
Si p es verdadero, entonces ~p es falso; si p es falso, entonces ~p es verdadero. Es decir el valor de verdad de la negación de una proposición fundamental es siempre opuesto del valor de verdad de la proposición.
Enviado por tonalmith, nov 2011 | 3 Páginas (714 Palabras) | 869 Visitas
|
Denunciar
|
Registrarse para
acceso completo a ensayos
Lógica matemática
De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda
La lógica matemática es una parte de la lógica y las matemáticas, que consiste en el estudio matemático de la lógica y en la aplicación de este estudio a otras áreas de las matemáticas. La lógica matemática tiene estrechas conexiones con la ciencias de la computación y la lógica filosófica.
La lógica matemática estudia los sistemas formales en relación con el modo en el que codifican nociones intuitivas de objetos matemáticos como conjuntos, números, demostraciones y computación.
La lógica matemática suele dividirse en cuatro subcampos: teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de la recursión
Lógica proposicional
De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda
En lógica, la lógica proposicional es un sistema formal diseñado para analizar ciertos tipos de argumentos. En lógica proposicional, las fórmulas representan proposiciones y las conectivas lógicas son operaciones sobre dichas fórmulas, capaces de formar otras fórmulas de mayor complejidad.1 Como otros sistemas lógicos, la lógica proposicional intenta esclarecer nuestra comprensión de la noción de consecuencia lógica para el rango de argumentos que analiza.
Introducción
Considérese el siguiente argumento:
1. Mañana es miércoles o mañana es jueves.
2. Mañana no es jueves.
3. Por lo tanto, mañana es miércoles.
Es un argumento válido. Quiere decir que es imposible que las premisas sean verdaderas y la conclusión falsa. Esto no quiere decir que la conclusión sea verdadera. Si las premisas son falsas, entonces la conclusión también podría serlo. Pero si las premisas son verdaderas, entonces la conclusión también lo es. La validez de este argumento no se debe al significado de las expresiones «mañana es miércoles» y «mañana es jueves», porque éstas podrían cambiarse por otras y el argumento permanecer válido. Por ejemplo:
Answers & Comments
Verified answer
Hola
<<Proposiciones Compuestas
~DISYUNCIÓN: Se representan dos enunciados separadas por la expresión o basta con que una sea verdadera para que se cumpla la proposición (pvq). Su símbolo es: V
EJEMPLOS: Está lloviendo o es de noche. Está feliz o está enojado. Está caminando o está lloviendo. Hay derivadas o hay integrales.
~CONJUNCIÓN: Es cuando dos proposiciones simples se combinan mediante la expresión y , la proposición compuesta resultante se le llama conjunción (pΛq). Su símbolo es: Λ, &, ·
EJEMPLOS: La puerta está vieja y oxidada. Hace frío y está nevando. Está lloviendo y es de noche.
Tiene gasolina y tiene corriente.
~NEGACIÓN: Si p es una proposición fundamental, de ésta se puede formar otra proposición, que se le llama Negación de p, escribiendo: “Es falso que” antes de p, ó, cuando es posible, se inserta en p la palabra “No”, (¬p) Su símbolo es: ¬, ~
EJEMPLOS: No está lloviendo. La señora no ceno. Es falso que 5×2=12. Es falso que Alemania se encuentra en Europa.
~CONDICIONAL: Es aquella proposición compleja cuya conectiva dominante es el condicional, es decir, aquella expresión apofánatica que tiene la forma p → q, y que se lee “si p, entonces q” o bien “p es condición suficiente de q”, donde A es el antecedente y B el consecuente. Su símbolo es: →
EJEMPLOS: Si está dormido entonces está soñando. Si quiere comer entonces tiene hambre. Si Londres está en Inglaterra entonces París está en Francia. Si hay gasolina en mi tanque entonces mi automóvil funciona.
~BICONDICIONAL: También llamado equivalencia o implicación doble, es una proposición de la forma “P si y sólo si Q”, en la cual tanto P como Q son ambas ciertas o ambas falsas. También se dice que Q es una condición necesaria y suficiente para P, (p↔q). Su símbolo es: ↔, ≡
EJEMPLOS: Esta completo si y solo si tienes todas las actividades. Saldrás si y solo si acabaste tu tarea. Está lloviendo si y solo si está nublado. 3+2=5 si y solo si 4+4=8
fuente: http://angelarendon.wordpress.com/2011/10/20/3-1-2...
----------
<<Proposiciones Compuestas.- También denominadas moleculares. Son aquellas que están formadas por dos o más proposiciones simples unidas por los operadores lógicos. Ejemplo:
Fui al banco, pero el banco estaba cerrado.
Los lectores de este libro son jóvenes o universitarios.
Si el miércoles próximo me saco la lotería entonces te regalaré un auto
Conjunción
Cuando dos proposiciones simples se combinan mediante la palabra « y » , la proposición compuesta resultante se le llama conjunción .
Para la conjunción usaremos el símbolo lógico ^.
De esta manera, se tiene que la nueva proposición p ^ q se llama conjunción de « p y q ».
p | q | p ^ q |
V | V | V |
V | F | F |
F | V | F |
F | F | F |
|
Disyunción
Se emplea la palabra «o» en el sentido inclusivo, como el y/o. Entonces una proposición del tipo «p o q» se toma siempre como «p o q ó ambas». Dado esto admitimos la frase compuesta como una proposición.
Simbólicamente la denotaremos escribiendo p v q .
A esta nueva proposición compuesta se le llama Disyunción, de modo que la proposición p v q se llama disyunción de p y q.
p | q | p v q |
V | V | V |
V | F | V |
F | V | V |
F | F | F |
|
Negación
Si p es una proposición fundamental, de ésta se puede formar otra proposición, que se le llama Negación de p, escribiendo: «Es falso que» antes de p, ó, cuando es posible, se inserta en p la palabra «No».
Si p es verdadero, entonces ~p es falso; si p es falso, entonces ~p es verdadero. Es decir el valor de verdad de la negación de una proposición fundamental es siempre opuesto del valor de verdad de la proposición.
p | ~p |
V | F |
F | V |
|
(...)>>
fuente: http://www.buenastareas.com/ensayos/Proposiciones-...
Más información en:
http://matediscretasu3.wordpress.com/2011/10/16/3-...
http://www.angelfire.com/vamp/mily/trabajo.htm
hermosa...
lol no lo seee jajajaja como te fue?
hola
Proposiciones Compuestas
Enviado por tonalmith, nov 2011 | 3 Páginas (714 Palabras) | 869 Visitas
|
Denunciar
|
Registrarse para
acceso completo a ensayos
Lógica matemática
De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda
La lógica matemática es una parte de la lógica y las matemáticas, que consiste en el estudio matemático de la lógica y en la aplicación de este estudio a otras áreas de las matemáticas. La lógica matemática tiene estrechas conexiones con la ciencias de la computación y la lógica filosófica.
La lógica matemática estudia los sistemas formales en relación con el modo en el que codifican nociones intuitivas de objetos matemáticos como conjuntos, números, demostraciones y computación.
La lógica matemática suele dividirse en cuatro subcampos: teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de la recursión
Lógica proposicional
De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda
En lógica, la lógica proposicional es un sistema formal diseñado para analizar ciertos tipos de argumentos. En lógica proposicional, las fórmulas representan proposiciones y las conectivas lógicas son operaciones sobre dichas fórmulas, capaces de formar otras fórmulas de mayor complejidad.1 Como otros sistemas lógicos, la lógica proposicional intenta esclarecer nuestra comprensión de la noción de consecuencia lógica para el rango de argumentos que analiza.
Introducción
Considérese el siguiente argumento:
1. Mañana es miércoles o mañana es jueves.
2. Mañana no es jueves.
3. Por lo tanto, mañana es miércoles.
Es un argumento válido. Quiere decir que es imposible que las premisas sean verdaderas y la conclusión falsa. Esto no quiere decir que la conclusión sea verdadera. Si las premisas son falsas, entonces la conclusión también podría serlo. Pero si las premisas son verdaderas, entonces la conclusión también lo es. La validez de este argumento no se debe al significado de las expresiones «mañana es miércoles» y «mañana es jueves», porque éstas podrían cambiarse por otras y el argumento permanecer válido. Por ejemplo:
1. Está soleado o está nublado.
2. No... [continua]
Hola!! mira... segun lo que yo conozco es esto... te paso el link...
http://www.sepi.upiicsa.ipn.mx/sab/rfinsab_jtz.pdf
Espero te sea util!!...
Sino.. deberias probar de relacionarlo con la filosofia... abrazos