Semana 3 2p1q Lógica Proposicional (parte 2)

Actividad 2

Completa los valores de las tablas.

Operadores lógicos

Disyunción exclusiva: Dadas dos proposiciones p, q, la disyunción exclusiva es la proposición molecular que se simboliza (p ∆ q)

p	q	p ∆ q
1	1	0
1	0	1
0	1	1
0	0	0

 

p	q	p ∆ q
v	v
v	f
f	v
f	f

Conjunción negativa: Dadas dos proposiciones p, q, la conjunción negativa significa lingüísticamente “ni” y se simboliza (p ↓ q)

p	q	p ↓ q
1	1	0
1	0	0
0	1	0
0	0	1

 

p	q	p ↓ q
v	v
v	f
f	v
f	f

Condicional: Dadas dos proposiciones p, q, el condicional es la proposición molecular si p entonces q que se simboliza (p → q)

p	q	p → q
1	1	0
1	0	1
0	1	0
0	0	0

 

p	q	p → q
v	v
v	f
f	v
f	f

Bicondicional: Dadas dos proposiciones p, q, el bicondicional es la proposición molecular p si y solo si q que se simboliza (p ↔ q)

p	q	p ↔ q
1	1	1
1	0	0
0	1	0
0	0	1

 

p	q	p ↔ q
v	v
v	f
f	v
f	f