LOGICA MATEMATICA

LOGICA MATEMATICA

1. LOGICA PROPOSICIONAL

   • CONECTORES LOGICOS
     • CONJUNCION P^Q
       • solo es verdadera cuando ambas son verdaderas
     • Disyunción Inclusiva P v Q
       • solo es falsa cuando ambas son falsas
     • Disyunción Exclusiva P ~v Q
       • solo es verdadera cuando una es verdadera
     • condicional p -> q.
       • es falsa si la primera proposición (antecedente) es verdadera y la segunda proposición (consecuente) es falsa
     • BICONDICIONAL
       • VERDADERO cuando ambas proposiciones SON VERDADERAS
   • TABLAS DE VERDAD
     • V ^ V = V V ^ F = F F ^ V = F F ^ F = F
     • V v V = V V v F = V F v V = V F v F = F
     • V ~v V = F V ~v F = V F ~v V = V F ~v F = F
     • V --> V = V V --> F = F F --> V = V F --> F = V
     • V <--> V = V V <--> F = F F <--> V = F F <--> F = V