Tarea

Solo disponible en BuenasTareas
  • Páginas : 2 (389 palabras )
  • Descarga(s) : 0
  • Publicado : 3 de noviembre de 2011
Leer documento completo
Vista previa del texto
Centro universitario del norte
Matemática discreta
Alumno: Genaro Talamantes flores
Profesor(a): maría Castañeda grano
Fecha: 03/10/2011

Valor de verdad de una proposición:
Para comenzardebemos tener en cuenta que una proposición es una oración que puede ser verdadera o falsa. Entonces la propiedad que tiene una proposición ( de ser algo sobre lo cual podemos decir “es verdadero” obien”es falso”) es su valor de verdad: las dos evaluaciones son valores de verdad. De modo que el valor de verdad de una proposición es verdad o falsedad.
Clasificación:
Simples o atómicas:
Son lasproposiciones que pueden ser representadas por una sola variable
Compuesta o molecular:
Es la proposición que puede estar formada por dos o más oraciones simples que conforman esta proposiciónComponentes de una proposición:
Sujeto: es la idea con la cual se afirma algo
Verbo: la misma afirmación o negación
Predicado: es lo que se afirma o se niega
Conectivos lógicos:
Son palabras y símbolosque enlazan proposiciones con el fin de construir un lenguaje (verbal o simbólico) más amplio.
Los conectivos lógicos más usuales son:
Símbolo | Nombre | Palabra |
(),[ ] | Agrupación | |¬ | Negación | No , no es cierto, not |
˄ | Conjunción | Y, and |
˅ | Disyunción inclusiva, permite todos los casos. | O, or |
 | Disyunción exclusiva, permite solo uno de todos los casos |O…O, xor |
→ | Si condicional o implicación | Si… entonces |
↔ | Bicondicional o implicación doble | Si y solo si |

Esta simbología es utilizada para hacer mas entendible las proposiciones y demanera que se comprendan mas por medios de los símbolos para decir o declarar si es verdad o es falsedad dicha oración o idea que se plantea
Tablas de verdad:
Es una representación en forma de árboldel valor de una formula en todas las posibles interpretaciones. Además que son un instrumento en la lógica proposicional, para indicar las diferentes interpretaciones de una formula y el...
tracking img