text: Search.setIndex({envversion:49,filenames:["index","section-2"],objects:{},objnames:{},objtypes:{},terms:{"case":1,"function":1,"true":1,abov:1,all:1,also:1,alwai:1,ani:1,any:1,besid:1,between:1,build:1,built:1,can:1,common:1,compar:1,connect:1,content:0,defin:1,domain:1,equal:1,exampl:1,explicitli:1,express:1,expression:1,fals:1,father:1,follow:1,form:1,formula:1,give:1,grandpar:1,have:1,helen:1,here:1,implement:1,index:0,infer:1,instanc:1,integer:1,introduct:0,jack:1,join:1,languag:1,like:1,list:1,logic:1,mathemat:1,modul:0,mother:1,must:1,name:1,notion:1,onli:1,oper:1,order:1,over:1,page:0,parent:1,pred:1,predic:1,prop:1,proposit:0,rather:1,result:1,ring:1,search:0,sequel:1,simpl:1,sin:1,straightforward:1,sure:1,symbol:1,synonym:1,take:1,term:1,thank:1,therefor:1,thi:1,type:1,well:1,wff:1,whether:1,which:1,would:1,written:1},titles:["FriCAS :: fricas_snark","2 Propositions"],titleterms:{fricas:0,fricas_snark:0,indice:0,proposit:1,tabl:0}})