Si Alfredo es elegido presidente de la asociación de colones, entonces Bernardo es elegido

vicepresidente y Carlos es elegido tesorero”. “Bernardo no es elegido vicepresidente, por tanto,

Alfredo no es elegido presidente de la asociación de colonos “

Paso 1. Asignar Valores proposicionales

P: Alfredo es elegido presidente

q: Bernardo es vicepresidente

r: Carlos es tesorero

Paso 2. Traducciones lógicas

1. p → (q˄r)
2. ~q
3. ჻ ~p

Paso 3. Organizar el argumento

[p→(q^r)^~q] ჻ ~p
Paso 4. Tablas de verdad

Combinaciones
2³ = 8

p q r q^r ~q (p→(q^r)) (((p→((q^r))))^(~q)) ~p

0 0 0 0 1 1 1 1
0 0 1 0 1 1 1 1
0 1 0 0 0 1 0 1
0 1 1 1 0 1 0 1
1 0 0 0 1 0 0 0
1 0 1 0 1 0 0 0
1 1 0 0 0 0 0 0
1 1 1 1 0 1 0 0