{"id":21472468,"url":"https://github.com/sharantangeda/lcsassignment-2_part-2","last_synced_at":"2025-03-17T07:18:48.637Z","repository":{"id":68960544,"uuid":"154248848","full_name":"SHARANTANGEDA/LCSAssignment-2_part-2","owner":"SHARANTANGEDA","description":"Logic in Computer Science Assignment 2-Part-2 along with  Documentation","archived":false,"fork":false,"pushed_at":"2018-11-16T02:55:39.000Z","size":352,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"master","last_synced_at":"2025-01-23T16:33:07.728Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"","language":"C++","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/SHARANTANGEDA.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2018-10-23T02:26:31.000Z","updated_at":"2018-12-13T15:24:02.000Z","dependencies_parsed_at":"2023-02-22T18:30:58.665Z","dependency_job_id":null,"html_url":"https://github.com/SHARANTANGEDA/LCSAssignment-2_part-2","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/SHARANTANGEDA%2FLCSAssignment-2_part-2","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/SHARANTANGEDA%2FLCSAssignment-2_part-2/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/SHARANTANGEDA%2FLCSAssignment-2_part-2/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/SHARANTANGEDA%2FLCSAssignment-2_part-2/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/SHARANTANGEDA","download_url":"https://codeload.github.com/SHARANTANGEDA/LCSAssignment-2_part-2/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":243989713,"owners_count":20379648,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-11-23T09:49:14.510Z","updated_at":"2025-03-17T07:18:48.616Z","avatar_url":"https://github.com/SHARANTANGEDA.png","language":"C++","funding_links":[],"categories":[],"sub_categories":[],"readme":"# LCSAssignment-2_part-2\nLogic in Computer Science Assignment 2-Part-2 along with  Documentation\n\nProject Status-Completed\n\nCollaborators-AjithKanduri,VamsiAdapa.\n\nDocumentation of the Project can be viewed in html pages by opening index.html file in Documentation folder in repository's root.\n\n  Project Description:\n    Note: This project is done in C++ programming language\n    Aim:\n    To create a tool for verifying whether a certain proof of a given sequent is valid or not, for a certain set of proof         rules\n    These proof rules are listed below\n    1.Premise\n    2.AND Introduction/Elimination\n    3.OR Introduction\n    4.IMPLIES Elimination\n    5.Modus Tollens(MT)\n\n  Assumptions Made:\n    1.Each propositional formula should begin and end with parenthesis\n    examples:\n      (i) (a^b) is valid\n      (ii) a^b is invali\n      (iii) ((a^b)^(c^d)) is valid\n      (iv) (a^b)^(c^d) is invalid\n\n    2.In case of negation or multiple negations to a literal/formula, each negation is enclosed within set of parenthesis.\n     examples:\n      (i) ~p is invalid\n      (ii) (~p) is valid\n      (iii) (~(~p)) is valid\n      (iv) (~~p) is invalid\n\n  Procedure:\n     1.Each line of proof of the given sequent is sorted into propositional formula, proof rule and line numbers of proof         used to prove the propositional formula.\n     2.We then validate propositional formula by passing it to it's proof rule's method.\n     3.Step-2 is repeated for all the lines of proof.\n     4.If all lines are valid than the proof is considered valid.\n\n  Observations:\n    The Given Observation were recorded on a Ubuntu 18.04.1 environment and compiled using g++ compiler, C++14 standard\n    The execution time might vary from system to system\n\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsharantangeda%2Flcsassignment-2_part-2","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fsharantangeda%2Flcsassignment-2_part-2","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsharantangeda%2Flcsassignment-2_part-2/lists"}