@prefix scot: <http://vocabulary.curriculum.edu.au/scot/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix ns0: <http://purl.org/vocab/changeset/schema#> .
@prefix dc: <http://purl.org/dc/terms/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

scot:15469
  skos:broader scot:15466 ;
  skos:broaderTransitive scot:15466 ;
  a skos:Concept ;
  skos:prefLabel "Universal quantifier"@en .

scot:15470
  skos:broader scot:15466 ;
  skos:broaderTransitive scot:15466 ;
  a skos:Concept ;
  skos:prefLabel "Logical conjunction"@en .

scot:15467
  skos:broader scot:15466 ;
  skos:broaderTransitive scot:15466 ;
  a skos:Concept ;
  skos:prefLabel "Exclusive disjunction"@en .

scot:15468
  skos:broader scot:15466 ;
  skos:broaderTransitive scot:15466 ;
  a skos:Concept ;
  skos:prefLabel "Existential quantifier"@en .

scot:15471
  skos:broader scot:15466 ;
  skos:broaderTransitive scot:15466 ;
  a skos:Concept ;
  skos:prefLabel "Logical disjunction"@en .

scot:15472
  skos:broader scot:15466 ;
  skos:broaderTransitive scot:15466 ;
  a skos:Concept ;
  skos:prefLabel "Material equivalence"@en .

scot:15473
  skos:broader scot:15466 ;
  skos:broaderTransitive scot:15466 ;
  a skos:Concept ;
  skos:prefLabel "Material implication"@en .

scot:15474
  skos:broader scot:15466 ;
  skos:broaderTransitive scot:15466 ;
  a skos:Concept ;
  skos:prefLabel "Provability"@en .

scot:15519
  skos:broader scot:15466 ;
  skos:broaderTransitive scot:15466 ;
  a skos:Concept ;
  skos:prefLabel "Logical complement"@en .

scot:15528
  skos:broader scot:15466 ;
  skos:broaderTransitive scot:15466 ;
  a skos:Concept ;
  skos:prefLabel "Tautology (Symbolic logic)"@en .

scot:1660
  skos:related scot:15466 ;
  a skos:Concept ;
  skos:prefLabel "رمز"@ar, "Symbol"@de, "Σύμβολο"@el, "Symbols"@en, "Símbolo"@es, "Symbole"@fr, "प्रतीक"@hi-IN, "Simbol"@id, "Simbolo"@it, "記号"@ja, "상징"@ko, "Waitohu"@mi, "Sembol"@tr, "Biểu tượng"@vi, "符号"@zh .

<historyEvent:cb1a56c6-5993-441e-8bf2-27a9752eea6a> ns0:subjectOfChange scot:15466 .
scot:7608
  skos:narrower scot:15466 ;
  skos:narrowerTransitive scot:15466 ;
  a skos:Concept ;
  skos:prefLabel "Reasoning"@en .

scot:15466
  a skos:Concept ;
  dc:creator <http://vocabulary.curriculum.edu.au/user/Education-Services-Australia-Ltd> ;
  dc:created "2012-12-20T23:46:02.000Z"^^xsd:dateTime ;
  skos:prefLabel "Symbolic logic"@en ;
  skos:altLabel "Formal logic"@en, "Logic symbols"@en, "Logical connectives"@en, "Mathematical logic"@en, "Quantifiers (Mathematical notation)"@en, "Symbols (Logic)"@en ;
  skos:broader scot:7608 ;
  skos:related scot:1660 ;
  skos:narrower scot:15469, scot:15470, scot:15467, scot:15468, scot:15471, scot:15472, scot:15473, scot:15474, scot:15519, scot:15528 ;
  dc:modified "2013-01-03T04:11:09.000Z"^^xsd:dateTime ;
  dc:contributor <http://vocabulary.curriculum.edu.au/user/Education-Services-Australia-Ltd> ;
  dc:hasVersion "8"^^xsd:int ;
  skos:broaderTransitive scot:7608 ;
  skos:inScheme scot:6f1bbd29-fccf-4b0a-91d5-9089f768e88c ;
  skos:narrowerTransitive scot:15469, scot:15470, scot:15467, scot:15468, scot:15471, scot:15472, scot:15473, scot:15474, scot:15519, scot:15528 .

<http://vocabulary.curriculum.edu.au/user/Education-Services-Australia-Ltd> a <http://schema.semantic-web.at/users/LocalUser> .
scot:6f1bbd29-fccf-4b0a-91d5-9089f768e88c a skos:ConceptScheme .