cual se consideran las posibles Proposición lógica: es una expresión que afirma o niega ocurrencias simultaneas. algo (es decir, tiene un valor de verdad el cual puede ser Ejm: verdadero o falso). hace frio o está lloviendo 10 es par o múltiplo de 5 Las proposiciones lógicas se representan mediante letras minúsculas (p,q,r,s…) b.Exclusiva (fuerte)esta disyuntiva excluye la posibilidad de ocurrencia Ejemplo: simultanea de ambas proposiciones p: Lima es una ciudad europea. componentes. r: el rio amazonas pasa por la selva Ejm: O viajas por tierra o por aire. Clases de proposiciones: O es blanco o es negro. - Proposiciones simples o atómicas: Condicional: Son aquellas proposiciones que se Es aquella con un solo significado, carece de relacionan mediante la conjunción conjunciones gramaticales y del adverbio de condicional “si... entonces...” o sus negación expresiones equivalentes. - Proposiciones compuestas: Ejm: Es aquella que tiene dos o más significados Si estudias entonces ingresara. unidas por conjunciones gramaticales o el si llueve entonces me mojare. adverbio de negación. Ejm: Bicondicional: Son aquellas proposiciones que se hoy es miércoles y toca aritmética. relacionan mediante la conjunción compuesta “si y solo no es cierto que el perro ladre. si” o sus expresiones equivalentes. Ejm: Conectivos lógicos: 11 es primo si y solo si tiene 2 Son los términos de enlace entre proposiciones simples, divisores. los más usados son: es un cuadrilátero si y solo si tiene 4 lados.
Negación: Son aquellas expresiones
que hacen uso del adverbio negativo “no” o sus expresiones equivalentes. Ejm: la filosofía no es una ciencia no es posible que existan los extraterrestres
Análisis de las proposiciones compuestas
Conjuntiva: Son aquellas proposiciones que se relacionan
mediante la conjunción gramatical copulativa “y” o sus expresiones equivalentes.
Ejm: Darwin fue biólogo y newton físico 19 es impar y además primo
Disyuntiva: son aquellas
proposiciones que se relacionan mediante la conjunción “o” sus expresiones equivalentes pueden ser: