C

C. 1. Na lógica medieval, todos os silogismos indicados com palavras mnemotécnicas que começam com C são redutíveis ao segundo modo da primeira figura (Celarent) (cf. Pedro Hispano, Summ. Log., 4.20).

1. Na notação de Lukasiewicz usa-se para indicar o condicional ou a implicação lógica, pelo comum simbolizada mediante " " (A. Church, Introduction to Mathematical Logic, n. 91).