Document card

Lógica

 

Sent by Cheat Sheets and classified under Others and University at 30, March, 2007.

Written in Spanish and has a size of 1795 bytes

This document belongs to the group Cheat Sheets

  • Negación (¬)

Consiste en cambiar el valor de verdad de una variable proposicional.

p¬ pVFFV
  • Disyunción

La proposición molecular será verdadera cuando una o ambas variables proposicionales sean verdaderas.

pqp / qVVVVFVFVVFFF
  • Conjunción

Es una conectiva que puede definirse como la composición:

p ∧ q = ¬(¬p ∨ ¬q)

La proposición molecular será verdadera sólo cuando ambas variables proposicionales sean verdaderas.

pqp / qVVVVFFFVFFFF
  • Condicional (→)

Es una conectiva definida por:

p → q = ¬p ∨ q

La proposición molecular será verdadera cuando se cumpla si es verdadero p entonces lo es q.

pqp → qVVVVFFFVVFFV
  • Bicondicional (↔, si y sólo si)

Es una conectiva definida por:

p ↔ q = ((p → q) (q → p))

La proposición molecular será verdadera cuando ambas variables proposicionales tengan a la vez el mismo valor de verdad.

pqp ↔ qVVVVFFFVFFFV
  • Disyunción exclusiva

Es una conectiva definida por:

p q = ¬(p ↔ q)

La proposición molecular será verdadera sólo cuando una de las dos variables proposicionales sea verdadera, pero no las dos.

 Tags: negación, disyunción exclusiva, disyunción, bicondicional, condicional, conjunción, bicondicional

 This card has visited 247 times

 The users who have visited this card also have looked for:


To look for related


Write a comment