Resumén de IPC - UBA XXI

Unidad 2 - Logica

-> - Condicional - "entonces" "si (...) entonces (...)"

Antecedente = viene siempre despúes del "si"

Consecuente = seria algo como la conclusión de la frase

V F = falso

todo lo otro es verdadero

-----------------------------------

"/\" o "Y" o "•" - Conjunción - "pero" y "sin embargo"

"una conjunción sólo es verdadera cuando las dos proposiciones que la forman lo son."

V V = verdadero

el resto es falso

-----------------------------------  

ñ - conectiva

-----------------------------------  

V - Disyunción Inclusiva "o/y"

Inclusiva -> Solo es falso cuando: F F

El resto es verdadero

-----------------------------------  

~ - Negación - ""no", "es falso que", "nunca", "no se da el caso que", "no es cierto que", etc."

Inversa de una proposición

ej. P = V y F - ~ = F y V

-----------------------------------  

≤-≥ - Bicondicional - "si y sólo si"

Cuando no son iguales resultan falsos. ej. V F = F y F V = F

-----------------------------------  

2 elevado a N - N representa la cantidad de proposiciones

Si tiene dós proposiciones:

p = V F V F

q = V V F F

Si tiene 3 proposiciones:

p = V V V V F F F F

q = V V F F V V F F

r = V F V F V F V F

Si tiene más de 4 proposiciones:

p = 2 elevado a N-1 de cada V y F, o sea , V V V V V V V V F F F F F F F F (8 V y 8 F)

q = La mitad de cada proposicion y despues la mitad otra vez, o sea, V V V V F F F F V V V V F F F F

r = V V F F V V F F V V F F V V F F

s = V F V F V F V F V F V F V F V F