Usuario:Juan medina/ejer16

Represente simbolicamentelas sigientes proposiciones, utilizandolos literales: A para Americana, E para europeo G para guetemalteco a, para migel A asturias.

1. Miguel A asturias es Gutemalteco

2. Todos los guatemaltecos son americanos

3. Miguel A asturias es americano

4. Ningun guatemalteco es Europeo

5. ningun europeo es guetemalteco

1.Ga

2.(Vx)(Gx → Ax)

3.Aa

4.(Vx) (<Gx → -Ex)

5.(Vx) (Ex → -Gx)