Proposición lógica
La lógica proposicional es la parte de la lógica que estudia la formación de proposiciones complejas a partir de proposiciones simples, y la inferencia de proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones más simples.
Una lógica proposicional es un sistema formal cuyos elementos más simples representan proposiciones, y cuyas constantes lógicas, llamadas conectivas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.
Una lógica proposicional es un sistema formal cuyos elementos más simples representan proposiciones, cuyas constantes lógicas, llamadas conectivas, representan operaciones sobre proposiciones, …ver más…

Ningún insecto tiene vista.
2. Japón está en América del Sur

Proposición universal
Es la que en el predicado se afirma o niega algo del sujeto tomado en su totalidad. Sé dice que una proposición es universal cuando puede predicarse de todos los sujetos que pertenezcan a una misma clase.
Dicho en otras palabras: cuando el sujeto está considerado en un sentido universal expresado por enumeración de todos los individuos de un conjunto o expresado por representación, normalmente en el lenguaje ordinario, con un nombre común.

Proposiciones particulares
Las proposiciones particulares son aquellas en las que se enuncia algo respecto de una parte indefinida de la clase que esta designada por el sujeto también Son aquellas cuyo sujeto hace referencia a una parte no determinada de la extensión del término usado. Una proposición particular no implica que la parte restante del término usado como sujeto tenga una predicación contraria; en los casos 3 y 4 también podría predicarse de “todos los mamíferos” y de “ningún castor” respectivamente. Existen diversos motivos por los que se hace una predicación particular: el conocer solamente esa parte; o porque el argumento requiere solamente la parte, etc.

Proposición Positiva es la que enuncia una relación de conveniencia entre el sujeto y el predicado. Proposiciones afirmativas: son aquellas que establecen una relación de conveniencia entre el sujeto y el predicado.
Por ejemplo:
1. Todos los