ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA MODULO DE LOGICA MATEMÁTICA
Personas temerarias
P
S Conductores de automóviles Inseguros
Todo S es P En este ejemplo, el término sujeto conductores, designa a la clase de todos los conductores y el término predicado temerarias, designa a la clase de todas las personas temerarias. Este tipo de proposición categórica se llama universal afirmativa, porque la proposición afirma que la relación de inclusión entre las dos clases es completa, todos los elementos o miembros de S también lo son de P. Todas las proposiciones universales afirmativas se pueden escribir simbólicamente así: Todo S es P , donde S representa el sujeto y P el predicado.
71