You are on page 1of 10

MATEMATICAS BASICAS

CLASE 1 -2014
Lógica
Conceptos básicos

demostraciones . números. .Matemáticas básicas • Conceptos básicos: • La lógica matemática es una disciplina que emplea el lenguaje de las matemáticas Como un lenguaje formal para definir nociones intuitivas de objetos matemáticos como conjuntos . y que estudia métodos de razonamiento que permiten determinar la validez de argumentos.

MATEMATICAS BASICAS • Proposición: cualquier afirmación que sea verdadera o falsa pero no ambas a la vez: • Ej: El verde es un color primario • No son proposiciones: • ¿te vas? • Teclee esc para salir de la aplicación • X=2 • María es bonita .

q.r • Las compuestas se forman de combinar dos o mas proposiciones a través de conectores ò conectivos lógicos .MATEMATICAS BASICAS • Pueden ser simples y compuestas • Las simples no se pueden descomponer en otras y se denotan con letras p.

entonces es de noche P→q ↔ Esta lloviendo si P↔q Disyunción Condicional o Si… entonces Bicondiciona Si y solo si l .MATEMATICAS BASICAS conectivo Lenguaje natural notación Ejem de uso Ejem en lenguaje formal Negación no ~.¬ No esta lloviendo ~p Conjunción y ∧ Esta lloviendo y es de noche P∧q ∨ Esta lloviendo o es de noche P∨q → Si esta lloviendo.

así: v y f • Ej: el verde es un color primario: es falsa • Washington es la capital de USA : es Verdadera • Si es compuesta está determinado por los valores de verdad de las proposiciones simples EJ: .MATEMATICAS BASICAS • Valor de verdad de una proposición • Es a su veracidad o falsedad.

MATEMATICAS BASICAS • Negación Dada p . la proposición p→q es falsa cuando p es V y q es F. la proposición p y q es verdadera solo si las dos son verdaderas • Disyunción: Dadas p y q la proposición p ∨ q es falsa solo si ambas lo son. la proposición p ↔ q es V cuando ambas tengan los mismos valores de verdad . • Condicional: Dadas p y q . la proposición ~p es verdadera cuando p es falsa y es falsa cuando p es verdadera • Conjunción: dadas p y q . • Bicondicional: Dadas p y q .

MATEMATICAS BASICAS • La siguiente tabla resume lo anterior: p q ~p f P∧q P∨q P→q P↔q v v v v v v v f f f v f f f v v f v v F f f v f f v v .

• Es una Contingencia si no es ni tautología ni contradicción .MATEMATICAS BASICAS • Tautología Contradicción y Contingencia • Una proposición compuesta es tautología si es verdadera para todos los valores • Una es Contradicción si es falsa para todos los valores de las simples.

. • Axioma: Son proposiciones que se aceptan como verdaderas sin demostración • Teoremas: son proposiciones que se aceptan como verdaderas una vez han sido demostrados.MATEMATICAS BASICAS • Las definiciones son proposiciones que explican con exactitud el significado de una palabra o expresión.