Beruflich Dokumente
Kultur Dokumente
U=
T I
70 10
*
145 110
5
Diagrama de Venn
OPERACIONES:
¿Cuántos maestros tienen las 3 características?
Proposiciones compuestas
q→p: si la última cifra del numero x es múltiplo de 2, entonces dicho
número es divisible por 2
s→r: si la sume de las cifra de un numero x es múltiplo de 3, entonces el
numero x es divisible por 3
>p v >r: un numero x no es divisible por 2, o no es divisible por 3
q → >s: si la última cifra de un número es múltiplo de 2, entonces la suma
de las cifras del número no es múltiplo de 3
Formalizando las proposiciones anteriores
[(q →p ) ^ (s→r) ^(>pv>r) ] →q→>s
5 6 7 8
9 10 11
Formado el razonamiento:
1. p→(q v r) ~ (q v r) → ~p = ( q v r) ˄
2. ~ q ~q˄~r→~p
3. p˄(p→(q v r)˄~q
4. ( r→ s) ˄ ( r→t)
5. 3 ˄ 4 )
_____________________
t
1 2 3 4 5 6 7 8 9 10 11 12 13 14
p q r s t q v r p→(qvr) ~q p^(p→(qvr)) q^~q r→ s r→t 11^12 10^13 14→ t
V V V V V V V F V F V V V F V
V V V V F V V F V F V F F F V
V V V F V V V F V F F V F F V
V V V F F V V F V F F F F F V
V V F V V V V F V F V V V F V
V V F V F V V F V F V V V F V
V V F F V V V F V F V V V F V
V V F F F V V F V F V V V F V
V F V V V V V V V V V V V V V
V F V V F V V V V V V F F F V
V F V F V V V V V V F V F F V
V F V F F V V V V V F F F F V
V F F V V F V V V V V V V V V
V F F V F F F V F F V V V F V
V F F F V F F V F F V V V F V
V F F F F F F V F F V V V F V
F V V V V V V F F F V V V F V
F V V V F V V F F F V F F F V
F V V F V V V F F F F V F F V
F V V F F V V F F F F F F F V
F V F V V V V F F F V V V F V
F V F V F V V F F F V V V F V
F V F F V V V F F F V V V F V
F V F F F V V F F F V V V F V
F F V V V V V V F F V V V F V
F F V V F V V V F F V F F F V
F F V F V V V V F F F V F F V
F F V F F V V V F F F F F F V
F F F V V F V V F F V V V F V
F F F V F F V V F F V V V F V
F F F F V F V V F F V V V F V
F F F F F F V V F F V V V F V
http://uaprepasemi.uas.edu.mx/libros/1er_SEMESTRE/8_Logica_I.pdf
http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?docID=3227628
&ppg=30
http://repository.unad.edu.co/handle/10596/11541
http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?docID=3194062