Lóxica de clases
A lóxica das clases é considerada a proposición que considera a pertenza ou non dun elemento ou persoa a unha determinada clase ou grupo. É a interpretación dunha frase ou enunciado baixo a formalización da teoría dos conxuntos ou diagramas de Venn.
A clase significa un conxunto de individuos cunha propiedade en común. Cómpre ter en conta que a propiedade define a clase, non o individuo, tornándose esencialmente distinta da lóxica de predicado. Neste caso, polo tanto, o valor de verdade é dada pola adhesión ou non dunha clase. Polo tanto, a táboa de valor de verdade e explícito como táboas de pertenza.
Polo tanto, non é o mesmo que dicir: "Hs = Sócrates é un home" (onde un atributo se refire á calidade do ser de Sócrates), para dicir, "SH = Sócrates pertence á clase dos homes". A clase fai sentido, aínda que non os individuos. Así, o home da clase, como un concepto de home, existe aínda na ausencia dos homes. Da mesma forma, hai o concepto de "cabalos alados", aínda que existan os Pegasos.
Actualmente a chamada lóxica tradicional, a lóxica siloxística interprétase como clases.
Elementos e a súa simbolización
editar- Universo: é a clase de todas as clases, de todos os elementos do universo que estemos considerando. Ela e chamada clase universal. U
- Clase vacía: clase que non posúe ningún elemento : Ø
- Individuos:
- Clase: Un conxunto de individuos que teñen unha propiedade común. Pode ser expresada de diversas maneiras:
- A = ( ) - Por enumeración
- A = (Todos nacidos en Asturias) - Por definición dunha propiedade
- A = ( x/naceu en Asturias) - Por un función proposicional cuantificada (lido: Todo x tal que x pertence á clase dos nacidos en Asturias)
- Pertenza: Non pertenza:
- Xeralizador: Todo x.
- Particularizador: Algún x
- Conectivas : - Definidas de igual forma que na lóxica de enunciados relativas á pertenza ou non pertenza dun individuo a unha clase (estas funcións lóxicas son definidas en Táboa de valores de verdade).
- A negación é definida como unha transacción entre as clases, a clase adicional.