Lògica: exemple de subordinació
De Wikisofia
La revisió el 14:15, 5 set 2015 per Sofibot (discussió | contribucions)
La revisió el 14:15, 5 set 2015 per Sofibot (discussió | contribucions)
En una subordinació, el subordinat es pot deduir vàlidament del subordinant, però no al revés, de manera que si A és veritable, I també ho és, i si I és veritable, O també ho és.
Si és veritable que «totes les alumnes aproven», és veritable també que «alguna alumna aprova».
Si és veritable que «cap alumna aprova», llavors és veritable que «alguna alumna no aprova».