# formal logic

## English Thesaurus

1. any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity (noun.cognition)

hyponym | : | propositional calculus, propositional logic, |

definition | : | a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them (noun.cognition) |

hyponym | : | functional calculus, predicate calculus, |

definition | : | a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions) (noun.cognition) |

hyponym | : | modal logic, |

definition | : | a system of logic whose formal properties resemble certain moral and epistemological concepts (noun.cognition) |

hyponym | : | fuzzy logic, |

definition | : | a form of mathematical logic in which truth can assume a continuum of values between 0 and 1 (noun.cognition) |

## Visual ArtiKata

Explore *formal logic* in ArtiKata.com >