Proposición

Matemticas
Tarea
deDiscretas.
repaso e
Primer semestre
investigacin
Luf Maestra: ISC.
Karina De la Cruz Flores
Alumno: Jess David
Carlos Barboza
Matrcula: 2015 -10
Ingeniera en Sistemas
Computacionales.
De los recursos que se encuentran en la unidad realizar o contestar los puntos

siguientes:
1. Concepto de proposicin.
Es una oracin, frase o expresin matemtica que puede ser falsa o verdadera,
pero no ambas a la vez. La proposicin es un elemento fundamental de la lgica
matemtica.
2. Elaborar un esquema (mapa conceptual, cuadro sinptico, etc.) con
los tipos de conectores u operadores lgicos, que contenga para que
se utiliza cada uno, su representacin y tabla de verdad.
3. Qu es la proposicin condicional y bicondicional?

Proposicin condicional
Es aquella que est formada por dos
Proposicin bicondicional
Es cuando una proposicin es
proposiciones simples (o
verdadera si y slo si la otra lo es,
compuestas), y que se indica de la
ejemplo:
siguiente manera:
Sean p y q dos proposiciones, entonces
se puede indicar la proposicin
Se lee si p entonces q
bicondicional de la siguiente forma:

p
q.
Esto se lee como si p si slo q en

donde la proposicin que representa el
enunciado es verdadera si p es
verdadera si y slo si q tambin lo es.
4. Para qu se utilizan las tablas de verdad?

Para poder mostrar los resultados obtenidos al aplicar cada uno de los operadores
lgicos, as como el resultado de la proposicin para todos y cada uno de los
valores que pueden tener las diferentes proposiciones simples que integran una
proposicin compuesta.
5. Explica la tautologa.
Es la proposicin compuesta que es cierta para todos sus valores, por ejemplo:
leyes, teoremas o para inferir resultados de proposiciones desconocidas.
6. Explica la contradiccin.
Se le llama tambin absurdo y esto se da si al evaluar la proposicin el resultado
es falso, para todos los valores de verdad.
7. Explica la contingencia.
Es una proposicin compuesta cuyos valores, en sus diferentes lneas de la tabla

de verdad, dan como resultados unos y ceros.
8. Qu son las reglas de inferencia?
Son los argumentos basados en tautologas y representan mtodos de
razonamiento universales correctos, dichos argumentos permiten relacionar dos o
ms proposiciones para obtener una tercera que es vlida en una demostracin.
9. Cundo se dice que hay equivalencia lgica?
Cuando coinciden en sus para los mismos valores de verdad, y se indican como
p q o bien p q
10. Qu es un argumento? Y Cules son los tipos que hay?
ARGUMENTO
(DEFINICIN)
Consiste en una o ms
TIPOS DE ARGUMENTO
DEDUCTIVOS
DEFINICIN
Se va de lo general a lo
hiptesis y una
particular, se trata de un
conclusin, de forma que
procedimiento que parte
la conclusin se apoye
de un teorema que est
en las hiptesis, se
formulado por hiptesis y
puede considerar
una conclusin.
tambin como una serie
Un argumento deductivo
de proposiciones
valido se define como
interrelacionadas que
aquel que siendo sus
conforma una proposicin
hiptesis ciertas, la
ms compleja, a la cual
conclusin tambin lo es.
se le llama teorema.
PQ
INDUCTIVO
Se va de lo particular a lo
general, se puede decir
que es el conjunto de
observaciones y datos
cuya tendencia permite

visualizar o generalizar el
comportamiento de un
evento.
11. Qu es la lgica de predicados?

Se basa en que las proposiciones son conjuntos de elementos que tienen una
propiedad o caracterstica llamada predicado, y en este contexto una proposicin
puede ser verdadera para un grupo de elementos de un conjunto, pero falsa para
otro.
12. Como se representan los conceptos todos y algunos.
= Para todos o todo
= Existe alguno, algunos o al menos un elemento
13. Un ejemplo de lgica de predicados.
U= {z|z es una persona}
A= {x|x es un artista}
B= {y|y es un poltico}
AByBU
p: son ricos
q: son corruptos
r: son ricos y corruptos
z p(z): Todas las personas son ricas
x p(x): Todos los artistas son ricos
y p(y): Todos los polticos son ricos

x q(x): Todos los artistas son corruptos
y q(y): Todos los polticos son corruptos.
z q(z): Algunas personas son corruptas
x p(x): Algunos artistas son ricos
y p(y): Algunos polticos son ricos
x q(x): Algunos artistas son corruptos
y q(y): Algunos polticos son corruptos
z r(z): Todas las personas son ricas y corruptas
x r(x): Todos los artistas son ricos y corruptos
y r(y): Algunos polticos son ricos y corruptos.
z r(z): Todas las personas son ricas y corruptas
x r(x): Todos los artistas son ricos y corruptos
y r(y): Algunos polticos son ricos y corruptos
x y r(x,y): Todos los artstias y todos los polticos son ricos y corruptos.
x y r(x,Y) Algunos artistas y todos los polticos son ricos y corruptos.
14. Qu es la induccin matemtica?
Es un mtodo de demostracin que se utiliza cuando se trata de establecer la
veracidad de una lista infinita de proposiciones.
15. Un concepto breve de algebra declarativa y su relacin con las

ciencias computacionales.
Lo que algunos llaman lgebra declarativa no es ms que el lgebra
proposicional, o la estructura algebraica est formada por expresiones que utilizan
la lgica conectivas.
Su uso es fundamental a varios niveles: en los circuitos computacionales, en la
programacin lgica y en el anlisis y optimizacin (de recursos temporales y
espaciales) de algoritmos.
Todo sistema computacional, por muy complejo que sea, no est compuesto por
ms que circuitos electrnicos que nicamente entienden un lenguaje binario. La
lgica computacional se encarga de modelar y optimizar tales sistemas a este
nivel.

Proposición

Cargado por

Copyright:

Formatos disponibles

Proposición

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Proposición

Cargado por

Copyright:

Formatos disponibles

Matemticas

De los recursos que se encuentran en la unidad realizar o contestar los puntos

3. Qu es la proposicin condicional y bicondicional?

verdadera si y slo si la otra lo es,

compuestas), y que se indica de la

Sean p y q dos proposiciones, entonces

se puede indicar la proposicin

bicondicional de la siguiente forma:

Esto se lee como si p si slo q en

4. Para qu se utilizan las tablas de verdad?

Es una proposicin compuesta cuyos valores, en sus diferentes lneas de la tabla

conclusin, de forma que

procedimiento que parte

de un teorema que est

formulado por hiptesis y

tambin como una serie

valido se define como

aquel que siendo sus

conforma una proposicin

conclusin tambin lo es.

cuya tendencia permite

11. Qu es la lgica de predicados?

y p(y): Todos los polticos son ricos

15. Un concepto breve de algebra declarativa y su relacin con las

También podría gustarte