Main
Propositional and Predicate Calculus : A Model of Argument

## You may be interested in Powered by Rec2Me

## Most frequently terms

theorem

^{725}formula

^{712}formulas

^{596}axioms

^{407}propositional

^{363}variables

^{317}symbols

^{284}derivation

^{231}calculus

^{220}sentences

^{219}variable

^{193}equality

^{185}connectives

^{182}mathematical

^{156}axiom

^{148}truth assignment

^{141}domain

^{137}consistent

^{134}completeness

^{132}subset

^{129}statements

^{128}equivalence

^{117}truth assignments

^{111}propositional calculus

^{110}propositional variables

^{108}induction

^{105}predicate calculus

^{104}linear

^{98}countable

^{97}assumptions

^{95}completeness theorem

^{95}compactness

^{91}theories

^{91}soundness

^{87}derivations

^{87}connective

^{87}constant symbols

^{84}theorems

^{78}derive

^{78}contradiction

^{77}tautology

^{74}namely

^{74}linear order

^{70}set of sentences

^{68}subformulas

^{67}binary

^{66}set of formulas

^{66}free variables

^{65}brackets

^{65}universally valid

^{62}interpretations

^{62}notation

^{62}occurrences

^{61}deduction theorem

^{60}skolem

^{60}compactness theorem

^{59}logically equivalent

^{59}axiomatized

^{59}